2016-04-07 21:52:02 +02:00
|
|
|
#include "pxt.h"
|
2016-04-04 01:52:57 +02:00
|
|
|
#include "ManagedBuffer.h"
|
2016-04-02 06:26:06 +02:00
|
|
|
|
2016-04-07 21:52:02 +02:00
|
|
|
using namespace pxt;
|
2016-04-02 06:26:06 +02:00
|
|
|
MicroBitPin *getPin(int id);
|
2016-04-02 06:52:25 +02:00
|
|
|
typedef ImageData* Image;
|
2016-04-04 01:52:57 +02:00
|
|
|
typedef BufferData* Buffer;
|
2016-04-02 06:52:25 +02:00
|
|
|
|
2016-11-07 19:17:03 +01:00
|
|
|
namespace pxt {
|
2016-11-08 19:17:25 +01:00
|
|
|
uint32_t programSize();
|
2016-11-07 19:17:03 +01:00
|
|
|
uint32_t afterProgramPage();
|
|
|
|
}
|