Skip to content

Commit

Permalink
add ExtraOptions type for codeql commands
Browse files Browse the repository at this point in the history
  • Loading branch information
Esben Sparre Andreasen committed Aug 18, 2020
1 parent c5e07eb commit 008b006
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions src/codeql.ts
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,27 @@ import * as api from './api-client';
import * as defaults from './defaults.json'; // Referenced from codeql-action-sync-tool!
import * as util from './util';

type Options = (string|number|boolean)[];

/**
* Extra command line options for the codeql commands.
*/
interface ExtraOptions {
'*'?: Options;
database?: {
'*'?: Options,
init?: Options,
'trace-command'?: Options,
analyze?: Options,
finalize?: Options
};
resolve?: {
'*'?: Options,
extractor?: Options,
queries?: Options
};
}

export interface CodeQL {
/**
* Get the directory where the CodeQL executable is located.
Expand Down

0 comments on commit 008b006

Please sign in to comment.