All files / views/webviews/sparql-results sparql-results-messages.ts

1
2
3
4
5
6
7
8
9
10
11
 
 
 
 
 
 
 
 
 
 
 
import { SparqlQueryExecutionState } from "@src/languages/sparql/services/sparql-query-state";
import { ExecuteCommandMessage } from '../webview-messaging';
 
export type SparqlResultsWebviewMessages =
    ExecuteCommandMessage |
    { readonly id: 'GetSparqlQueryHistory' } |
    { readonly id: 'PostSparqlQueryHistory', history: SparqlQueryExecutionState[] } |
    { readonly id: 'SparqlQueryExecutionStarted', queryState: SparqlQueryExecutionState } |
    { readonly id: 'SparqlQueryExecutionEnded', queryState: SparqlQueryExecutionState } |
    { readonly id: 'CancelSparqlQueryExecution', queryState: SparqlQueryExecutionState } |
    { readonly id: 'SparqlQueryExecutionCancelled', queryState: SparqlQueryExecutionState };