"stmtterm" where identifier can't be "if"/"while"/"nop" since these a… #28
Josef552Annotations
21 errors and 2 warnings
|
build:
src/view/FreeClausesManipulation.tsx#L40
Argument of type '"freeInput"' is not assignable to parameter of type 'keyof FreeClauseViewData'.
|
|
build:
src/view/ManipulateSyncDialog.tsx#L24
'synchronizations' is declared but its value is never read.
|
|
build:
src/view/ManipulateSyncDialog.tsx#L32
'sizeErrorMessage' is declared but its value is never read.
|
|
build:
src/view/ProcessSelection.tsx#L102
Type 'AutomatonOptionType' is not assignable to type 'string'.
|
|
build:
src/view/ProcessSelection.tsx#L103
'event' is declared but its value is never read.
|
|
build:
src/view/SystemSelection.tsx#L106
Type 'SystemOptionType' is not assignable to type 'string'.
|
|
build:
src/view/UploadButton.tsx#L5
Could not find a declaration file for module '../parser/timedAutomata'. '/home/runner/work/timed-automata-analysis-frontend/timed-automata-analysis-frontend/src/parser/timedAutomata.js' implicitly has an 'any' type.
|
|
build:
src/view/UploadButton.tsx#L33
Parameter 'parsedData' implicitly has an 'any' type.
|
|
build:
src/view/UploadButton.tsx#L39
Parameter 'item' implicitly has an 'any' type.
|
|
build:
src/view/UploadButton.tsx#L50
Parameter 'item' implicitly has an 'any' type.
|
|
static-analysis:
src/parser/timedAutomata.js#L462
'_$' is defined but never used
|
|
static-analysis:
src/parser/timedAutomata.js#L470
Unreachable code
|
|
static-analysis:
src/parser/timedAutomata.js#L2014
Unexpected aliasing of 'this' to local variable
|
|
static-analysis:
src/parser/timedAutomata.js#L2016
'tstack' is assigned a value but never used
|
|
static-analysis:
src/parser/timedAutomata.js#L2048
'popStack' is defined but never used
|
|
static-analysis:
src/parser/timedAutomata.js#L2053
'_token_stack:' is defined but never used
|
|
static-analysis:
src/parser/timedAutomata.js#L2065
'a' is defined but never used
|
|
static-analysis:
src/parser/timedAutomata.js#L2072
Unexpected constant condition
|
|
static-analysis:
src/parser/timedAutomata.js#L2173
Unreachable code
|
|
static-analysis:
src/parser/timedAutomata.js#L2511
'YYSTATE' is assigned a value but never used
|
|
test
Process completed with exit code 1.
|
|
static-analysis:
src/view/ManipulateSyncDialog.tsx#L24
'synchronizations' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
static-analysis:
src/view/ManipulateSyncDialog.tsx#L32
'sizeErrorMessage' is assigned a value but never used. Allowed unused vars must match /^_/u
|