java.lang.AssertionError: Couldn't find class Comparator

GitHub | rudi | 9 months ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    Deadlock checker crashes on some examples

    GitHub | 9 months ago | rudi
    java.lang.AssertionError: Couldn't find class Comparator

    Root Cause Analysis

    1. java.lang.AssertionError

      Couldn't find class Comparator

      at abs.frontend.ast.Call.typeInference()
    2. abs.frontend.ast
      Model.typeInference
      1. abs.frontend.ast.Call.typeInference(Call.java:219)
      2. abs.frontend.ast.VarDecl.typeInference(VarDecl.java:213)
      3. abs.frontend.ast.VarDeclStmt.typeInference(VarDeclStmt.java:210)
      4. abs.frontend.ast.Block.typeInference(Block.java:275)
      5. abs.frontend.ast.MethodImpl.typeInference(MethodImpl.java:227)
      6. abs.frontend.ast.ClassDecl.typeInference(ClassDecl.java:295)
      7. abs.frontend.ast.ModuleDecl.typeInference(ModuleDecl.java:340)
      8. abs.frontend.ast.CompilationUnit.typeInference(CompilationUnit.java:97)
      9. abs.frontend.ast.Model.typeInference(Model.java:389)
      9 frames
    3. deadlock.analyser
      Analyser.deadlockAnalysis
      1. deadlock.analyser.Analyser.deadlockAnalysis(Analyser.java:52)
      1 frame
    4. deadlock
      DeadlockCheckerTests.parse
      1. deadlock.DeadlockCheckerTests.parse(DeadlockCheckerTests.java:27)
      1 frame
    5. abs.frontend.parser
      ParseSamplesTest.test
      1. abs.frontend.parser.ParseSamplesTest.test(ParseSamplesTest.java:54)
      1 frame
    6. Java RT
      GeneratedMethodAccessor2.invoke
      1. sun.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
      1 frame