PR #79 #279
mattccecodeql
on: dynamic
Matrix: analyze
Annotations
2 errors and 37 warnings
|
Type Checker > Checking classes for '
class Parent {
void greet() {}
}
class Child extends Parent {
void greet() {}
}
public class Main {
public static void main(String[] args) {
Parent parent = new Parent();
Parent child = new Child(); // Polymorphism
parent.greet();
child.greet();
}
}
':
src/types/checker/__tests__/classes.test.ts#L160
TypeError: type.getParentClass is not a function
at getParentClass (/home/runner/work/java-slang/java-slang/src/types/checker/prechecks.ts:111:23)
at /home/runner/work/java-slang/java-slang/src/types/checker/prechecks.ts:86:44
at Array.map (<anonymous>)
at map (/home/runner/work/java-slang/java-slang/src/types/checker/prechecks.ts:86:10)
at check (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:61:48)
at Object.<anonymous> (/home/runner/work/java-slang/java-slang/src/types/checker/__tests__/classes.test.ts:165:27)
at Promise.then.completed (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/utils.js:298:28)
at new Promise (<anonymous>)
at callAsyncCircusFn (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/utils.js:231:10)
at _callCircusTest (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:316:40)
at processTicksAndRejections (node:internal/process/task_queues:95:5)
at _runTest (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:252:3)
at _runTestsForDescribeBlock (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:126:9)
at _runTestsForDescribeBlock (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:121:9)
at run (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:71:3)
at runAndTransformResultsToJestFormat (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/legacy-code-todo-rewrite/jestAdapterInit.js:122:21)
at jestAdapter (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/legacy-code-todo-rewrite/jestAdapter.js:79:19)
at runTestInternal (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/runTest.js:367:16)
at runTest (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/runTest.js:444:34)
at Object.worker (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/testWorker.js:106:12)
|
|
Type Checker > Checking method invocation for
public static void main(String[] args) {
nonExistentMethod(); // This method does not exist
}
:
src/types/checker/__tests__/methodInvocation.test.ts#L119
TypeError: this._parent.accessMethod is not a function
at ClassType.accessMethod (/home/runner/work/java-slang/java-slang/src/types/types/classes.ts:48:25)
at Frame.accessMethod [as getMethod] (/home/runner/work/java-slang/java-slang/src/types/checker/environment.ts:61:31)
at getMethod (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:409:25)
at /home/runner/work/java-slang/java-slang/src/types/checker/index.ts:180:39
at Array.forEach (<anonymous>)
at forEach (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:179:46)
at typeCheckBody (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:538:58)
at /home/runner/work/java-slang/java-slang/src/types/checker/index.ts:551:42
at Array.map (<anonymous>)
at map (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:551:10)
at check (/home/runner/work/java-slang/java-slang/src/types/checker/index.ts:65:23)
at Object.<anonymous> (/home/runner/work/java-slang/java-slang/src/types/checker/__tests__/methodInvocation.test.ts:124:27)
at Promise.then.completed (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/utils.js:298:28)
at new Promise (<anonymous>)
at callAsyncCircusFn (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/utils.js:231:10)
at _callCircusTest (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:316:40)
at processTicksAndRejections (node:internal/process/task_queues:95:5)
at _runTest (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:252:3)
at _runTestsForDescribeBlock (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:126:9)
at _runTestsForDescribeBlock (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:121:9)
at run (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/run.js:71:3)
at runAndTransformResultsToJestFormat (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/legacy-code-todo-rewrite/jestAdapterInit.js:122:21)
at jestAdapter (/home/runner/work/java-slang/java-slang/node_modules/jest-circus/build/legacy-code-todo-rewrite/jestAdapter.js:79:19)
at runTestInternal (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/runTest.js:367:16)
at runTest (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/runTest.js:444:34)
at Object.worker (/home/runner/work/java-slang/java-slang/node_modules/jest-runner/build/testWorker.js:106:12)
|
|
🧾 Statement is not covered:
src/ec-evaluator/errors.ts#L166
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/errors.ts#L165
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/errors.ts#L170
Warning! Not covered statement
|
|
🕹️ Function is not covered:
src/ec-evaluator/errors.ts#L165
Warning! Not covered function
|
|
🕹️ Function is not covered:
src/ec-evaluator/errors.ts#L169
Warning! Not covered function
|
|
🧾 Statement is not covered:
src/ec-evaluator/interpreter.ts#L264
Warning! Not covered statement
|
|
🌿 Branch is not covered:
src/ec-evaluator/interpreter.ts#L263
Warning! Not covered branch
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L32
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L33
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L38
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L39
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L44
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/natives.ts#L47
Warning! Not covered statement
|
|
🕹️ Function is not covered:
src/ec-evaluator/natives.ts#L31
Warning! Not covered function
|
|
🕹️ Function is not covered:
src/ec-evaluator/natives.ts#L42
Warning! Not covered function
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L44
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L48
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L133
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L142
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L154
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L164
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L169
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L176
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L185
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L186
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/ec-evaluator/components.ts#L188
Warning! Not covered statement
|
|
🌿 Branch is not covered:
src/ec-evaluator/components.ts#L141
Warning! Not covered branch
|
|
🌿 Branch is not covered:
src/ec-evaluator/components.ts#L168
Warning! Not covered branch
|
|
🌿 Branch is not covered:
src/ec-evaluator/components.ts#L175
Warning! Not covered branch
|
|
🌿 Branch is not covered:
src/ec-evaluator/components.ts#L185
Warning! Not covered branch
|
|
🧾 Statement is not covered:
src/types/errors.ts#L135
Warning! Not covered statement
|
|
🕹️ Function is not covered:
src/types/errors.ts#L134
Warning! Not covered function
|
|
🧾 Statement is not covered:
src/types/checker/prechecks.ts#L95
Warning! Not covered statement
|
|
🌿 Branch is not covered:
src/types/checker/prechecks.ts#L94
Warning! Not covered branch
|
|
🧾 Statement is not covered:
src/types/ast/extractor.ts#L1301
Warning! Not covered statement
|
|
🧾 Statement is not covered:
src/types/ast/extractor.ts#L1302
Warning! Not covered statement
|
|
🌿 Branch is not covered:
src/types/ast/extractor.ts#L1301
Warning! Not covered branch
|