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

Port: is.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-20 10:30:21 +02:00
parent dfed2350bd
commit 2f3fe27da3
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -94,6 +94,10 @@ export namespace Port {
} }
} }
export function is(arg: any): arg is Port {
return !!arg && 'address' in arg && typeof arg['address'] === 'string' && 'protocol' in arg && typeof arg['protocol'] === 'string';
}
export function toString(port: Port, options: { useLabel: boolean } = { useLabel: false }): string { export function toString(port: Port, options: { useLabel: boolean } = { useLabel: false }): string {
if (options.useLabel && port.label) { if (options.useLabel && port.label) {
return `${port.address} ${port.label}` return `${port.address} ${port.label}`