You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
java: SourceChecker.typeProcess: unexpected Throwable (NoSuchMethodError) while processing /Users/justinblack/programming/openapi-json-schema-generator/samples/client/3_0_3_unit_test/java/src/main/java/org/openapijsonschematools/client/schemas/validation/PathToSchemasMap.java; message: 'com.sun.tools.javac.tree.JCTree$JCExpression com.sun.tools.javac.tree.TreeMaker.Select(com.sun.tools.javac.tree.JCTree$JCExpression, com.sun.tools.javac.code.Symbol)'
; The Checker Framework crashed. Please report the crash.
Compilation unit: /Users/justinblack/programming/openapi-json-schema-generator/samples/client/3_0_3_unit_test/java/src/main/java/org/openapijsonschematools/client/schemas/validation/PathToSchemasMap.java
Last visited tree at line 7 column 1:
public class PathToSchemasMap extends LinkedHashMap<List<Object>, LinkedHashMap<JsonSchema, Void>> {
Exception: java.lang.NoSuchMethodError: 'com.sun.tools.javac.tree.JCTree$JCExpression com.sun.tools.javac.tree.TreeMaker.Select(com.sun.tools.javac.tree.JCTree$JCExpression, com.sun.tools.javac.code.Symbol)'; java.lang.NoSuchMethodError: 'com.sun.tools.javac.tree.JCTree$JCExpression com.sun.tools.javac.tree.TreeMaker.Select(com.sun.tools.javac.tree.JCTree$JCExpression, com.sun.tools.javac.code.Symbol)'
at org.checkerframework.javacutil.trees.TreeBuilder.buildIteratorMethodAccess(TreeBuilder.java:122)
at org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.visitEnhancedForLoop(CFGTranslationPhaseOne.java:2820)
Why is the type checker framework crashing?
How do I eliminate this crash?
Never mind. This error happened because I was incorrectly using java 21 when I should have been using java 17
It went away when using the correct java version
Thanks for submitting an issue.
As explained in the instructions for submitting an issue at https://checkerframework.org/manual/#reporting-bugs, please include four pieces of information:
I have four adjacent classes
When I build the project it crashes the checker framework.
Here are the java files:
JsonSchema.java
PathToSchemasMap.java
ValidationMetadata.java
TypeValidator.java
And my relevant configuration info from pom.xml is here:
And I run
mvn package
and I get this error:Why is the type checker framework crashing?
How do I eliminate this crash?
I expect the framework not to crash as the code compiles.
This came up in this PR: openapi-json-schema-tools/openapi-json-schema-generator#340
I am using:
IntelliJ IDEA 2023.2.5 (Community Edition)
Java 17
The text was updated successfully, but these errors were encountered: