/*
 * [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_PWM__H
#define __PikaStdDevice_PWM__H
#include <stdio.h>
#include <stdlib.h>
#include "PikaObj.h"

PikaObj *New_PikaStdDevice_PWM(Args *args);

void PikaStdDevice_PWM___init__(PikaObj *self);
void PikaStdDevice_PWM_close(PikaObj *self);
void PikaStdDevice_PWM_disable(PikaObj *self);
void PikaStdDevice_PWM_enable(PikaObj *self);
int PikaStdDevice_PWM_getChannel(PikaObj *self);
pika_float PikaStdDevice_PWM_getDuty(PikaObj *self);
int PikaStdDevice_PWM_getFrequency(PikaObj *self);
char* PikaStdDevice_PWM_getName(PikaObj *self);
void PikaStdDevice_PWM_setChannel(PikaObj *self, int ch);
void PikaStdDevice_PWM_setDuty(PikaObj *self, pika_float duty);
void PikaStdDevice_PWM_setFreq(PikaObj *self, int freq);
void PikaStdDevice_PWM_setFrequency(PikaObj *self, int freq);
void PikaStdDevice_PWM_setName(PikaObj *self, char* name);
void PikaStdDevice_PWM_setPin(PikaObj *self, char* pin);

#endif
