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