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

First stop towards compile/verify

Browse Source
This commit is contained in:
Christian Weichel
2019-05-06 19:58:36 +02:00
parent c48d80b137
commit cc79d53dc4
12 changed files with 145 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/common/protocol/core-service.ts
View File

@@ -1,7 +1,7 @@
export const CoreServicePath = '/services/core-service';
export const CoreService = Symbol('CoreService');
export interface CoreService {
compile(options: CoreService.Compile.Options): Promise<string>;
compile(options: CoreService.Compile.Options): Promise<void>;
upload(): Promise<void>;
}

16
arduino-ide-extension/src/common/protocol/tool-output-service.ts Normal file
View File

@@ -0,0 +1,16 @@
import { JsonRpcServer } from "@theia/core";
export const ToolOutputServiceServer = Symbol("ToolOutputServiceServer");
export interface ToolOutputServiceServer extends JsonRpcServer<ToolOutputServiceClient> {
publishNewOutput(tool: string, chunk: string): void;
disposeClient(client: ToolOutputServiceClient): void;
}
export const ToolOutputServiceClient = Symbol("ToolOutputServiceClient");
export interface ToolOutputServiceClient {
onNewOutput(tool: string, chunk: string): void;
}
export namespace ToolOutputService {
export const SERVICE_PATH = "/tool-output-service";
}