1
0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-05-05 04:28:43 +00:00
2020-02-24 10:35:36 +01:00

29 lines
781 B
TypeScript

import { Board } from "./boards-service";
export const CoreServicePath = '/services/core-service';
export const CoreService = Symbol('CoreService');
export interface CoreService {
compile(options: CoreService.Compile.Options): Promise<void>;
upload(options: CoreService.Upload.Options): Promise<void>;
}
export namespace CoreService {
export namespace Upload {
export interface Options {
readonly uri: string;
readonly board: Board;
readonly port: string;
readonly optimizeForDebug: boolean;
}
}
export namespace Compile {
export interface Options {
readonly uri: string;
readonly board: Board;
readonly optimizeForDebug: boolean;
}
}
}