Task query and execution polish

This commit is contained in:
Dirk Baeumer
2018-03-26 17:04:31 +02:00
parent e45a276a07
commit 6577bde536
8 changed files with 121 additions and 36 deletions

View File

@@ -11,10 +11,6 @@ export interface TaskDefinitionDTO {
[name: string]: any;
}
export interface TaskExecutionDTO {
id: string;
}
export interface TaskPresentationOptionsDTO {
reveal?: number;
echo?: boolean;
@@ -85,4 +81,9 @@ export interface TaskDTO {
presentationOptions: TaskPresentationOptionsDTO;
problemMatchers: string[];
hasDefinedMatchers: boolean;
}
export interface TaskExecutionDTO {
id: string;
task: TaskDTO;
}