diff options
author | partouf <partouf@gmail.com> | 2023-10-24 17:30:36 +0200 |
---|---|---|
committer | partouf <partouf@gmail.com> | 2023-10-24 17:30:36 +0200 |
commit | 5ef2fb1025d46908fbe2ddd5c7d335a117b9e983 (patch) | |
tree | e169f5f54b9093169c1965570e9d5999d6a723ec /lib/compilers/java.ts | |
parent | b93fdb3ca36cbbb4d83f745d45dbb0946a46bcee (diff) | |
download | compiler-explorer-5ef2fb1025d46908fbe2ddd5c7d335a117b9e983.tar.gz compiler-explorer-5ef2fb1025d46908fbe2ddd5c7d335a117b9e983.zip |
add typesgh-9218
Diffstat (limited to 'lib/compilers/java.ts')
-rw-r--r-- | lib/compilers/java.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compilers/java.ts b/lib/compilers/java.ts index 429e2f513..a12af2398 100644 --- a/lib/compilers/java.ts +++ b/lib/compilers/java.ts @@ -36,6 +36,7 @@ import * as utils from '../utils.js'; import {JavaParser} from './argument-parsers.js'; import {BypassCache} from '../../types/compilation/compilation.interfaces.js'; +import {ExecutableExecutionOptions} from '../../types/execution/execution.interfaces.js'; export class JavaCompiler extends BaseCompiler { static get key() { @@ -128,7 +129,7 @@ export class JavaCompiler extends BaseCompiler { return ['-Xlint:all', '-encoding', 'utf8']; } - override async handleInterpreting(key, executeParameters) { + override async handleInterpreting(key, executeParameters: ExecutableExecutionOptions) { const compileResult = await this.getOrBuildExecutable(key, BypassCache.None); if (compileResult.code === 0) { executeParameters.args = [ |