Regression
org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp]
Error Message
Generated Java code did not compile: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:458: error: cannot find symbol final POP3Message oldMsg = ((POP3Message) Utils.get( super.GetUserMessages(user ^ symbol: method GetUserMessages(String) /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:465: error: cannot find symbol , SeqUtil.mod( super.GetUserMessages(user ^ symbol: method GetUserMessages(String) /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:536: error: cannot find symbol final VDMSeq oldMsgs = super.GetUserMessages(user ^ symbol: method GetUserMessages(String) Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 3 errors
Stacktrace
java.lang.AssertionError: Generated Java code did not compile: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:458: error: cannot find symbol final POP3Message oldMsg = ((POP3Message) Utils.get( super.GetUserMessages(user ^ symbol: method GetUserMessages(String) /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:465: error: cannot find symbol , SeqUtil.mod( super.GetUserMessages(user ^ symbol: method GetUserMessages(String) /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:536: error: cannot find symbol final VDMSeq oldMsgs = super.GetUserMessages(user ^ symbol: method GetUserMessages(String) Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 3 errors
Standard Output
2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data 2020-05-17 19:23:34 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator