2017-06-15 05:39:55 +02:00
|
|
|
# Radio Dashboard
|
|
|
|
|
|
|
|
```typescript
|
|
|
|
/**
|
|
|
|
* Radio monitoring dashboard
|
|
|
|
*
|
|
|
|
* Each radio client is represented by a dot on the screen.
|
|
|
|
* Once a client is registered, it will stay at the same pixel location
|
|
|
|
* forever.
|
|
|
|
*
|
|
|
|
* Radio clients can simply send a number (between 0..255) on group 4.
|
2017-11-20 20:46:36 +01:00
|
|
|
* They must transmit the serial number using ``radio.setTransmitSerialNumber(true)``
|
2017-06-15 05:39:55 +02:00
|
|
|
*
|
|
|
|
* The received number is used to set the LED brightness for that client.
|
|
|
|
*
|
|
|
|
* If the radio packet is not received for 10sec, the LED starts blinking.
|
|
|
|
*/
|
2017-06-16 00:03:40 +02:00
|
|
|
const deadPing = 20000;
|
2017-06-15 05:39:55 +02:00
|
|
|
const lostPing = 10000;
|
|
|
|
|
|
|
|
interface Client {
|
|
|
|
// client serial id
|
|
|
|
id: number;
|
|
|
|
// sprite on screen
|
|
|
|
sprite: game.LedSprite;
|
|
|
|
// last ping received
|
|
|
|
ping: number;
|
|
|
|
}
|
|
|
|
|
|
|
|
const clients: Client[] = [];
|
|
|
|
|
|
|
|
/* lazy allocate sprite */
|
|
|
|
function getClient(id: number): Client {
|
|
|
|
// needs an id to track radio client identity
|
|
|
|
if (!id)
|
|
|
|
return undefined;
|
|
|
|
|
|
|
|
// look for cache clients
|
|
|
|
for (const client of clients)
|
|
|
|
if (client.id == id)
|
|
|
|
return client;
|
|
|
|
const n = clients.length;
|
|
|
|
if (n == 24) // out of pixels
|
|
|
|
return undefined;
|
|
|
|
const client: Client = {
|
|
|
|
id: id,
|
|
|
|
sprite: game.createSprite(n % 5, n / 5),
|
|
|
|
ping: input.runningTime()
|
|
|
|
}
|
|
|
|
clients.push(client);
|
|
|
|
return client;
|
|
|
|
}
|
|
|
|
|
|
|
|
// store data received by clients
|
2018-10-16 00:32:09 +02:00
|
|
|
radio.onReceivedNumber(function (receivedNumber) {
|
|
|
|
const serialNumber = radio.receivedPacket(RadioPacketProperty.SerialNumber)
|
|
|
|
const client = getClient(serialNumber);
|
2017-06-15 05:39:55 +02:00
|
|
|
if (!client)
|
|
|
|
return;
|
|
|
|
|
|
|
|
client.ping = input.runningTime()
|
2018-10-16 00:32:09 +02:00
|
|
|
client.sprite.setBrightness(Math.max(1, receivedNumber & 0xff));
|
2017-06-15 05:39:55 +02:00
|
|
|
})
|
|
|
|
|
|
|
|
// monitor the sprites and start blinking when no packet is received
|
|
|
|
basic.forever(() => {
|
|
|
|
const now = input.runningTime()
|
|
|
|
for (const client of clients) {
|
|
|
|
// lost signal starts blinking
|
2017-06-16 00:03:40 +02:00
|
|
|
const lastPing = now - client.ping;
|
|
|
|
if (lastPing > deadPing) {
|
|
|
|
client.sprite.setBlink(0)
|
|
|
|
client.sprite.setBrightness(0)
|
|
|
|
}
|
|
|
|
else if (lastPing > lostPing)
|
2017-06-15 05:39:55 +02:00
|
|
|
client.sprite.setBlink(500);
|
2017-06-16 00:03:40 +02:00
|
|
|
else
|
|
|
|
client.sprite.setBlink(0);
|
2017-06-15 05:39:55 +02:00
|
|
|
}
|
|
|
|
basic.pause(500)
|
|
|
|
})
|
|
|
|
|
|
|
|
// setup the radio and start!
|
2017-06-16 00:03:40 +02:00
|
|
|
radio.setGroup(4)
|
|
|
|
game.addScore(1)
|
2017-08-18 17:34:01 +02:00
|
|
|
```
|
|
|
|
|
|
|
|
```package
|
|
|
|
radio
|
2017-06-15 05:39:55 +02:00
|
|
|
```
|