Skip to content

Commit

Permalink
add test diagnostics test for internal error
Browse files Browse the repository at this point in the history
  • Loading branch information
erik-krogh committed Mar 23, 2023
1 parent 07f8780 commit 27c2930
Show file tree
Hide file tree
Showing 4 changed files with 40 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"timestamp": "2023-03-23T12:04:41.317+00:00",
"source": {
"id": "js/internal-error",
"name": "Internal error",
"extractorName": "javascript"
},
"markdownMessage": "Internal error: com.semmle.util.exception.CatastrophicError: The TypeScript parser wrapper crashed with exit code 1",
"severity": "unknown",
"visibility": {
"cliSummaryTable": true,
"statusPage": false,
"telemetry": true
}
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
type Output<K, S extends any[]> = {
(...args: S): any;
};

declare function createThing<K extends string, S extends any[]>(
type: K,
fn: (...args: S) => any
): Output<K, S>;

const one = createThing("one", () => ({}));

const two = createThing("two", () => ({}));

const three = createThing("three", (cursor: string) => null);
const four = createThing("four", (error: number) => null);

type Events = Array<typeof one | typeof two | typeof three | typeof four>;
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
import os
from create_database_utils import *
from diagnostics_test_utils import *

run_codeql_database_create([], lang="javascript", runFunction = runUnsuccessfully, db = None)

check_diagnostics()
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{}

0 comments on commit 27c2930

Please sign in to comment.