java-slang frontend integration #9564
Annotations
9 errors
|
Run command
The operation was canceled.
|
|
Run command:
src/features/cseMachine/java/components/Control.tsx#L198
Namespace '"/home/runner/work/frontend/frontend/node_modules/java-slang/dist/ec-evaluator/index"' has no exported member 'SwitchInstr'.
|
|
Run command:
src/features/cseMachine/java/components/Control.tsx#L197
Property 'SWITCH' does not exist on type 'typeof InstrType'.
|
|
Run command:
src/features/cseMachine/java/components/Control.tsx#L195
Property 'BRANCH' does not exist on type 'typeof InstrType'.
|
|
Run command:
src/features/cseMachine/java/components/Control.tsx#L133
Property 'SWITCH' does not exist on type 'typeof InstrType'.
|
|
Run command:
src/features/cseMachine/java/components/Control.tsx#L131
Property 'BRANCH' does not exist on type 'typeof InstrType'.
|
|
Run command:
src/commons/utils/JavaHelper.ts#L116
Parameter 'c' implicitly has an 'any' type.
|
|
Run command:
src/commons/utils/JavaHelper.ts#L116
Property 'forEach' does not exist on type 'ClassFile'.
|
|
|
Loading