jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-09 10:28:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Switched to the official arduino-cli.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-06-27 15:07:09 +02:00
parent 835107b5a6
commit 7494beca33
46 changed files with 15416 additions and 10839 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
arduino-ide-extension/src/common/protocol/boards-service.ts
View File

@@ -23,29 +23,21 @@ export interface Board {
export interface AttachedSerialBoard extends Board {
port: string;
type: 'serial';
serialNumber?: string;
productID?: string;
vendorID?: string;
}
export namespace AttachedSerialBoard {
export function is(b: Board): b is AttachedSerialBoard {
return 'type' in b && (b as Board & { type: any }).type === 'serial' &&
'port' in b && !!(b as Board & { port: any }).port && typeof (b as Board & { port: any }).port === 'string';
return 'port' in b;
}
}
export interface AttachedNetworkBoard extends Board {
info?: string;
address?: string;
port: number;
type: 'network';
address: string;
port: string;
}
export namespace AttachedNetworkBoard {
export function is(b: Board): b is AttachedNetworkBoard {
return 'type' in b && (b as Board & { type: any }).type === 'network' &&
'port' in b && !!(b as Board & { port: any }).port && typeof (b as Board & { port: any }).port === 'number';
return 'address' in b && 'port' in b;
}
}