pxt-calliope/libs/core/dal.d.ts
Amerlander 918af4f3ac
Bump V3.0.22 (#110)
* change simulator svg

* change radio image

* Remove google fonts cdn

* change color of 'advanced' button

* font fix

* font fix 2

* display fix

* change fullsceen simulator bg

* Continuous servo

* handle continuous state

* adding shims

* update rendering for continuous servos

* fixing sim

* fix sig

* typo

* fix sim

* bump pxt

* bump pxt

* rerun travis

* Input blocks revision

- add Button and Pin event types
- merge onPinPressed & onPinReleased in new onPinEvent function
- create new onButtonEvent function

* update input blocks in docs and tests

* remove device_pin_release block

* Hide DAL.x behind Enum

* bring back deprecated blocks, but hide them

* shims and locales files

* fix input.input. typing

* remove buildpr

* bump V3

* update simulator aspect ratio

* add Loudness Block

* revoke loudness block

* Adds soundLevel

To be replaced by pxt-common-packages when DAL is updated.

* Remove P0 & P3 from AnalogPin

Co-authored-by: Juri <gitkraken@juriwolf.de>
2020-09-08 02:04:25 -07:00

1427 lines
44 KiB
TypeScript

// Auto-generated. Do not edit.
declare const enum DAL {
// /libraries/codal-core/inc/JACDAC/JACDAC.h
JD_STARTED = 2,
JD_SERVICE_ARRAY_SIZE = 20,
// /libraries/codal-core/inc/JACDAC/JDPhysicalLayer.h
JD_VERSION = 0,
JD_BYTE_AT_125KBAUD = 80,
JD_MIN_INTERLODATA_SPACING = 40,
JD_SERIAL_MAX_BUFFERS = 10,
JD_SERIAL_MAX_SERVICE_NUMBER = 15,
JD_SERIAL_RECEIVING = 1,
JD_SERIAL_RECEIVING_HEADER = 2,
JD_SERIAL_TRANSMITTING = 4,
JD_SERIAL_RX_LO_PULSE = 8,
JD_SERIAL_TX_LO_PULSE = 16,
JD_SERIAL_BUS_LO_ERROR = 32,
JD_SERIAL_BUS_TIMEOUT_ERROR = 64,
JD_SERIAL_BUS_UART_ERROR = 128,
JD_SERIAL_ERR_MSK = 224,
JD_SERIAL_BUS_STATE = 256,
JD_SERIAL_BUS_TOGGLED = 512,
JD_SERIAL_DEBUG_BIT = 32768,
JD_SERIAL_EVT_DATA_READY = 1,
JD_SERIAL_EVT_BUS_ERROR = 2,
JD_SERIAL_EVT_CRC_ERROR = 3,
JD_SERIAL_EVT_DRAIN = 4,
JD_SERIAL_EVT_RX_TIMEOUT = 5,
JD_SERIAL_EVT_BUS_CONNECTED = 5,
JD_SERIAL_EVT_BUS_DISCONNECTED = 6,
JD_SERIAL_HEADER_SIZE = 4,
JD_SERIAL_CRC_HEADER_SIZE = 2,
JD_SERIAL_MAX_PAYLOAD_SIZE = 255,
JD_SERIAL_MAXIMUM_BUFFERS = 10,
JD_SERIAL_DMA_TIMEOUT = 2,
JD_SERIAL_MAX_BAUD = 1000000,
JD_SERIAL_TX_MAX_BACKOFF = 1000,
JD_RX_ARRAY_SIZE = 10,
JD_TX_ARRAY_SIZE = 10,
JD_SERIAL_BAUD_1M = 1,
JD_SERIAL_BAUD_500K = 2,
JD_SERIAL_BAUD_250K = 4,
JD_SERIAL_BAUD_125K = 8,
Receiving = 0,
Transmitting = 1,
Unknown = 3,
ListeningForPulse = 0,
ErrorRecovery = 1,
Off = 2,
Baud1M = 1,
Baud500K = 2,
Baud250K = 4,
Baud125K = 8,
Continuation = 0,
BusLoError = 32,
BusTimeoutError = 64,
BusUARTError = 128,
// /libraries/codal-core/inc/JACDAC/JDService.h
JD_MAX_HOST_SERVICES = 16,
JD_SERVICE_EVT_CONNECTED = 65520,
JD_SERVICE_EVT_DISCONNECTED = 65521,
JD_SERVICE_EVT_ERROR = 65526,
JD_SERVICE_NUMBER_UNINITIALISED_VAL = 65535,
JD_SERVICE_STATUS_FLAGS_INITIALISED = 2,
JD_SERVICE_INFO_HEADER_SIZE = 6,
JD_SERVICE_MODE_CLIENT = 1,
JD_SERVICE_MODE_HOST = 2,
JD_SERVICE_MODE_BROADCAST_HOST = 3,
JD_SERVICE_MODE_CONTROL_LAYER = 4,
ClientService = 1,
HostService = 2,
BroadcastHostService = 3,
ControlLayerService = 4,
// /libraries/codal-core/inc/JACDAC/JDServiceClasses.h
STATIC_CLASS_START = 0,
STATIC_CLASS_END = 16777215,
DYNAMIC_CLASS_END = 4294967295,
JD_SERVICE_CLASS_CODAL_START = 0,
JD_SERVICE_CLASS_CODAL_END = 2000,
JD_SERVICE_CLASS_MAKECODE_START = 2000,
JD_SERVICE_CLASS_MAKECODE_END = 4000,
JD_SERVICE_CLASS_CONTROL = 0,
JD_SERVICE_CLASS_CONTROL_RNG = 1,
JD_SERVICE_CLASS_CONTROL_CONFIGURATION = 2,
JD_SERVICE_CLASS_CONTROL_TEST = 3,
JD_SERVICE_CLASS_JOYSTICK = 4,
JD_SERVICE_CLASS_MESSAGE_BUS = 5,
JD_SERVICE_CLASS_BRIDGE = 6,
JD_SERVICE_CLASS_BUTTON = 7,
JD_SERVICE_CLASS_ACCELEROMETER = 8,
JD_SERVICE_CLASS_CONSOLE = 9,
// /libraries/codal-core/inc/JACDAC/control/JDCRC.h
JD_CRC_POLYNOMIAL = 3859,
// /libraries/codal-core/inc/JACDAC/control/JDConfigurationService.h
JD_CONTROL_CONFIGURATION_SERVICE_NUMBER = 1,
JD_CONTROL_CONFIGURATION_SERVICE_REQUEST_TYPE_NAME = 1,
JD_CONTROL_CONFIGURATION_SERVICE_REQUEST_TYPE_IDENTIFY = 2,
JD_CONTROL_CONFIGURATION_SERVICE_PACKET_HEADER_SIZE = 2,
JD_CONTROL_CONFIGURATION_EVT_NAME = 1,
JD_CONTROL_CONFIGURATION_EVT_IDENTIFY = 2,
JD_DEFAULT_INDICATION_TIME = 5,
// /libraries/codal-core/inc/JACDAC/control/JDControlService.h
JD_CONTROL_SERVICE_STATUS_ENUMERATE = 2,
JD_CONTROL_SERVICE_STATUS_ENUMERATING = 4,
JD_CONTROL_SERVICE_STATUS_ENUMERATED = 8,
JD_CONTROL_SERVICE_STATUS_BUS_LO = 16,
JD_CONTROL_SERVICE_EVT_CHANGED = 2,
JD_CONTROL_SERVICE_EVT_TIMER_CALLBACK = 3,
JD_CONTROL_PACKET_HEADER_SIZE = 10,
JD_CONTROL_ROLLING_TIMEOUT_VAL = 3,
// /libraries/codal-core/inc/JACDAC/control/JDDeviceManager.h
JD_DEVICE_FLAGS_NACK = 8,
JD_DEVICE_FLAGS_HAS_NAME = 4,
JD_DEVICE_FLAGS_PROPOSING = 2,
JD_DEVICE_FLAGS_REJECT = 1,
JD_DEVICE_MAX_HOST_SERVICES = 16,
JD_DEVICE_DEFAULT_COMMUNICATION_RATE = 1,
// /libraries/codal-core/inc/JACDAC/control/JDRNGService.h
JD_CONTROL_RNG_SERVICE_NUMBER = 2,
JD_CONTROL_RNG_SERVICE_REQUEST_TYPE_REQ = 1,
JD_CONTROL_RNG_SERVICE_REQUEST_TYPE_RESP = 2,
// /libraries/codal-core/inc/JACDAC/services/JDAccelerometerService.h
JD_ACCEL_EVT_SEND_DATA = 1,
// /libraries/codal-core/inc/JACDAC/services/JDConsoleService.h
JD_CONSOLE_LOG_PRIORITY_LOG = 1,
JD_CONSOLE_LOG_PRIORITY_INFO = 2,
JD_CONSOLE_LOG_PRIORITY_DEBUG = 3,
JD_CONSOLE_LOG_PRIORITY_ERROR = 4,
Log = 1,
Info = 2,
Debug = 3,
// /libraries/codal-core/inc/JACDAC/services/JDMessageBusService.h
JD_MESSAGEBUS_TYPE_EVENT = 1,
JD_MESSAGEBUS_TYPE_LISTEN = 2,
// /libraries/codal-core/inc/core/CodalComponent.h
DEVICE_ID_BUTTON_A = 1,
DEVICE_ID_BUTTON_B = 2,
DEVICE_ID_BUTTON_AB = 3,
DEVICE_ID_BUTTON_RESET = 4,
DEVICE_ID_ACCELEROMETER = 5,
DEVICE_ID_COMPASS = 6,
DEVICE_ID_DISPLAY = 7,
DEVICE_ID_THERMOMETER = 8,
DEVICE_ID_RADIO = 9,
DEVICE_ID_RADIO_DATA_READY = 10,
DEVICE_ID_MULTIBUTTON_ATTACH = 11,
DEVICE_ID_SERIAL = 12,
DEVICE_ID_GESTURE = 13,
DEVICE_ID_SYSTEM_TIMER = 14,
DEVICE_ID_SCHEDULER = 15,
DEVICE_ID_COMPONENT = 16,
DEVICE_ID_LIGHT_SENSOR = 17,
DEVICE_ID_TOUCH_SENSOR = 18,
DEVICE_ID_SYSTEM_DAC = 19,
DEVICE_ID_SYSTEM_MICROPHONE = 20,
DEVICE_ID_SYSTEM_LEVEL_DETECTOR = 21,
DEVICE_ID_SYSTEM_LEVEL_DETECTOR_SPL = 22,
DEVICE_ID_MSC = 23,
DEVICE_ID_SPI = 24,
DEVICE_ID_DISTANCE = 25,
DEVICE_ID_GYROSCOPE = 26,
DEVICE_ID_HUMIDITY = 27,
DEVICE_ID_PRESSURE = 28,
DEVICE_ID_SINGLE_WIRE_SERIAL = 29,
DEVICE_ID_JACDAC = 30,
DEVICE_ID_JACDAC_PHYS = 31,
DEVICE_ID_JACDAC_CONTROL_SERVICE = 32,
DEVICE_ID_JACDAC_CONFIGURATION_SERVICE = 33,
DEVICE_ID_IO_P0 = 100,
DEVICE_ID_MESSAGE_BUS_LISTENER = 1021,
DEVICE_ID_NOTIFY_ONE = 1022,
DEVICE_ID_NOTIFY = 1023,
DEVICE_ID_BUTTON_UP = 2000,
DEVICE_ID_BUTTON_DOWN = 2001,
DEVICE_ID_BUTTON_LEFT = 2002,
DEVICE_ID_BUTTON_RIGHT = 2003,
DEVICE_ID_JD_DYNAMIC_ID = 3000,
DEVICE_COMPONENT_RUNNING = 4096,
DEVICE_COMPONENT_STATUS_SYSTEM_TICK = 8192,
DEVICE_COMPONENT_STATUS_IDLE_TICK = 16384,
DEVICE_COMPONENT_LISTENERS_CONFIGURED = 1,
DEVICE_COMPONENT_EVT_SYSTEM_TICK = 1,
// /libraries/codal-core/inc/core/CodalFiber.h
DEVICE_SCHEDULER_RUNNING = 1,
DEVICE_SCHEDULER_IDLE = 2,
DEVICE_FIBER_FLAG_FOB = 1,
DEVICE_FIBER_FLAG_PARENT = 2,
DEVICE_FIBER_FLAG_CHILD = 4,
DEVICE_FIBER_FLAG_DO_NOT_PAGE = 8,
DEVICE_SCHEDULER_EVT_TICK = 1,
DEVICE_SCHEDULER_EVT_IDLE = 2,
// /libraries/codal-core/inc/core/CodalListener.h
MESSAGE_BUS_LISTENER_PARAMETERISED = 1,
MESSAGE_BUS_LISTENER_METHOD = 2,
MESSAGE_BUS_LISTENER_BUSY = 4,
MESSAGE_BUS_LISTENER_REENTRANT = 8,
MESSAGE_BUS_LISTENER_QUEUE_IF_BUSY = 16,
MESSAGE_BUS_LISTENER_DROP_IF_BUSY = 32,
MESSAGE_BUS_LISTENER_NONBLOCKING = 64,
MESSAGE_BUS_LISTENER_URGENT = 128,
MESSAGE_BUS_LISTENER_DELETING = 32768,
MESSAGE_BUS_LISTENER_IMMEDIATE = 192,
// /libraries/codal-core/inc/core/ErrorNo.h
DEVICE_OK = 0,
DEVICE_INVALID_PARAMETER = -1001,
DEVICE_NOT_SUPPORTED = -1002,
DEVICE_CALIBRATION_IN_PROGRESS = -1003,
DEVICE_CALIBRATION_REQUIRED = -1004,
DEVICE_NO_RESOURCES = -1005,
DEVICE_BUSY = -1006,
DEVICE_CANCELLED = -1007,
DEVICE_I2C_ERROR = -1010,
DEVICE_SERIAL_IN_USE = -1011,
DEVICE_NO_DATA = -1012,
DEVICE_NOT_IMPLEMENTED = -1013,
DEVICE_SPI_ERROR = -1014,
DEVICE_INVALID_STATE = -1015,
DEVICE_OOM = 20,
DEVICE_HEAP_ERROR = 30,
DEVICE_NULL_DEREFERENCE = 40,
DEVICE_USB_ERROR = 50,
DEVICE_JACDAC_ERROR = 60,
DEVICE_HARDWARE_CONFIGURATION_ERROR = 90,
// /libraries/codal-core/inc/core/NotifyEvents.h
DISPLAY_EVT_FREE = 1,
CODAL_SERIAL_EVT_TX_EMPTY = 2,
BLE_EVT_SERIAL_TX_EMPTY = 3,
ARCADE_PLAYER_JOIN_RESULT = 4,
DEVICE_NOTIFY_USER_EVENT_BASE = 1024,
// /libraries/codal-core/inc/driver-models/AbstractButton.h
DEVICE_BUTTON_EVT_DOWN = 1,
DEVICE_BUTTON_EVT_UP = 2,
DEVICE_BUTTON_EVT_CLICK = 3,
DEVICE_BUTTON_EVT_LONG_CLICK = 4,
DEVICE_BUTTON_EVT_HOLD = 5,
DEVICE_BUTTON_EVT_DOUBLE_CLICK = 6,
DEVICE_BUTTON_LONG_CLICK_TIME = 1000,
DEVICE_BUTTON_HOLD_TIME = 1500,
DEVICE_BUTTON_STATE = 1,
DEVICE_BUTTON_STATE_HOLD_TRIGGERED = 2,
DEVICE_BUTTON_STATE_CLICK = 4,
DEVICE_BUTTON_STATE_LONG_CLICK = 8,
DEVICE_BUTTON_SIGMA_MIN = 0,
DEVICE_BUTTON_SIGMA_MAX = 12,
DEVICE_BUTTON_SIGMA_THRESH_HI = 8,
DEVICE_BUTTON_SIGMA_THRESH_LO = 2,
DEVICE_BUTTON_DOUBLE_CLICK_THRESH = 50,
DEVICE_BUTTON_SIMPLE_EVENTS = 0,
DEVICE_BUTTON_ALL_EVENTS = 1,
ACTIVE_LOW = 0,
ACTIVE_HIGH = 1,
// /libraries/codal-core/inc/driver-models/Accelerometer.h
ACCELEROMETER_IMU_DATA_VALID = 2,
ACCELEROMETER_EVT_DATA_UPDATE = 1,
ACCELEROMETER_EVT_NONE = 0,
ACCELEROMETER_EVT_TILT_UP = 1,
ACCELEROMETER_EVT_TILT_DOWN = 2,
ACCELEROMETER_EVT_TILT_LEFT = 3,
ACCELEROMETER_EVT_TILT_RIGHT = 4,
ACCELEROMETER_EVT_FACE_UP = 5,
ACCELEROMETER_EVT_FACE_DOWN = 6,
ACCELEROMETER_EVT_FREEFALL = 7,
ACCELEROMETER_EVT_3G = 8,
ACCELEROMETER_EVT_6G = 9,
ACCELEROMETER_EVT_8G = 10,
ACCELEROMETER_EVT_SHAKE = 11,
ACCELEROMETER_EVT_2G = 12,
ACCELEROMETER_REST_TOLERANCE = 200,
ACCELEROMETER_TILT_TOLERANCE = 200,
ACCELEROMETER_FREEFALL_TOLERANCE = 400,
ACCELEROMETER_SHAKE_TOLERANCE = 400,
ACCELEROMETER_2G_TOLERANCE = 2048,
ACCELEROMETER_3G_TOLERANCE = 3072,
ACCELEROMETER_6G_TOLERANCE = 6144,
ACCELEROMETER_8G_TOLERANCE = 8192,
ACCELEROMETER_GESTURE_DAMPING = 5,
ACCELEROMETER_SHAKE_DAMPING = 10,
ACCELEROMETER_SHAKE_RTX = 30,
ACCELEROMETER_SHAKE_COUNT_THRESHOLD = 4,
// /libraries/codal-core/inc/driver-models/Compass.h
COMPASS_STATUS_RUNNING = 1,
COMPASS_STATUS_CALIBRATED = 2,
COMPASS_STATUS_CALIBRATING = 4,
COMPASS_STATUS_ADDED_TO_IDLE = 8,
COMPASS_EVT_DATA_UPDATE = 1,
COMPASS_EVT_CONFIG_NEEDED = 2,
COMPASS_EVT_CALIBRATE = 3,
COMPASS_EVT_CALIBRATION_NEEDED = 4,
// /libraries/codal-core/inc/driver-models/Gyroscope.h
GYROSCOPE_IMU_DATA_VALID = 2,
GYROSCOPE_EVT_DATA_UPDATE = 1,
// /libraries/codal-core/inc/driver-models/LowLevelTimer.h
TimerModeTimer = 0,
TimerModeCounter = 1,
TimerModeAlternateFunction = 2,
BitMode8 = 0,
BitMode16 = 1,
BitMode24 = 2,
BitMode32 = 3,
// /libraries/codal-core/inc/driver-models/Pin.h
IO_STATUS_DIGITAL_IN = 1,
IO_STATUS_DIGITAL_OUT = 2,
IO_STATUS_ANALOG_IN = 4,
IO_STATUS_ANALOG_OUT = 8,
IO_STATUS_TOUCH_IN = 16,
IO_STATUS_EVENT_ON_EDGE = 32,
IO_STATUS_EVENT_PULSE_ON_EDGE = 64,
IO_STATUS_INTERRUPT_ON_EDGE = 128,
IO_STATUS_ACTIVE_HI = 256,
DEVICE_PIN_MAX_OUTPUT = 1023,
DEVICE_PIN_MAX_SERVO_RANGE = 180,
DEVICE_PIN_DEFAULT_SERVO_RANGE = 2000,
DEVICE_PIN_DEFAULT_SERVO_CENTER = 1500,
DEVICE_PIN_EVENT_NONE = 0,
DEVICE_PIN_INTERRUPT_ON_EDGE = 1,
DEVICE_PIN_EVENT_ON_EDGE = 2,
DEVICE_PIN_EVENT_ON_PULSE = 3,
DEVICE_PIN_EVENT_ON_TOUCH = 4,
DEVICE_PIN_EVT_RISE = 2,
DEVICE_PIN_EVT_FALL = 3,
DEVICE_PIN_EVT_PULSE_HI = 4,
DEVICE_PIN_EVT_PULSE_LO = 5,
PIN_CAPABILITY_DIGITAL = 1,
PIN_CAPABILITY_ANALOG = 2,
PIN_CAPABILITY_AD = 3,
PIN_CAPABILITY_ALL = 3,
None = 0,
Down = 1,
Up = 2,
// /libraries/codal-core/inc/driver-models/Radio.h
RADIO_EVT_DATA_READY = 2,
// /libraries/codal-core/inc/driver-models/SPIFlash.h
SPIFLASH_PAGE_SIZE = 256,
SPIFLASH_SMALL_ROW_PAGES = 16,
SPIFLASH_BIG_ROW_PAGES = 256,
// /libraries/codal-core/inc/driver-models/Sensor.h
SENSOR_THRESHOLD_LOW = 1,
SENSOR_THRESHOLD_HIGH = 2,
SENSOR_UPDATE_NEEDED = 3,
SENSOR_INITIALISED = 1,
SENSOR_HIGH_THRESHOLD_PASSED = 2,
SENSOR_LOW_THRESHOLD_PASSED = 4,
SENSOR_LOW_THRESHOLD_ENABLED = 8,
SENSOR_HIGH_THRESHOLD_ENABLED = 16,
SENSOR_DEFAULT_SENSITIVITY = 868,
SENSOR_DEFAULT_SAMPLE_PERIOD = 500,
// /libraries/codal-core/inc/driver-models/Serial.h
CODAL_SERIAL_DEFAULT_BAUD_RATE = 115200,
CODAL_SERIAL_DEFAULT_BUFFER_SIZE = 20,
CODAL_SERIAL_EVT_DELIM_MATCH = 1,
CODAL_SERIAL_EVT_HEAD_MATCH = 2,
CODAL_SERIAL_EVT_RX_FULL = 3,
CODAL_SERIAL_EVT_DATA_RECEIVED = 4,
CODAL_SERIAL_STATUS_RX_IN_USE = 1,
CODAL_SERIAL_STATUS_TX_IN_USE = 2,
CODAL_SERIAL_STATUS_RX_BUFF_INIT = 4,
CODAL_SERIAL_STATUS_TX_BUFF_INIT = 8,
CODAL_SERIAL_STATUS_RXD = 16,
ASYNC = 0,
SYNC_SPINWAIT = 1,
SYNC_SLEEP = 2,
RxInterrupt = 0,
TxInterrupt = 1,
// /libraries/codal-core/inc/driver-models/SingleWireSerial.h
SWS_EVT_DATA_RECEIVED = 1,
SWS_EVT_DATA_SENT = 2,
SWS_EVT_ERROR = 3,
SWS_EVT_DATA_DROPPED = 4,
SingleWireRx = 0,
SingleWireTx = 1,
SingleWireDisconnected = 2,
// /libraries/codal-core/inc/driver-models/Timer.h
CODAL_TIMER_DEFAULT_EVENT_LIST_SIZE = 10,
// /libraries/codal-core/inc/drivers/AnalogSensor.h
ANALOG_THRESHOLD_LOW = 1,
ANALOG_THRESHOLD_HIGH = 2,
ANALOG_SENSOR_UPDATE_NEEDED = 3,
ANALOG_SENSOR_INITIALISED = 1,
ANALOG_SENSOR_HIGH_THRESHOLD_PASSED = 2,
ANALOG_SENSOR_LOW_THRESHOLD_PASSED = 4,
ANALOG_SENSOR_LOW_THRESHOLD_ENABLED = 8,
ANALOG_SENSOR_HIGH_THRESHOLD_ENABLED = 16,
// /libraries/codal-core/inc/drivers/AnimatedDisplay.h
DISPLAY_EVT_ANIMATION_COMPLETE = 1,
DISPLAY_DEFAULT_AUTOCLEAR = 1,
DISPLAY_SPACING = 1,
DISPLAY_ANIMATE_DEFAULT_POS = -255,
DISPLAY_DEFAULT_SCROLL_SPEED = 120,
DISPLAY_DEFAULT_SCROLL_STRIDE = -1,
DISPLAY_DEFAULT_PRINT_SPEED = 400,
ANIMATION_MODE_NONE = 0,
ANIMATION_MODE_STOPPED = 1,
ANIMATION_MODE_SCROLL_TEXT = 2,
ANIMATION_MODE_PRINT_TEXT = 3,
ANIMATION_MODE_SCROLL_IMAGE = 4,
ANIMATION_MODE_ANIMATE_IMAGE = 5,
ANIMATION_MODE_ANIMATE_IMAGE_WITH_CLEAR = 6,
ANIMATION_MODE_PRINT_CHARACTER = 7,
// /libraries/codal-core/inc/drivers/FAT.h
FAT_RESERVED_SECTORS = 1,
FAT_ROOT_DIR_SECTORS = 4,
// /libraries/codal-core/inc/drivers/HID.h
HID_REQUEST_GET_REPORT = 1,
HID_REQUEST_GET_IDLE = 2,
HID_REQUEST_GET_PROTOCOL = 3,
HID_REQUEST_SET_REPORT = 9,
HID_REQUEST_SET_IDLE = 10,
HID_REQUEST_SET_PROTOCOL = 11,
// /libraries/codal-core/inc/drivers/HIDKeyboard.h
HID_KEYBOARD_NUM_REPORTS = 3,
HID_KEYBOARD_REPORT_GENERIC = 1,
HID_KEYBOARD_REPORT_CONSUMER = 2,
HID_KEYBOARD_KEYSTATE_SIZE_GENERIC = 8,
HID_KEYBOARD_KEYSTATE_SIZE_CONSUMER = 2,
HID_KEYBOARD_MODIFIER_OFFSET = 2,
HID_KEYBOARD_DELAY_DEFAULT = 10,
PressKey = 0,
ReleaseKey = 1,
// /libraries/codal-core/inc/drivers/KeyMap.h
KEYMAP_ALL_KEYS_UP_Val = 1,
KEYMAP_ALL_KEYS_UP_POS = 28,
KEYMAP_NORMAL_KEY_Val = 0,
KEYMAP_MODIFIER_KEY_Val = 1,
KEYMAP_MODIFIER_POS = 29,
KEYMAP_MEDIA_KEY_Val = 1,
KEYMAP_MEDIA_POS = 30,
KEYMAP_KEY_UP_Val = 0,
KEYMAP_KEY_DOWN_Val = 1,
KEYMAP_KEY_DOWN_POS = 31,
// /libraries/codal-core/inc/drivers/KeyValueStorage.h
DEVICE_KEY_VALUE_STORE_OFFSET = 4,
KEY_VALUE_STORAGE_MAGIC = 49370,
KEY_VALUE_STORAGE_BLOCK_SIZE = 48,
KEY_VALUE_STORAGE_KEY_SIZE = 16,
KEY_VALUE_STORAGE_SCRATCH_WORD_SIZE = 64,
KEY_VALUE_STORAGE_MAX_PAIRS = 5,
// /libraries/codal-core/inc/drivers/LEDMatrix.h
LED_MATRIX_GREYSCALE_BIT_DEPTH = 8,
LED_MATRIX_EVT_LIGHT_SENSE = 2,
LED_MATRIX_EVT_FRAME_TIMEOUT = 3,
LED_MATRIX_MINIMUM_BRIGHTNESS = 1,
LED_MATRIX_MAXIMUM_BRIGHTNESS = 255,
LED_MATRIX_DEFAULT_BRIGHTNESS = 255,
DISPLAY_MODE_BLACK_AND_WHITE = 0,
DISPLAY_MODE_GREYSCALE = 1,
DISPLAY_MODE_BLACK_AND_WHITE_LIGHT_SENSE = 2,
MATRIX_DISPLAY_ROTATION_0 = 0,
MATRIX_DISPLAY_ROTATION_90 = 1,
MATRIX_DISPLAY_ROTATION_180 = 2,
MATRIX_DISPLAY_ROTATION_270 = 3,
NO_CONN = 0,
// /libraries/codal-core/inc/drivers/MAG3110.h
MAG3110_DEFAULT_ADDR = 29,
MAG3110_SAMPLE_RATES = 11,
MAG3110_WHOAMI_VAL = 196,
// /libraries/codal-core/inc/drivers/MMA8653.h
MICROBIT_ACCEL_PITCH_ROLL_VALID = 2,
// /libraries/codal-core/inc/drivers/MultiButton.h
MULTI_BUTTON_STATE_1 = 1,
MULTI_BUTTON_STATE_2 = 2,
MULTI_BUTTON_HOLD_TRIGGERED_1 = 4,
MULTI_BUTTON_HOLD_TRIGGERED_2 = 8,
MULTI_BUTTON_SUPRESSED_1 = 16,
MULTI_BUTTON_SUPRESSED_2 = 32,
MULTI_BUTTON_ATTACHED = 64,
// /libraries/codal-core/inc/drivers/ST7735.h
MADCTL_MY = 128,
MADCTL_MX = 64,
MADCTL_MV = 32,
MADCTL_ML = 16,
MADCTL_RGB = 0,
MADCTL_BGR = 8,
MADCTL_MH = 4,
// /libraries/codal-core/inc/drivers/TouchButton.h
TOUCH_BUTTON_CALIBRATION_PERIOD = 10,
TOUCH_BUTTON_CALIBRATION_LINEAR_OFFSET = 2,
TOUCH_BUTTON_CALIBRATION_PERCENTAGE_OFFSET = 5,
TOUCH_BUTTON_CALIBRATING = 16,
// /libraries/codal-core/inc/drivers/TouchSensor.h
TOUCH_SENSOR_MAX_BUTTONS = 10,
TOUCH_SENSOR_SAMPLE_PERIOD = 50,
TOUCH_SENSE_SAMPLE_MAX = 1000,
TOUCH_SENSOR_UPDATE_NEEDED = 1,
// /libraries/codal-core/inc/drivers/USBJACDAC.h
JACDAC_USB_STATUS_CLEAR_TO_SEND = 2,
// /libraries/codal-core/inc/drivers/USB_HID_Keys.h
KEY_MOD_LCTRL = 1,
KEY_MOD_LSHIFT = 2,
KEY_MOD_LALT = 4,
KEY_MOD_LMETA = 8,
KEY_MOD_RCTRL = 16,
KEY_MOD_RSHIFT = 32,
KEY_MOD_RALT = 64,
KEY_MOD_RMETA = 128,
KEY_NONE = 0,
KEY_ERR_OVF = 1,
KEY_A = 4,
KEY_B = 5,
KEY_C = 6,
KEY_D = 7,
KEY_E = 8,
KEY_F = 9,
KEY_G = 10,
KEY_H = 11,
KEY_I = 12,
KEY_J = 13,
KEY_K = 14,
KEY_L = 15,
KEY_M = 16,
KEY_N = 17,
KEY_O = 18,
KEY_P = 19,
KEY_Q = 20,
KEY_R = 21,
KEY_S = 22,
KEY_T = 23,
KEY_U = 24,
KEY_V = 25,
KEY_W = 26,
KEY_X = 27,
KEY_Y = 28,
KEY_Z = 29,
KEY_1 = 30,
KEY_2 = 31,
KEY_3 = 32,
KEY_4 = 33,
KEY_5 = 34,
KEY_6 = 35,
KEY_7 = 36,
KEY_8 = 37,
KEY_9 = 38,
KEY_0 = 39,
KEY_ENTER = 40,
KEY_ESC = 41,
KEY_BACKSPACE = 42,
KEY_TAB = 43,
KEY_SPACE = 44,
KEY_MINUS = 45,
KEY_EQUAL = 46,
KEY_LEFTBRACE = 47,
KEY_RIGHTBRACE = 48,
KEY_BACKSLASH = 49,
KEY_HASHTILDE = 50,
KEY_SEMICOLON = 51,
KEY_APOSTROPHE = 52,
KEY_GRAVE = 53,
KEY_COMMA = 54,
KEY_DOT = 55,
KEY_SLASH = 56,
KEY_CAPSLOCK = 57,
KEY_F1 = 58,
KEY_F2 = 59,
KEY_F3 = 60,
KEY_F4 = 61,
KEY_F5 = 62,
KEY_F6 = 63,
KEY_F7 = 64,
KEY_F8 = 65,
KEY_F9 = 66,
KEY_F10 = 67,
KEY_F11 = 68,
KEY_F12 = 69,
KEY_SYSRQ = 70,
KEY_SCROLLLOCK = 71,
KEY_PAUSE = 72,
KEY_INSERT = 73,
KEY_HOME = 74,
KEY_PAGEUP = 75,
KEY_DELETE = 76,
KEY_END = 77,
KEY_PAGEDOWN = 78,
KEY_RIGHT = 79,
KEY_LEFT = 80,
KEY_DOWN = 81,
KEY_UP = 82,
KEY_NUMLOCK = 83,
KEY_KPSLASH = 84,
KEY_KPASTERISK = 85,
KEY_KPMINUS = 86,
KEY_KPPLUS = 87,
KEY_KPENTER = 88,
KEY_KP1 = 89,
KEY_KP2 = 90,
KEY_KP3 = 91,
KEY_KP4 = 92,
KEY_KP5 = 93,
KEY_KP6 = 94,
KEY_KP7 = 95,
KEY_KP8 = 96,
KEY_KP9 = 97,
KEY_KP0 = 98,
KEY_KPDOT = 99,
KEY_102ND = 100,
KEY_COMPOSE = 101,
KEY_POWER = 102,
KEY_KPEQUAL = 103,
KEY_F13 = 104,
KEY_F14 = 105,
KEY_F15 = 106,
KEY_F16 = 107,
KEY_F17 = 108,
KEY_F18 = 109,
KEY_F19 = 110,
KEY_F20 = 111,
KEY_F21 = 112,
KEY_F22 = 113,
KEY_F23 = 114,
KEY_F24 = 115,
KEY_OPEN = 116,
KEY_HELP = 117,
KEY_PROPS = 118,
KEY_FRONT = 119,
KEY_STOP = 120,
KEY_AGAIN = 121,
KEY_UNDO = 122,
KEY_CUT = 123,
KEY_COPY = 124,
KEY_PASTE = 125,
KEY_FIND = 126,
KEY_MUTE = 127,
KEY_VOLUMEUP = 128,
KEY_VOLUMEDOWN = 129,
KEY_KPCOMMA = 133,
KEY_RO = 135,
KEY_KATAKANAHIRAGANA = 136,
KEY_YEN = 137,
KEY_HENKAN = 138,
KEY_MUHENKAN = 139,
KEY_KPJPCOMMA = 140,
KEY_HANGEUL = 144,
KEY_HANJA = 145,
KEY_KATAKANA = 146,
KEY_HIRAGANA = 147,
KEY_ZENKAKUHANKAKU = 148,
KEY_KPLEFTPAREN = 182,
KEY_KPRIGHTPAREN = 183,
KEY_LEFTCTRL = 224,
KEY_LEFTSHIFT = 225,
KEY_LEFTALT = 226,
KEY_LEFTMETA = 227,
KEY_RIGHTCTRL = 228,
KEY_RIGHTSHIFT = 229,
KEY_RIGHTALT = 230,
KEY_RIGHTMETA = 231,
KEY_MEDIA_PLAYPAUSE = 232,
KEY_MEDIA_STOPCD = 233,
KEY_MEDIA_PREVIOUSSONG = 234,
KEY_MEDIA_NEXTSONG = 235,
KEY_MEDIA_EJECTCD = 236,
KEY_MEDIA_VOLUMEUP = 237,
KEY_MEDIA_VOLUMEDOWN = 238,
KEY_MEDIA_MUTE = 239,
KEY_MEDIA_WWW = 240,
KEY_MEDIA_BACK = 241,
KEY_MEDIA_FORWARD = 242,
KEY_MEDIA_STOP = 243,
KEY_MEDIA_FIND = 244,
KEY_MEDIA_SCROLLUP = 245,
KEY_MEDIA_SCROLLDOWN = 246,
KEY_MEDIA_EDIT = 247,
KEY_MEDIA_SLEEP = 248,
KEY_MEDIA_COFFEE = 249,
KEY_MEDIA_REFRESH = 250,
KEY_MEDIA_CALC = 251,
// /libraries/codal-core/inc/drivers/uf2format.h
UF2FORMAT_H = 1,
APP_START_ADDRESS = 8192,
UF2_FLAG_NOFLASH = 1,
// /libraries/codal-core/inc/streams/DataStream.h
DATASTREAM_MAXIMUM_BUFFERS = 1,
// /libraries/codal-core/inc/streams/LevelDetector.h
LEVEL_THRESHOLD_LOW = 1,
LEVEL_THRESHOLD_HIGH = 2,
LEVEL_DETECTOR_INITIALISED = 1,
LEVEL_DETECTOR_HIGH_THRESHOLD_PASSED = 2,
LEVEL_DETECTOR_LOW_THRESHOLD_PASSED = 4,
LEVEL_DETECTOR_DEFAULT_WINDOW_SIZE = 128,
// /libraries/codal-core/inc/streams/LevelDetectorSPL.h
LEVEL_DETECTOR_SPL_INITIALISED = 1,
LEVEL_DETECTOR_SPL_HIGH_THRESHOLD_PASSED = 2,
LEVEL_DETECTOR_SPL_LOW_THRESHOLD_PASSED = 4,
LEVEL_DETECTOR_SPL_DEFAULT_WINDOW_SIZE = 128,
// /libraries/codal-core/inc/streams/MemorySource.h
MEMORY_SOURCE_MAX_BUFFER = 256,
// /libraries/codal-core/inc/streams/Synthesizer.h
SYNTHESIZER_SAMPLE_RATE = 44100,
TONE_WIDTH = 1024,
// /libraries/codal-core/inc/types/BitmapFont.h
BITMAP_FONT_WIDTH = 5,
BITMAP_FONT_HEIGHT = 5,
BITMAP_FONT_ASCII_START = 32,
BITMAP_FONT_ASCII_END = 126,
// /libraries/codal-core/inc/types/CoordinateSystem.h
COORDINATE_SPACE_ROTATED_0 = 0,
COORDINATE_SPACE_ROTATED_90 = 1,
COORDINATE_SPACE_ROTATED_180 = 2,
COORDINATE_SPACE_ROTATED_270 = 3,
RAW = 0,
SIMPLE_CARTESIAN = 1,
NORTH_EAST_DOWN = 2,
EAST_NORTH_UP = 3,
// /libraries/codal-core/inc/types/Event.h
DEVICE_ID_ANY = 0,
DEVICE_EVT_ANY = 0,
CREATE_ONLY = 0,
CREATE_AND_FIRE = 1,
DEVICE_EVENT_DEFAULT_LAUNCH_MODE = 1,
// /libraries/codal-microbit/inc/MicroBitDevice.h
MICROBIT_NAME_LENGTH = 5,
MICROBIT_NAME_CODE_LETTERS = 5,
// /libraries/codal-microbit/inc/MicroBitRadio.h
MICROBIT_RADIO_STATUS_INITIALISED = 1,
MICROBIT_RADIO_BASE_ADDRESS = 1969383796,
MICROBIT_RADIO_DEFAULT_GROUP = 0,
MICROBIT_RADIO_DEFAULT_TX_POWER = 7,
MICROBIT_RADIO_DEFAULT_FREQUENCY = 7,
MICROBIT_RADIO_MAX_PACKET_SIZE = 32,
MICROBIT_RADIO_HEADER_SIZE = 4,
MICROBIT_RADIO_MAXIMUM_RX_BUFFERS = 4,
MICROBIT_RADIO_POWER_LEVELS = 10,
MICROBIT_RADIO_PROTOCOL_DATAGRAM = 1,
MICROBIT_RADIO_PROTOCOL_EVENTBUS = 2,
MICROBIT_RADIO_EVT_DATAGRAM = 1,
// /libraries/codal-microbit/inc/MicroBitStorage.h
MICROBIT_STORAGE_MAGIC = 51966,
MICROBIT_STORAGE_BLOCK_SIZE = 48,
MICROBIT_STORAGE_KEY_SIZE = 16,
MICROBIT_STORAGE_STORE_PAGE_OFFSET = 17,
MICROBIT_STORAGE_SCRATCH_PAGE_OFFSET = 19,
// /libraries/codal-microbit/inc/MicroBitThermometer.h
MICROBIT_THERMOMETER_PERIOD = 1000,
MICROBIT_THERMOMETER_EVT_UPDATE = 1,
// /libraries/codal-microbit/inc/bluetooth/ExternalEvents.h
MICROBIT_ID_BLE = 1000,
MICROBIT_ID_BLE_UART = 1200,
MICROBIT_BLE_EVT_CONNECTED = 1,
MICROBIT_BLE_EVT_DISCONNECTED = 2,
// /libraries/codal-microbit/inc/bluetooth/MESEvents.h
MES_REMOTE_CONTROL_ID = 1001,
MES_REMOTE_CONTROL_EVT_PLAY = 1,
MES_REMOTE_CONTROL_EVT_PAUSE = 2,
MES_REMOTE_CONTROL_EVT_STOP = 3,
MES_REMOTE_CONTROL_EVT_NEXTTRACK = 4,
MES_REMOTE_CONTROL_EVT_PREVTRACK = 5,
MES_REMOTE_CONTROL_EVT_FORWARD = 6,
MES_REMOTE_CONTROL_EVT_REWIND = 7,
MES_REMOTE_CONTROL_EVT_VOLUMEUP = 8,
MES_REMOTE_CONTROL_EVT_VOLUMEDOWN = 9,
MES_CAMERA_ID = 1002,
MES_CAMERA_EVT_LAUNCH_PHOTO_MODE = 1,
MES_CAMERA_EVT_LAUNCH_VIDEO_MODE = 2,
MES_CAMERA_EVT_TAKE_PHOTO = 3,
MES_CAMERA_EVT_START_VIDEO_CAPTURE = 4,
MES_CAMERA_EVT_STOP_VIDEO_CAPTURE = 5,
MES_CAMERA_EVT_STOP_PHOTO_MODE = 6,
MES_CAMERA_EVT_STOP_VIDEO_MODE = 7,
MES_CAMERA_EVT_TOGGLE_FRONT_REAR = 8,
MES_ALERTS_ID = 1004,
MES_ALERT_EVT_DISPLAY_TOAST = 1,
MES_ALERT_EVT_VIBRATE = 2,
MES_ALERT_EVT_PLAY_SOUND = 3,
MES_ALERT_EVT_PLAY_RINGTONE = 4,
MES_ALERT_EVT_FIND_MY_PHONE = 5,
MES_ALERT_EVT_ALARM1 = 6,
MES_ALERT_EVT_ALARM2 = 7,
MES_ALERT_EVT_ALARM3 = 8,
MES_ALERT_EVT_ALARM4 = 9,
MES_ALERT_EVT_ALARM5 = 10,
MES_ALERT_EVT_ALARM6 = 11,
MES_SIGNAL_STRENGTH_ID = 1101,
MES_SIGNAL_STRENGTH_EVT_NO_BAR = 1,
MES_SIGNAL_STRENGTH_EVT_ONE_BAR = 2,
MES_SIGNAL_STRENGTH_EVT_TWO_BAR = 3,
MES_SIGNAL_STRENGTH_EVT_THREE_BAR = 4,
MES_SIGNAL_STRENGTH_EVT_FOUR_BAR = 5,
MES_DEVICE_INFO_ID = 1103,
MES_DEVICE_ORIENTATION_LANDSCAPE = 1,
MES_DEVICE_ORIENTATION_PORTRAIT = 2,
MES_DEVICE_GESTURE_NONE = 3,
MES_DEVICE_GESTURE_DEVICE_SHAKEN = 4,
MES_DEVICE_DISPLAY_OFF = 5,
MES_DEVICE_DISPLAY_ON = 6,
MES_DEVICE_INCOMING_CALL = 7,
MES_DEVICE_INCOMING_MESSAGE = 8,
MES_DPAD_CONTROLLER_ID = 1104,
MES_DPAD_BUTTON_A_DOWN = 1,
MES_DPAD_BUTTON_A_UP = 2,
MES_DPAD_BUTTON_B_DOWN = 3,
MES_DPAD_BUTTON_B_UP = 4,
MES_DPAD_BUTTON_C_DOWN = 5,
MES_DPAD_BUTTON_C_UP = 6,
MES_DPAD_BUTTON_D_DOWN = 7,
MES_DPAD_BUTTON_D_UP = 8,
MES_DPAD_BUTTON_1_DOWN = 9,
MES_DPAD_BUTTON_1_UP = 10,
MES_DPAD_BUTTON_2_DOWN = 11,
MES_DPAD_BUTTON_2_UP = 12,
MES_DPAD_BUTTON_3_DOWN = 13,
MES_DPAD_BUTTON_3_UP = 14,
MES_DPAD_BUTTON_4_DOWN = 15,
MES_DPAD_BUTTON_4_UP = 16,
MES_BROADCAST_GENERAL_ID = 2000,
// /libraries/codal-microbit/inc/bluetooth/MicroBitBLEManager.h
MICROBIT_BLE_PAIR_REQUEST = 1,
MICROBIT_BLE_PAIR_COMPLETE = 2,
MICROBIT_BLE_PAIR_PASSCODE = 4,
MICROBIT_BLE_PAIR_SUCCESSFUL = 8,
MICROBIT_BLE_PAIRING_TIMEOUT = 90,
MICROBIT_BLE_POWER_LEVELS = 8,
MICROBIT_BLE_MAXIMUM_BONDS = 4,
MICROBIT_BLE_EDDYSTONE_ADV_INTERVAL = 400,
MICROBIT_BLE_EDDYSTONE_DEFAULT_POWER = 240,
MICROBIT_BLE_STATUS_STORE_SYSATTR = 2,
MICROBIT_BLE_STATUS_DISCONNECT = 4,
MICROBIT_BLE_DISCONNECT_AFTER_PAIRING_DELAY = 500,
// /libraries/codal-microbit/inc/bluetooth/MicroBitDFUService.h
MICROBIT_DFU_OPCODE_START_DFU = 1,
MICROBIT_DFU_HISTOGRAM_WIDTH = 5,
MICROBIT_DFU_HISTOGRAM_HEIGHT = 5,
// /libraries/codal-microbit/inc/bluetooth/MicroBitIOPinService.h
MICROBIT_IO_PIN_SERVICE_PINCOUNT = 20,
MICROBIT_IO_PIN_SERVICE_DATA_SIZE = 10,
MICROBIT_PWM_PIN_SERVICE_DATA_SIZE = 2,
// /libraries/codal-microbit/inc/bluetooth/MicroBitLEDService.h
MICROBIT_BLE_MAXIMUM_SCROLLTEXT = 20,
// /libraries/codal-microbit/inc/bluetooth/MicroBitMagnetometerService.h
COMPASS_CALIBRATION_STATUS_UNKNOWN = 0,
COMPASS_CALIBRATION_REQUESTED = 1,
COMPASS_CALIBRATION_COMPLETED_OK = 2,
COMPASS_CALIBRATION_COMPLETED_ERR = 3,
// /libraries/codal-microbit/inc/bluetooth/MicroBitUARTService.h
MICROBIT_UART_S_DEFAULT_BUF_SIZE = 20,
MICROBIT_UART_S_EVT_DELIM_MATCH = 1,
MICROBIT_UART_S_EVT_HEAD_MATCH = 2,
MICROBIT_UART_S_EVT_RX_FULL = 3,
// /libraries/codal-microbit/inc/compat/MicroBitCompat.h
MICROBIT_BUSY = -1006,
MICROBIT_CANCELLED = -1007,
MICROBIT_CALIBRATION_IN_PROGRESS = -1003,
MICROBIT_CALIBRATION_REQUIRED = -1004,
MICROBIT_HEAP_ERROR = 30,
MICROBIT_I2C_ERROR = -1010,
MICROBIT_INVALID_PARAMETER = -1001,
MICROBIT_NO_DATA = -1012,
MICROBIT_NO_RESOURCES = -1005,
MICROBIT_NOT_SUPPORTED = -1002,
MICROBIT_NULL_DEREFERENCE = 40,
MICROBIT_OK = 0,
MICROBIT_OOM = 20,
MICROBIT_SERIAL_IN_USE = -1011,
MICROBIT_ACCELEROMETER_3G_TOLERANCE = 3072,
MICROBIT_ACCELEROMETER_6G_TOLERANCE = 6144,
MICROBIT_ACCELEROMETER_8G_TOLERANCE = 8192,
MICROBIT_ACCELEROMETER_FREEFALL_TOLERANCE = 400,
MICROBIT_ACCELEROMETER_GESTURE_DAMPING = 5,
MICROBIT_ACCELEROMETER_REST_TOLERANCE = 200,
MICROBIT_ACCELEROMETER_SHAKE_COUNT_THRESHOLD = 4,
MICROBIT_ACCELEROMETER_SHAKE_DAMPING = 10,
MICROBIT_ACCELEROMETER_SHAKE_RTX = 30,
MICROBIT_ACCELEROMETER_SHAKE_TOLERANCE = 400,
MICROBIT_ACCELEROMETER_TILT_TOLERANCE = 200,
MICROBIT_COMPONENT_RUNNING = 4096,
MICROBIT_DEFAULT_PRINT_SPEED = 400,
MICROBIT_DEFAULT_SCROLL_SPEED = 120,
MICROBIT_DEFAULT_SCROLL_STRIDE = -1,
MICROBIT_DISPLAY_DEFAULT_AUTOCLEAR = 1,
MICROBIT_DISPLAY_DEFAULT_BRIGHTNESS = 255,
MICROBIT_DISPLAY_GREYSCALE_BIT_DEPTH = 8,
MICROBIT_DISPLAY_MAXIMUM_BRIGHTNESS = 255,
MICROBIT_DISPLAY_MINIMUM_BRIGHTNESS = 1,
MICROBIT_DISPLAY_ROTATION_0 = 0,
MICROBIT_DISPLAY_ROTATION_180 = 2,
MICROBIT_DISPLAY_ROTATION_270 = 3,
MICROBIT_DISPLAY_ROTATION_90 = 1,
MICROBIT_EVENT_DEFAULT_LAUNCH_MODE = 1,
MICROBIT_DISPLAY_ANIMATE_DEFAULT_POS = -255,
MICROBIT_FONT_ASCII_END = 126,
MICROBIT_FONT_ASCII_START = 32,
MICROBIT_FONT_HEIGHT = 5,
MICROBIT_FONT_WIDTH = 5,
MICROBIT_I2C_MAX_RETRIES = 1,
MICROBIT_PIN_DEFAULT_SERVO_CENTER = 1500,
MICROBIT_PIN_DEFAULT_SERVO_RANGE = 2000,
MICROBIT_PIN_EVENT_NONE = 0,
MICROBIT_PIN_EVENT_ON_EDGE = 2,
MICROBIT_PIN_EVENT_ON_PULSE = 3,
MICROBIT_PIN_EVENT_ON_TOUCH = 4,
MICROBIT_PIN_EVT_FALL = 3,
MICROBIT_PIN_EVT_PULSE_HI = 4,
MICROBIT_PIN_EVT_PULSE_LO = 5,
MICROBIT_PIN_EVT_RISE = 2,
MICROBIT_PIN_MAX_OUTPUT = 1023,
MICROBIT_PIN_MAX_SERVO_RANGE = 180,
MICROBIT_UART_S_EVT_TX_EMPTY = 3,
MICROBIT_ACCELEROMETER_EVT_3G = 8,
MICROBIT_ACCELEROMETER_EVT_6G = 9,
MICROBIT_ACCELEROMETER_EVT_8G = 10,
MICROBIT_ACCELEROMETER_EVT_DATA_UPDATE = 1,
MICROBIT_ACCELEROMETER_EVT_FACE_DOWN = 6,
MICROBIT_ACCELEROMETER_EVT_FACE_UP = 5,
MICROBIT_ACCELEROMETER_EVT_FREEFALL = 7,
MICROBIT_ACCELEROMETER_EVT_NONE = 0,
MICROBIT_ACCELEROMETER_EVT_SHAKE = 11,
MICROBIT_ACCELEROMETER_EVT_TILT_DOWN = 2,
MICROBIT_ACCELEROMETER_EVT_TILT_LEFT = 3,
MICROBIT_ACCELEROMETER_EVT_TILT_RIGHT = 4,
MICROBIT_ACCELEROMETER_EVT_TILT_UP = 1,
MICROBIT_BUTTON_ALL_EVENTS = 1,
MICROBIT_BUTTON_SIMPLE_EVENTS = 0,
MICROBIT_BUTTON_EVT_CLICK = 3,
MICROBIT_BUTTON_EVT_DOUBLE_CLICK = 6,
MICROBIT_BUTTON_EVT_DOWN = 1,
MICROBIT_BUTTON_EVT_HOLD = 5,
MICROBIT_BUTTON_EVT_LONG_CLICK = 4,
MICROBIT_BUTTON_EVT_UP = 2,
MICROBIT_COMPASS_EVT_CALIBRATE = 3,
MICROBIT_COMPASS_EVT_CONFIG_NEEDED = 2,
MICROBIT_COMPASS_EVT_DATA_UPDATE = 1,
MICROBIT_COMPASS_EVT_CALIBRATION_NEEDED = 4,
MICROBIT_DISPLAY_EVT_ANIMATION_COMPLETE = 1,
MICROBIT_DISPLAY_EVT_FREE = 1,
MICROBIT_SERIAL_EVT_DELIM_MATCH = 1,
MICROBIT_SERIAL_EVT_HEAD_MATCH = 2,
MICROBIT_SERIAL_EVT_RX_FULL = 3,
MICROBIT_SERIAL_EVT_TX_EMPTY = 2,
MICROBIT_ID_ANY = 0,
MICROBIT_EVT_ANY = 0,
MICROBIT_ID_ACCELEROMETER = 5,
MICROBIT_ID_BUTTON_A = 1,
MICROBIT_ID_BUTTON_B = 2,
MICROBIT_ID_BUTTON_AB = 3,
MICROBIT_ID_BUTTON_RESET = 4,
MICROBIT_ID_COMPASS = 6,
MICROBIT_ID_DISPLAY = 7,
MICROBIT_ID_GESTURE = 13,
MICROBIT_ID_IO_P0 = 100,
MICROBIT_ID_IO_P1 = 101,
MICROBIT_ID_IO_P2 = 102,
MICROBIT_ID_IO_P3 = 103,
MICROBIT_ID_IO_P4 = 104,
MICROBIT_ID_IO_P5 = 105,
MICROBIT_ID_IO_P6 = 106,
MICROBIT_ID_IO_P7 = 107,
MICROBIT_ID_IO_P8 = 108,
MICROBIT_ID_IO_P9 = 109,
MICROBIT_ID_IO_P10 = 110,
MICROBIT_ID_IO_P11 = 111,
MICROBIT_ID_IO_P12 = 112,
MICROBIT_ID_IO_P13 = 113,
MICROBIT_ID_IO_P14 = 114,
MICROBIT_ID_IO_P15 = 115,
MICROBIT_ID_IO_P16 = 116,
MICROBIT_ID_IO_P19 = 119,
MICROBIT_ID_IO_P20 = 120,
MICROBIT_ID_IO_P21 = 121,
MICROBIT_ID_MESSAGE_BUS_LISTENER = 1021,
MICROBIT_ID_MULTIBUTTON_ATTACH = 11,
MICROBIT_ID_NOTIFY = 1023,
MICROBIT_ID_NOTIFY_ONE = 1022,
MICROBIT_ID_RADIO = 9,
MICROBIT_ID_RADIO_DATA_READY = 10,
MICROBIT_ID_SERIAL = 12,
MICROBIT_ID_THERMOMETER = 8,
MICROBIT_NESTED_HEAP_SIZE = 0,
MICROBIT_SCHEDULER_RUNNING = 1,
MICROBIT_SERIAL_DEFAULT_BAUD_RATE = 115200,
MICROBIT_SERIAL_DEFAULT_BUFFER_SIZE = 20,
MICROBIT_COMPASS_STATUS_ADDED_TO_IDLE = 8,
// /libraries/codal-microbit/model/MicroBit.h
DEVICE_INITIALIZED = 1,
// /libraries/codal-microbit/model/MicroBitCompass.h
//CALLIOPE_PIN_ACCEL_INT = 21,
// /libraries/codal-microbit/model/MicroBitIO.h
MICROBIT_PIN_BUTTON_RESET = -1,
ID_PIN_P0 = 100,
ID_PIN_P1 = 101,
ID_PIN_P2 = 102,
ID_PIN_P3 = 103,
ID_PIN_P4 = 104,
ID_PIN_P5 = 105,
ID_PIN_P6 = 106,
ID_PIN_P7 = 107,
ID_PIN_P8 = 108,
ID_PIN_P9 = 109,
ID_PIN_P10 = 110,
ID_PIN_P11 = 111,
ID_PIN_P12 = 112,
ID_PIN_P13 = 113,
ID_PIN_P14 = 114,
ID_PIN_P15 = 115,
ID_PIN_P16 = 116,
ID_PIN_P17 = 117,
ID_PIN_P18 = 118,
ID_PIN_P19 = 119,
ID_PIN_P20 = 120,
ID_PIN_P21 = 121,
ID_PIN_P22 = 122,
ID_PIN_P23 = 123,
ID_PIN_P24 = 124,
ID_PIN_P25 = 125,
ID_PIN_P26 = 126,
ID_PIN_P27 = 127,
ID_PIN_P28 = 128,
ID_PIN_P29 = 129,
ID_PIN_P30 = 130,
ID_PIN_P31 = 131,
ID_PIN_P32 = 132,
ID_PIN_P33 = 133,
ID_PIN_P34 = 134,
ID_PIN_P35 = 135,
ID_PIN_P36 = 136,
ID_PIN_P37 = 137,
ID_PIN_P38 = 138,
ID_PIN_P39 = 139,
ID_PIN_P40 = 140,
ID_PIN_P41 = 141,
ID_PIN_P42 = 142,
ID_PIN_P43 = 143,
ID_PIN_P44 = 144,
ID_PIN_P45 = 145,
ID_PIN_P46 = 146,
ID_PIN_P47 = 147,
// /pxtapp/configkeys.h
CFG_PIN_NAME_MSK = 65535,
CFG_PIN_CONFIG_MSK = 4294901760,
CFG_PIN_CONFIG_ACTIVE_LO = 65536,
CFG_MAGIC0 = 513675505,
CFG_MAGIC1 = 539130489,
CFG_PIN_ACCELEROMETER_INT = 1,
CFG_PIN_ACCELEROMETER_SCL = 2,
CFG_PIN_ACCELEROMETER_SDA = 3,
CFG_PIN_BTN_A = 4,
CFG_PIN_BTN_B = 5,
CFG_PIN_BTN_SLIDE = 6,
CFG_PIN_DOTSTAR_CLOCK = 7,
CFG_PIN_DOTSTAR_DATA = 8,
CFG_PIN_FLASH_CS = 9,
CFG_PIN_FLASH_MISO = 10,
CFG_PIN_FLASH_MOSI = 11,
CFG_PIN_FLASH_SCK = 12,
CFG_PIN_LED = 13,
CFG_PIN_LIGHT = 14,
CFG_PIN_MICROPHONE = 15,
CFG_PIN_MIC_CLOCK = 16,
CFG_PIN_MIC_DATA = 17,
CFG_PIN_MISO = 18,
CFG_PIN_MOSI = 19,
CFG_PIN_NEOPIXEL = 20,
CFG_PIN_RX = 21,
CFG_PIN_RXLED = 22,
CFG_PIN_SCK = 23,
CFG_PIN_SCL = 24,
CFG_PIN_SDA = 25,
CFG_PIN_SPEAKER_AMP = 26,
CFG_PIN_TEMPERATURE = 27,
CFG_PIN_TX = 28,
CFG_PIN_TXLED = 29,
CFG_PIN_IR_OUT = 30,
CFG_PIN_IR_IN = 31,
CFG_PIN_DISPLAY_SCK = 32,
CFG_PIN_DISPLAY_MISO = 33,
CFG_PIN_DISPLAY_MOSI = 34,
CFG_PIN_DISPLAY_CS = 35,
CFG_PIN_DISPLAY_DC = 36,
CFG_DISPLAY_WIDTH = 37,
CFG_DISPLAY_HEIGHT = 38,
CFG_DISPLAY_CFG0 = 39,
CFG_DISPLAY_CFG1 = 40,
CFG_DISPLAY_CFG2 = 41,
CFG_DISPLAY_CFG3 = 42,
CFG_PIN_DISPLAY_RST = 43,
CFG_PIN_DISPLAY_BL = 44,
CFG_PIN_SERVO_1 = 45,
CFG_PIN_SERVO_2 = 46,
CFG_PIN_BTN_LEFT = 47,
CFG_PIN_BTN_RIGHT = 48,
CFG_PIN_BTN_UP = 49,
CFG_PIN_BTN_DOWN = 50,
CFG_PIN_BTN_MENU = 51,
CFG_PIN_LED_R = 52,
CFG_PIN_LED_G = 53,
CFG_PIN_LED_B = 54,
CFG_PIN_LED1 = 55,
CFG_PIN_LED2 = 56,
CFG_PIN_LED3 = 57,
CFG_PIN_LED4 = 58,
CFG_SPEAKER_VOLUME = 59,
CFG_PIN_JACK_TX = 60,
CFG_PIN_JACK_SENSE = 61,
CFG_PIN_JACK_HPEN = 62,
CFG_PIN_JACK_BZEN = 63,
CFG_PIN_JACK_PWREN = 64,
CFG_PIN_JACK_SND = 65,
CFG_PIN_JACK_BUSLED = 66,
CFG_PIN_JACK_COMMLED = 67,
CFG_PIN_BTN_SOFT_RESET = 69,
CFG_ACCELEROMETER_TYPE = 70,
CFG_PIN_BTNMX_LATCH = 71,
CFG_PIN_BTNMX_CLOCK = 72,
CFG_PIN_BTNMX_DATA = 73,
CFG_PIN_BTN_MENU2 = 74,
CFG_PIN_BATTSENSE = 75,
CFG_PIN_VIBRATION = 76,
CFG_PIN_PWREN = 77,
CFG_DISPLAY_TYPE = 78,
CFG_PIN_ROTARY_ENCODER_A = 79,
CFG_PIN_ROTARY_ENCODER_B = 80,
CFG_ACCELEROMETER_SPACE = 81,
CFG_PIN_WIFI_MOSI = 82,
CFG_PIN_WIFI_MISO = 83,
CFG_PIN_WIFI_SCK = 84,
CFG_PIN_WIFI_TX = 85,
CFG_PIN_WIFI_RX = 86,
CFG_PIN_WIFI_CS = 87,
CFG_PIN_WIFI_BUSY = 88,
CFG_PIN_WIFI_RESET = 89,
CFG_PIN_WIFI_GPIO0 = 90,
CFG_PIN_WIFI_AT_TX = 91,
CFG_PIN_WIFI_AT_RX = 92,
CFG_PIN_USB_POWER = 93,
ACCELEROMETER_TYPE_LIS3DH = 50,
ACCELEROMETER_TYPE_LIS3DH_ALT = 48,
ACCELEROMETER_TYPE_MMA8453 = 56,
ACCELEROMETER_TYPE_FXOS8700 = 60,
ACCELEROMETER_TYPE_MMA8653 = 58,
ACCELEROMETER_TYPE_MSA300 = 76,
ACCELEROMETER_TYPE_MPU6050 = 104,
DISPLAY_TYPE_ST7735 = 7735,
DISPLAY_TYPE_ILI9341 = 9341,
DISPLAY_TYPE_SMART = 4242,
CFG_PIN_A0 = 100,
CFG_PIN_A1 = 101,
CFG_PIN_A2 = 102,
CFG_PIN_A3 = 103,
CFG_PIN_A4 = 104,
CFG_PIN_A5 = 105,
CFG_PIN_A6 = 106,
CFG_PIN_A7 = 107,
CFG_PIN_A8 = 108,
CFG_PIN_A9 = 109,
CFG_PIN_A10 = 110,
CFG_PIN_A11 = 111,
CFG_PIN_A12 = 112,
CFG_PIN_A13 = 113,
CFG_PIN_A14 = 114,
CFG_PIN_A15 = 115,
CFG_PIN_A16 = 116,
CFG_PIN_A17 = 117,
CFG_PIN_A18 = 118,
CFG_PIN_A19 = 119,
CFG_PIN_A20 = 120,
CFG_PIN_A21 = 121,
CFG_PIN_A22 = 122,
CFG_PIN_A23 = 123,
CFG_PIN_A24 = 124,
CFG_PIN_A25 = 125,
CFG_PIN_A26 = 126,
CFG_PIN_A27 = 127,
CFG_PIN_A28 = 128,
CFG_PIN_A29 = 129,
CFG_PIN_A30 = 130,
CFG_PIN_A31 = 131,
CFG_PIN_D0 = 150,
CFG_PIN_D1 = 151,
CFG_PIN_D2 = 152,
CFG_PIN_D3 = 153,
CFG_PIN_D4 = 154,
CFG_PIN_D5 = 155,
CFG_PIN_D6 = 156,
CFG_PIN_D7 = 157,
CFG_PIN_D8 = 158,
CFG_PIN_D9 = 159,
CFG_PIN_D10 = 160,
CFG_PIN_D11 = 161,
CFG_PIN_D12 = 162,
CFG_PIN_D13 = 163,
CFG_PIN_D14 = 164,
CFG_PIN_D15 = 165,
CFG_PIN_D16 = 166,
CFG_PIN_D17 = 167,
CFG_PIN_D18 = 168,
CFG_PIN_D19 = 169,
CFG_PIN_D20 = 170,
CFG_PIN_D21 = 171,
CFG_PIN_D22 = 172,
CFG_PIN_D23 = 173,
CFG_PIN_D24 = 174,
CFG_PIN_D25 = 175,
CFG_PIN_D26 = 176,
CFG_PIN_D27 = 177,
CFG_PIN_D28 = 178,
CFG_PIN_D29 = 179,
CFG_PIN_D30 = 180,
CFG_PIN_D31 = 181,
CFG_NUM_NEOPIXELS = 200,
CFG_NUM_DOTSTARS = 201,
CFG_DEFAULT_BUTTON_MODE = 202,
CFG_SWD_ENABLED = 203,
CFG_FLASH_BYTES = 204,
CFG_RAM_BYTES = 205,
CFG_SYSTEM_HEAP_BYTES = 206,
CFG_LOW_MEM_SIMULATION_KB = 207,
CFG_BOOTLOADER_BOARD_ID = 208,
CFG_UF2_FAMILY = 209,
CFG_PINS_PORT_SIZE = 210,
CFG_BOOTLOADER_PROTECTION = 211,
CFG_POWER_DEEPSLEEP_TIMEOUT = 212,
CFG_ANALOG_BUTTON_THRESHOLD = 213,
CFG_CPU_MHZ = 214,
CFG_CONTROLLER_LIGHT_MAX_BRIGHTNESS = 215,
CFG_ANALOG_JOYSTICK_MIN = 216,
CFG_ANALOG_JOYSTICK_MAX = 217,
CFG_TIMERS_TO_USE = 218,
CFG_PIN_ONBOARD_DOTSTAR_CLOCK = 219,
CFG_PIN_ONBOARD_DOTSTAR_DATA = 220,
CFG_NUM_ONBOARD_DOTSTARS = 221,
CFG_PIN_ONBOARD_NEOPIXEL = 222,
CFG_NUM_ONBOARD_NEOPIXELS = 223,
CFG_MATRIX_KEYPAD_MESSAGE_ID = 239,
CFG_NUM_MATRIX_KEYPAD_ROWS = 240,
CFG_PIN_MATRIX_KEYPAD_ROW0 = 241,
CFG_PIN_MATRIX_KEYPAD_ROW1 = 242,
CFG_PIN_MATRIX_KEYPAD_ROW2 = 243,
CFG_PIN_MATRIX_KEYPAD_ROW3 = 244,
CFG_PIN_MATRIX_KEYPAD_ROW4 = 245,
CFG_PIN_MATRIX_KEYPAD_ROW5 = 246,
CFG_PIN_MATRIX_KEYPAD_ROW6 = 247,
CFG_PIN_MATRIX_KEYPAD_ROW7 = 248,
CFG_NUM_MATRIX_KEYPAD_COLS = 250,
CFG_PIN_MATRIX_KEYPAD_COL0 = 251,
CFG_PIN_MATRIX_KEYPAD_COL1 = 252,
CFG_PIN_MATRIX_KEYPAD_COL2 = 253,
CFG_PIN_MATRIX_KEYPAD_COL3 = 254,
CFG_PIN_MATRIX_KEYPAD_COL4 = 255,
CFG_PIN_MATRIX_KEYPAD_COL5 = 256,
CFG_PIN_MATRIX_KEYPAD_COL6 = 257,
CFG_PIN_MATRIX_KEYPAD_COL7 = 258,
CFG_PIN_B0 = 300,
CFG_PIN_B1 = 301,
CFG_PIN_B2 = 302,
CFG_PIN_B3 = 303,
CFG_PIN_B4 = 304,
CFG_PIN_B5 = 305,
CFG_PIN_B6 = 306,
CFG_PIN_B7 = 307,
CFG_PIN_B8 = 308,
CFG_PIN_B9 = 309,
CFG_PIN_B10 = 310,
CFG_PIN_B11 = 311,
CFG_PIN_B12 = 312,
CFG_PIN_B13 = 313,
CFG_PIN_B14 = 314,
CFG_PIN_B15 = 315,
CFG_PIN_B16 = 316,
CFG_PIN_B17 = 317,
CFG_PIN_B18 = 318,
CFG_PIN_B19 = 319,
CFG_PIN_B20 = 320,
CFG_PIN_B21 = 321,
CFG_PIN_B22 = 322,
CFG_PIN_B23 = 323,
CFG_PIN_B24 = 324,
CFG_PIN_B25 = 325,
CFG_PIN_B26 = 326,
CFG_PIN_B27 = 327,
CFG_PIN_B28 = 328,
CFG_PIN_B29 = 329,
CFG_PIN_B30 = 330,
CFG_PIN_B31 = 331,
CFG_PIN_C0 = 350,
CFG_PIN_C1 = 351,
CFG_PIN_C2 = 352,
CFG_PIN_C3 = 353,
CFG_PIN_C4 = 354,
CFG_PIN_C5 = 355,
CFG_PIN_C6 = 356,
CFG_PIN_C7 = 357,
CFG_PIN_C8 = 358,
CFG_PIN_C9 = 359,
CFG_PIN_C10 = 360,
CFG_PIN_C11 = 361,
CFG_PIN_C12 = 362,
CFG_PIN_C13 = 363,
CFG_PIN_C14 = 364,
CFG_PIN_C15 = 365,
CFG_PIN_C16 = 366,
CFG_PIN_C17 = 367,
CFG_PIN_C18 = 368,
CFG_PIN_C19 = 369,
CFG_PIN_C20 = 370,
CFG_PIN_C21 = 371,
CFG_PIN_C22 = 372,
CFG_PIN_C23 = 373,
CFG_PIN_C24 = 374,
CFG_PIN_C25 = 375,
CFG_PIN_C26 = 376,
CFG_PIN_C27 = 377,
CFG_PIN_C28 = 378,
CFG_PIN_C29 = 379,
CFG_PIN_C30 = 380,
CFG_PIN_C31 = 381,
CFG_PIN_P0 = 400,
CFG_PIN_P1 = 401,
CFG_PIN_P2 = 402,
CFG_PIN_P3 = 403,
CFG_PIN_P4 = 404,
CFG_PIN_P5 = 405,
CFG_PIN_P6 = 406,
CFG_PIN_P7 = 407,
CFG_PIN_P8 = 408,
CFG_PIN_P9 = 409,
CFG_PIN_P10 = 410,
CFG_PIN_P11 = 411,
CFG_PIN_P12 = 412,
CFG_PIN_P13 = 413,
CFG_PIN_P14 = 414,
CFG_PIN_P15 = 415,
CFG_PIN_P16 = 416,
CFG_PIN_P17 = 417,
CFG_PIN_P18 = 418,
CFG_PIN_P19 = 419,
CFG_PIN_P20 = 420,
CFG_PIN_P21 = 421,
CFG_PIN_P22 = 422,
CFG_PIN_P23 = 423,
CFG_PIN_P24 = 424,
CFG_PIN_P25 = 425,
CFG_PIN_P26 = 426,
CFG_PIN_P27 = 427,
CFG_PIN_P28 = 428,
CFG_PIN_P29 = 429,
CFG_PIN_P30 = 430,
CFG_PIN_P31 = 431,
CFG_PIN_LORA_MISO = 1001,
CFG_PIN_LORA_MOSI = 1002,
CFG_PIN_LORA_SCK = 1003,
CFG_PIN_LORA_CS = 1004,
CFG_PIN_LORA_BOOT = 1005,
CFG_PIN_LORA_RESET = 1006,
CFG_PIN_IRRXLED = 1007,
CFG_PIN_IRTXLED = 1008,
CFG_PIN_LCD_RESET = 1009,
CFG_PIN_LCD_ENABLE = 1010,
CFG_PIN_LCD_DATALINE4 = 1011,
CFG_PIN_LCD_DATALINE5 = 1012,
CFG_PIN_LCD_DATALINE6 = 1013,
CFG_PIN_LCD_DATALINE7 = 1014,
CFG_NUM_LCD_COLUMNS = 1015,
CFG_NUM_LCD_ROWS = 1016,
CFG_PIN_RCC0 = 1017,
CFG_PIN_RCC1 = 1018,
CFG_PIN_RCC2 = 1019,
CFG_PIN_RCC3 = 1020,
CFG_PIN_RCC4 = 1021,
CFG_PIN_RCC5 = 1022,
CFG_PIN_RCC6 = 1023,
CFG_PIN_RCC7 = 1024,
CFG_PIN_SERVO0 = 1025,
CFG_PIN_SERVO1 = 1026,
CFG_PIN_SERVO2 = 1027,
CFG_PIN_SERVO3 = 1028,
CFG_PIN_SERVO4 = 1029,
CFG_PIN_SERVO5 = 1030,
CFG_PIN_SERVO6 = 1031,
CFG_PIN_SERVO7 = 1032,
CFG_PIN_SERVO8 = 1033,
CFG_PIN_PI_TX = 1034,
CFG_PIN_PI_RX = 1035,
CFG_PIN_GPS_SDA = 1036,
CFG_PIN_GPS_SCL = 1037,
CFG_PIN_GPS_TX = 1038,
CFG_PIN_GPS_RX = 1039,
CFG_PIN_GROVE0 = 1040,
CFG_PIN_GROVE1 = 1041,
CFG_PIN_SS = 1042,
// /pxtapp/platform.h
PXT_MICROBIT_TAGGED_INT = 1,
PXT_POWI = 1,
// /pxtapp/pxtbase.h
PXT_UTF8 = 0,
PXT32 = 1,
PXT64 = 1,
PXT_REFCNT_FLASH = 65534,
VTABLE_MAGIC = 249,
Undefined = 0,
Boolean = 1,
Number = 2,
String = 3,
Object = 4,
Function = 5,
BoxedString = 1,
BoxedNumber = 2,
BoxedBuffer = 3,
RefAction = 4,
RefImage = 5,
RefCollection = 6,
RefRefLocal = 7,
RefMap = 8,
RefMImage = 9,
MMap = 10,
User0 = 16,
PXT_IOS_HEAP_ALLOC_BITS = 20,
IMAGE_HEADER_MAGIC = 135,
Int8LE = 1,
UInt8LE = 2,
Int16LE = 3,
UInt16LE = 4,
Int32LE = 5,
Int8BE = 6,
UInt8BE = 7,
Int16BE = 8,
UInt16BE = 9,
Int32BE = 10,
UInt32LE = 11,
UInt32BE = 12,
Float32LE = 13,
Float64LE = 14,
Float32BE = 15,
Float64BE = 16,
NUM_TRY_FRAME_REGS = 3,
GC = 0,
// /pxtapp/pxtcore.h
GC_MAX_ALLOC_SIZE = 9000,
GC_BLOCK_SIZE = 256,
NON_GC_HEAP_RESERVATION = 1024,
}
//