File tree Expand file tree Collapse file tree 1 file changed +12
-12
lines changed
arduino-ide-extension/src/node Expand file tree Collapse file tree 1 file changed +12
-12
lines changed Original file line number Diff line number Diff line change @@ -30,6 +30,17 @@ export namespace DaemonLog {
30
30
31
31
}
32
32
33
+ export interface System {
34
+ readonly os : string ;
35
+ // readonly Resource: Resource;
36
+ }
37
+
38
+ export namespace System {
39
+ export function toString ( system : System ) : string {
40
+ return `OS: ${ system . os } `
41
+ }
42
+ }
43
+
33
44
export interface Tool {
34
45
readonly version : string ;
35
46
readonly systems : System [ ] ;
@@ -38,7 +49,7 @@ export namespace DaemonLog {
38
49
export namespace Tool {
39
50
40
51
export function is ( arg : any | undefined ) : arg is Tool {
41
- return ! ! arg && typeof arg . version === 'string' && 'systems' in arg ;
52
+ return ! ! arg && typeof arg . version === 'string' && 'systems' in arg ;
42
53
}
43
54
44
55
export function toString ( tool : Tool ) : string {
@@ -48,17 +59,6 @@ export namespace DaemonLog {
48
59
49
60
}
50
61
51
- export interface System {
52
- readonly os : string ;
53
- // readonly Resource: Resource;
54
- }
55
-
56
- export namespace System {
57
- export function toString ( system : System ) : string {
58
- return `OS: ${ system . os } `
59
- }
60
- }
61
-
62
62
export type Level = 'trace' | 'debug' | 'info' | 'warning' | 'error' ;
63
63
64
64
export function is ( arg : any | undefined ) : arg is DaemonLog {
You can’t perform that action at this time.
0 commit comments