Add initial catalog and validator plans for Micro:bit (#5443)

I expect these will be iterated on. I just wanted to have something here to get started.
This commit is contained in:
Thomas Sparks 2024-01-29 16:39:46 -08:00 коммит произвёл GitHub
Родитель 19bcbe045a
Коммит a5d25f8bcc
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
4 изменённых файлов: 83 добавлений и 0 удалений

Просмотреть файл

@ -0,0 +1,17 @@
{
"criteria": [
{
"id": "D285D79B-85E5-4C8D-82D2-5A9E35AB1163",
"use": "show_icon_on_screen",
"template": "Show an icon on the LED screen",
"docPath": "/teachertool"
},
{
"id": "C57344FC-B915-4ACB-A070-67F8FFC18B4B",
"use": "read_gpio_pin",
"template": "Read a GPIO pin",
"description": "Read input from one or more of the microbit GPIO pins.",
"docPath": "/teachertool"
}
]
}

Просмотреть файл

@ -0,0 +1,3 @@
{
"criteria": []
}

Просмотреть файл

@ -0,0 +1,3 @@
{
"validatorPlans": []
}

Просмотреть файл

@ -0,0 +1,60 @@
{
"validatorPlans": [
{
".desc": "Set the LED screen.",
"name": "show_icon_on_screen",
"threshold": 1,
"checks": [
{
"validator": "blocksExist",
"blockCounts": {
"basic_show_icon": 1
}
}
]
},
{
".desc": "Read input from a GPIO pin.",
"name": "read_gpio_pin",
"threshold": 1,
"checks": [
{
"validator": "blocksExist",
"blockCounts": {
"device_pin_event": 1
}
},
{
"validator": "blocksExist",
"blockCounts": {
"device_pin_is_pressed": 1
}
},
{
"validator": "blocksExist",
"blockCounts": {
"device_pin_released": 1
}
},
{
"validator": "blocksExist",
"blockCounts": {
"device_get_digital_pin": 1
}
},
{
"validator": "blocksExist",
"blockCounts": {
"device_get_analog_pin": 1
}
},
{
"validator": "blocksExist",
"blockCounts": {
"pins_on_pulsed": 1
}
}
]
}
]
}