#if(0)

#include "wokwi-api.h"
#include <stdio.h>
#include <stdlib.h>

// prototipi delle funzioni
void wcb_inp(void *u_data, pin_t pin, uint32_t value);
// se commenti la riga sopra ottieni errore

typedef struct {
    // TODO: Put your chip variables here
    pin_t out;
    pin_t inp;
    bool on_off;
    
} chip_state_t;

void chip_init() {
    setvbuf(stdout, NULL, _IOLBF, 1024); // Limit output buffering to a single line
    chip_state_t *chip = malloc(sizeof(chip_state_t));
    printf("Hello from custom chip!\n");
    
    // inizializza il pin INP come ingresso con pull-up 
    chip->inp = pin_init("INP", INPUT_PULLUP);

    // configura winp_cfg (watch inp config)
    pin_watch_config_t winp_cfg = {
        .edge = FALLING,
        .pin_change = wcb_inp,
        .user_data = chip
    };
    // abilita l'osservazione 
    pin_watch(chip->inp, &winp_cfg);
    //        pin__^        ^__watch config
}

void wcb_inp(void *u_data, pin_t pin, uint32_t value) {
    chip_state_t *chip = (chip_state_t*)u_data;
    chip->on_off = !chip->on_off;
    if (chip->on_off) {
        printf("on\n");
    } else {
        printf("off\n");
    }
}
#endif

void setup() {

}
void loop() {

}

testpinwatch.ino

diagram.json

# Wokwi Library List
# See https://docs.wokwi.com/guides/libraries


libraries.txt

test-pinwatch

test-pinwatch.chip.json

// Wokwi Custom Chip - For docs and examples see:
// https://docs.wokwi.com/chips-api/getting-started
//
// SPDX-License-Identifier: MIT
// Copyright 2023 Maurilio Pizzurro

// .abbreviazioni
// tid    timer_id
// attr   attribute
// cnt    counter
// tcfg   timer_config
// cb     callback
// tcb    timer callback
// CVT    CONVERT

#include "wokwi-api.h"
#include <stdio.h>
#include <stdlib.h>

// prototipi delle funzioni
void wcb_inp(void *u_data, pin_t pin, uint32_t value);
void tcb_debounce(void *u_data);

#define AUTO_REPEAT   true
#define NO_REPEAT     false

#define CVT_msTOus(m) (m * 1000)

typedef struct {
    // TODO: Put your chip variables here
    pin_t out;
    pin_t inp;
    bool on_off;
    uint8_t gcnt;     // generic counter
    pin_watch_config_t wcfg_inp;    
    timer_t tid_deb;  // timer debounce
} chip_state_t;

void chip_init() {
    setvbuf(stdout, NULL, _IOLBF, 1024); // Limit output buffering to a single line
    chip_state_t *chip = malloc(sizeof(chip_state_t));
    printf("Hello from custom chip!\n");
    // inizializza il pin INP come ingresso con pull-up
    chip->inp = pin_init("INP", INPUT_PULLUP);

    timer_config_t tcfg_debounce = {
        .user_data = chip,
        .callback = tcb_debounce  // timer callback
    };
    chip->tid_deb = timer_init(&tcfg_debounce);

    // configura chip->wcfg_inp (watch config inp)
    chip->wcfg_inp.edge = FALLING;
    chip->wcfg_inp.pin_change = wcb_inp;  // watch callback
    chip->wcfg_inp.user_data = chip;
    pin_watch(chip->inp, &chip->wcfg_inp);
}

void wcb_inp(void *u_data, pin_t pin, uint32_t value) {
    chip_state_t *chip = (chip_state_t*)u_data;
    pin_watch_stop(pin);
    timer_start(chip->tid_deb, CVT_msTOus(5), AUTO_REPEAT);
    chip->on_off = !chip->on_off;
    if (chip->on_off) {
        printf("on\n");
    } else {
        printf("off\n");
    }
}

void tcb_debounce(void *u_data) {
    chip_state_t *chip = (chip_state_t*)u_data;
    bool s_inp = pin_read(chip->inp);
    if (s_inp) {
        chip->gcnt++;
        if (chip->gcnt >= 2) {
            chip->gcnt = 0;
            timer_stop(chip->tid_deb);
            pin_watch(chip->inp, &chip->wcfg_inp);
        }
    } else {
        chip->gcnt = 0;
    }
}