2017-06-29 16:47:26 +02:00
|
|
|
#ifndef __PXT_H
|
|
|
|
|
#define __PXT_H
|
|
|
|
|
|
|
|
|
|
#include "pxtbase.h"
|
|
|
|
|
|
2017-07-05 02:17:26 +02:00
|
|
|
#define ID_BUTTON_BASE 100
|
|
|
|
|
|
|
|
|
|
namespace pxt {
|
|
|
|
|
void raiseEvent(int id, int event);
|
|
|
|
|
void sleep_core_us(uint64_t us);
|
|
|
|
|
|
|
|
|
|
class Button;
|
|
|
|
|
typedef Button *Button_;
|
|
|
|
|
|
2017-07-05 19:35:05 +02:00
|
|
|
extern "C" void target_init();
|
2017-07-05 02:17:26 +02:00
|
|
|
}
|
|
|
|
|
|
2017-06-29 16:47:26 +02:00
|
|
|
#endif
|
