/*
 * [Warning!] This file is auto-generated by pika compiler.
 * Do not edit it manually.
 * The source code is *.pyi file.
 * More details: 
 * English Doc:
 * https://pikadoc-en.readthedocs.io/en/latest/PikaScript%20%E6%A8%A1%E5%9D%97%E6%A6%82%E8%BF%B0.html
 * Chinese Doc:
 * http://pikapython.com/doc/PikaScript%20%E6%A8%A1%E5%9D%97%E6%A6%82%E8%BF%B0.html
 */

#ifndef __PikaStdDevice_Timer__H
#define __PikaStdDevice_Timer__H
#include <stdio.h>
#include <stdlib.h>
#include "PikaObj.h"

PikaObj *New_PikaStdDevice_Timer(Args *args);

void PikaStdDevice_Timer___init__(PikaObj *self);
void PikaStdDevice_Timer_close(PikaObj *self);
void PikaStdDevice_Timer_disable(PikaObj *self);
void PikaStdDevice_Timer_enable(PikaObj *self);
int PikaStdDevice_Timer_getId(PikaObj *self);
char* PikaStdDevice_Timer_getName(PikaObj *self);
void PikaStdDevice_Timer_setCallback(PikaObj *self, Arg* callback, int filter);
void PikaStdDevice_Timer_setId(PikaObj *self, int id);
void PikaStdDevice_Timer_setMode(PikaObj *self, char* mode);
void PikaStdDevice_Timer_setName(PikaObj *self, char* name);
void PikaStdDevice_Timer_setPeriod(PikaObj *self, int period_ms);

#endif
