Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM Type Checker 2.6.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/typechecker' for files matching the pattern '**/*.java' - excludes: **/target/* [TASKS] Found 144 files to scan for tasks Found 70 open tasks. [TASKS] Computing warning deltas based on reference build #196 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/core/typechecker/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 132 source files to /var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AFunctionTypeAssistantTC.java]] [parsing completed 3ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExportsVisitor.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckerErrors.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/PreNameFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/UnionBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/PTypeFunctionChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/VoidExistanceChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/ARecordInvariantTypeAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/VoidBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ExcludedDefinitions.java]] [parsing completed 5ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ModuleEnvironment.java]] [parsing completed 6ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ProductExtendedChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SeqBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/FunctionChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeEqualityChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionSet.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeDisplayer.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/APatternTypePairAssistant.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/SimplePatternChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/NarrowerThanComparator.java]] [parsing completed 12ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/LexNameTokenAssistant.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/InstanceVariableChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PatternUnresolver.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SeqTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/PureDefinitionChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/UsedMarker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionEqualityChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PBindAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/SelfDefinitionFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AImplicitFunctionDefinitionAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/util/LexNameTokenEntry.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/ComposeTypeCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeFinder.java]] [parsing completed 17ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java]] [parsing completed 5ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/RecordBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/NameFinder.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/ValueDefinitionChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/IsEqVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/QualifiedDefinition.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/QualificationVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ExportDefinitionFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SetTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/MultipleBindLister.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternListAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleExportsAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/ATypeBindAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckVisitor.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ProductBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ClassBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/util/LexNameTokenMap.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionListAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PatternListTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ClassTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PossibleBindTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TagBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/FunctionTypeFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PatternResolver.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/UpdatableChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ProductTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/util/HackLexNameToken.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PossibleTypeFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/Dereferer.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/UsedChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeExtendedChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerPatternVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerOthersVisitor.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/util/LexNameTokenWrapper.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ExportDefinitionListFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleImportsAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/TypeDefinitionChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AlwaysMatchingPatternChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/PrivateClassEnvironment.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/OperationBasisChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/IsOrderedVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/OperationChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/KindFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PMultipleBindAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/MapBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/OperationTypeFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AOperationTypeAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/CallableOperationChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AImplicitOperationDefinitionAssistantTC.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ProductExtendedTypeFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SetBasisChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/util/TypeCheckerUtil.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVarInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/UnusedChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ConcreateTypeImplementor.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnwrapper.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/ast/factory/AstFactoryTC.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/PublicClassEnvironment.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/MultipleEqualityChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java]] [parsing completed 6ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/RecordTypeFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/FlatCheckedEnvironment.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java]] [parsing completed 12ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/MapTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/UnionTypeFinder.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/generated-sources/annotations] [search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,.] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/pattern/PTypeList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/factory/AstFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFunctionType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AProductType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistantFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameSet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AAccessSpecifierAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AClassType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOperationType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARecordInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnionType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/PTypeSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ListIterator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/NodeList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/typechecker/NameScope.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AStateDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APostOpExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APreOpExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AVoidType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImplicitFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/APatternListTypePair.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImplicitOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PAccessSpecifierAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/APrivateAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AProtectedAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/APublicAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PDefinitionAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInheritedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubclassResponsibilityExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASubclassResponsibilityStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInstanceVariableDefinition.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ABusClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassInvariantDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ACpuClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/APerSyncDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ASystemClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AValueDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/typechecker/ClassDefinitionSettings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/typechecker/Pass.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AFromModuleImports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleImports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleExports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIdentifierToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/APatternTypePair.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATypeBind.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/RandomAccess.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/pattern/PPatternAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ANamePatternPair.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFieldField.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/PTypeAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ATypeDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ABracketType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnknownType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImportedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ARenamedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AEqualsDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExternalDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AMultiBindListDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AMutexSyncDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AThreadDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ALocalDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotYetSpecifiedExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANamedInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOptionalType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AParameterType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnresolvedType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASet1SetType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASetSetType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AConcatenationPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AExpressionPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AMapPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AMapUnionPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AMapletPatternMaplet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AObjectPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARecordPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASeqPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATuplePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AUnionPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ABooleanPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ACharacterPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIdentifierPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIgnorePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIntegerPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ANilPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AQuotePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARealPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AStringPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AInMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeq1SeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUndefinedType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AVoidReturnType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Stack.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/atomic/AtomicBoolean.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AUntypedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AAllExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AFunctionExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AOperationExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/ATypeExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AValueExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ABooleanBasicType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map$Entry.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFuncInstatiationExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AVariableExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AAssignmentDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ANamedTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AQuoteType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeqSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ACharBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AIntNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANatNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANatOneNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARationalNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARealNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ATokenBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/Utils.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/messages/InternalException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMError.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMWarning.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ABooleanConstExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASelfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexStringToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ADefPatternBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAlwaysStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAssignmentStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAtomicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ABlockSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallObjectStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACaseAlternativeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACasesStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AClassInvariantStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACyclesStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ADurationStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AElseIfStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AErrorCase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AErrorStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AExitStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AExternalClause.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForAllStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForIndexStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForPatternBindStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIdentifierStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIfStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ALetBeStStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ALetStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ANonDeterministicSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ANotYetSpecifiedStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/APeriodicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AReturnStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASkipStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASpecificationStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASporadicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AStartStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AStopStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATixeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATixeStmtAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATrapStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AWhileStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexQuoteToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAndBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASeqBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PAlternativeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmtAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AApplyExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACasesExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADefExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExists1Exp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExistsExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AForAllExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIotaExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALambdaExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetBeStExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetDefExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapCompMapExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapEnumMapExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapletExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkBasicExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkTypeExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMuExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANarrowExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARecordModifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqCompSeqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqEnumSeqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetCompSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetEnumSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetRangeSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubseqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATupleExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASeqMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATypeMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AApplyObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AFieldObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AFieldStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIdentifierObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AMapSeqStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ANewObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASelfObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/CombinedDefaultModule.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/AstAssistantFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/ModuleList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil$ParserResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/AOrdRelation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/VDMToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexTokenReader.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/DefinitionReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/AEqRelation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AApplyExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ABracketedExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AConcurrentExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ALetBeStBindingTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ALetDefBindingTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ARepeatTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ATraceDefinitionTerm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUndefinedExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AAllImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AFunctionValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AOperationValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/ATypeImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexRealToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACompBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADomainResByBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADomainResToBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AEqualsBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AInSetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapUnionBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotEqualBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotInSetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADivNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADivideNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterEqualNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AModNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARemNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubtractNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimesNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusPlusBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AProperSubsetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResByBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResToBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqConcatBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetDifferenceBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetIntersectBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetUnionBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStarStarBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubsetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACharLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElseIfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldNumberExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHistoryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIntLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfBaseClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANewExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANilExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APreExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AQuoteLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARealLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameBaseClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStateInitExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStringLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AThreadIdExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimeExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessEqualNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAbsoluteUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACardinalityUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistConcatUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistIntersectUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistMergeUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistUnionUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFloorUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHeadUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIndicesUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALenUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapDomainUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapInverseUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapRangeUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APowerSetUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AReverseUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATailUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryMinusUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryPlusUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElementsUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACaseAlternative.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]] [checking org.overture.typechecker.assistant.type.AFunctionTypeAssistantTC] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AFunctionTypeAssistantTC.class]] [checking org.overture.typechecker.assistant.ITypeCheckerAssistantFactory] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.class]] [checking org.overture.typechecker.assistant.definition.AExplicitFunctionDefinitionAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifierBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.AExplicitOperationDefinitionAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.AImplicitFunctionDefinitionAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPairBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPair.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AImplicitFunctionDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.AImplicitOperationDefinitionAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AImplicitOperationDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.PAccessSpecifierAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccessBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TStatic.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Token.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TAsync.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AssertionError.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.PDefinitionAssistantTC] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.PDefinitionListAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionListAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.PDefinitionSet] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionSet.class]] [checking org.overture.typechecker.assistant.definition.SClassDefinitionAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchFieldError.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.definition.SFunctionDefinitionAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.class]] [checking org.overture.typechecker.assistant.module.AModuleImportsAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportsBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleImportsAssistantTC.class]] [checking org.overture.typechecker.assistant.module.AModuleExportsAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportsBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExports.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleExportsAssistantTC.class]] [checking org.overture.typechecker.assistant.module.AModuleModulesAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModules.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.class]] [checking org.overture.typechecker.assistant.pattern.APatternTypePairAssistant] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/APatternTypePairAssistant.class]] [checking org.overture.typechecker.assistant.pattern.ATypeBindAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBindBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/ATypeBindAssistantTC.class]] [checking org.overture.typechecker.assistant.pattern.PatternListTC] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/UnaryOperator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Enumeration.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PatternListTC.class]] [checking org.overture.typechecker.assistant.pattern.PBindAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PBindAssistantTC.class]] [checking org.overture.typechecker.assistant.pattern.PMultipleBindAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PMultipleBindAssistantTC.class]] [checking org.overture.typechecker.assistant.pattern.PPatternAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.class]] [checking org.overture.typechecker.assistant.pattern.PPatternListAssistantTC] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/TreeSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/NavigableSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/SortedSet.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PPatternListAssistantTC.class]] [checking org.overture.typechecker.assistant.type.AClassTypeAssistantTC] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.class]] [checking org.overture.typechecker.assistant.type.AOperationTypeAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AOperationTypeAssistantTC.class]] [checking org.overture.typechecker.assistant.type.ARecordInvariantTypeAssistantTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PFieldBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PField.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/ARecordInvariantTypeAssistantTC.class]] [checking org.overture.typechecker.assistant.type.PTypeAssistantTC] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/PTypeAssistantTC.class]] [checking org.overture.typechecker.utilities.DefinitionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionFinder$Newquestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionFinder.class]] [checking org.overture.typechecker.utilities.NameFinder] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelationBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/NameFinder$Newquestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/NameFinder.class]] [checking org.overture.typechecker.Environment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/Environment.class]] [checking org.overture.typechecker.utilities.DefinitionTypeResolver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeResolver$NewQuestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeResolver.class]] [checking org.overture.typechecker.utilities.type.PTypeResolver] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/AUnionTypeAssistant.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeResolver$Newquestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeResolver.class]] [checking org.overture.typechecker.utilities.type.ConcreateTypeImplementor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ConcreateTypeImplementor$Newquestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ConcreateTypeImplementor.class]] [checking org.overture.typechecker.utilities.pattern.PatternResolver] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMapletBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMaplet.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternResolver$NewQuestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternResolver.class]] [checking org.overture.typechecker.utilities.pattern.AllDefinitionLocator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AllDefinitionLocator$NewQuestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.class]] [checking org.overture.typechecker.TypeComparator] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/SNumericBasicTypeAssistant.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator$Result.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator$TypePair.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator.class]] [checking org.overture.typechecker.LexNameTokenAssistant] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/LexNameTokenAssistant.class]] [checking org.overture.typechecker.TypeCheckInfo] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckInfo.class]] [checking org.overture.typechecker.utilities.type.QualifiedDefinition] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/QualifiedDefinition.class]] [checking org.overture.typechecker.utilities.FreeVarInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FreeVarInfo.class]] [checking org.overture.typechecker.ModuleEnvironment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ModuleEnvironment.class]] [checking org.overture.typechecker.visitor.TypeCheckerExportsVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportBase.class)]] [checking org.overture.typechecker.visitor.AbstractTypeCheckVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerExportsVisitor.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/AbstractTypeCheckVisitor$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.class]] [checking org.overture.typechecker.TypeCheckerErrors] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckerErrors.class]] [checking org.overture.typechecker.utilities.expression.PreNameFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/PreNameFinder.class]] [checking org.overture.typechecker.utilities.DefinitionTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeFinder.class]] [checking org.overture.typechecker.utilities.type.UnionBasisChecker] [checking org.overture.typechecker.utilities.type.TypeUnwrapper] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/UnionBasisChecker.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeUnwrapper.class]] [checking org.overture.typechecker.utilities.PTypeFunctionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/PTypeFunctionChecker.class]] [checking org.overture.typechecker.utilities.VariableNameCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/VariableNameCollector.class]] [checking org.overture.typechecker.utilities.type.VoidExistanceChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/VoidExistanceChecker.class]] [checking org.overture.typechecker.utilities.type.VoidBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/VoidBasisChecker.class]] [checking org.overture.typechecker.ExcludedDefinitions] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ExcludedDefinitions.class]] [checking org.overture.typechecker.utilities.type.ProductExtendedChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductExtendedChecker.class]] [checking org.overture.typechecker.utilities.type.SeqBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SeqBasisChecker.class]] [checking org.overture.typechecker.utilities.FunctionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FunctionChecker.class]] [checking org.overture.typechecker.utilities.type.TypeEqualityChecker] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexQuoteToken.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeEqualityChecker.class]] [checking org.overture.typechecker.utilities.type.TypeDisplayer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeDisplayer.class]] [checking org.overture.typechecker.utilities.pattern.SimplePatternChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/SimplePatternChecker.class]] [checking org.overture.typechecker.utilities.type.NarrowerThanComparator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/NarrowerThanComparator.class]] [checking org.overture.typechecker.utilities.InstanceVariableChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/InstanceVariableChecker.class]] [checking org.overture.typechecker.utilities.pattern.PatternUnresolver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternUnresolver.class]] [checking org.overture.typechecker.utilities.type.SeqTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SeqTypeFinder.class]] [checking org.overture.typechecker.utilities.PureDefinitionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/PureDefinitionChecker.class]] [checking org.overture.typechecker.utilities.UsedMarker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UsedMarker.class]] [checking org.overture.typechecker.utilities.DefinitionEqualityChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionEqualityChecker.class]] [checking org.overture.typechecker.ClassTypeChecker] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexIdentifierToken.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]] [checking org.overture.typechecker.TypeChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ClassTypeChecker.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker$IStatusListener.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker.class]] [checking org.overture.typechecker.TypeCheckException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckException.class]] [checking org.overture.typechecker.utilities.SelfDefinitionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/SelfDefinitionFinder.class]] [checking org.overture.typechecker.util.LexNameTokenEntry] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenEntry.class]] [checking org.overture.typechecker.util.LexNameTokenWrapper] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenWrapper.class]] [checking org.overture.typechecker.utilities.ComposeTypeCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ComposeTypeCollector.class]] [checking org.overture.typechecker.utilities.type.PTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeFinder.class]] [checking org.overture.typechecker.visitor.TypeCheckerStmVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBindBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStmBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexStringToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PAlternativeStmBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PClauseBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PClause.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCaseBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexBooleanToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmtAlternativeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignatorBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerStmVisitor.class]] [checking org.overture.typechecker.utilities.type.RecordBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/RecordBasisChecker.class]] [checking org.overture.typechecker.utilities.ValueDefinitionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ValueDefinitionChecker.class]] [checking org.overture.typechecker.utilities.type.IsEqVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/IsEqVisitor.class]] [checking org.overture.typechecker.visitor.QualificationVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/QualificationVisitor.class]] [checking org.overture.typechecker.utilities.expression.ExportDefinitionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ExportDefinitionFinder.class]] [checking org.overture.typechecker.utilities.type.SetTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SetTypeFinder.class]] [checking org.overture.typechecker.utilities.pattern.MultipleBindLister] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBindBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/MultipleBindLister.class]] [checking org.overture.typechecker.visitor.TypeCheckVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckVisitor.class]] [checking org.overture.typechecker.utilities.type.ProductBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductBasisChecker.class]] [checking org.overture.typechecker.utilities.type.ClassBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ClassBasisChecker.class]] [checking org.overture.typechecker.util.LexNameTokenMap] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiFunction.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Function.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiConsumer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenMap.class]] [checking org.overture.typechecker.FlatEnvironment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/FlatEnvironment.class]] [checking org.overture.typechecker.utilities.type.ClassTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ClassTypeFinder.class]] [checking org.overture.typechecker.utilities.ExitTypeCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ExitTypeCollector.class]] [checking org.overture.typechecker.utilities.FreeVariablesChecker] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifierBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExp.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FreeVariablesChecker.class]] [checking org.overture.typechecker.utilities.pattern.PossibleBindTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PossibleBindTypeFinder.class]] [checking org.overture.typechecker.utilities.type.TagBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TagBasisChecker.class]] [checking org.overture.typechecker.utilities.type.FunctionTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/FunctionTypeFinder.class]] [checking org.overture.typechecker.utilities.UpdatableChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UpdatableChecker.class]] [checking org.overture.typechecker.utilities.type.ProductTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductTypeFinder.class]] [checking org.overture.typechecker.util.HackLexNameToken] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/HackLexNameToken.class]] [checking org.overture.typechecker.utilities.DefinitionCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionCollector.class]] [checking org.overture.typechecker.utilities.pattern.PossibleTypeFinder] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIntegerToken.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PossibleTypeFinder.class]] [checking org.overture.typechecker.utilities.type.TypeUnresolver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeUnresolver.class]] [checking org.overture.typechecker.utilities.Dereferer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/Dereferer.class]] [checking org.overture.typechecker.utilities.UsedChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UsedChecker.class]] [checking org.overture.typechecker.utilities.type.PTypeExtendedChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeExtendedChecker.class]] [checking org.overture.typechecker.visitor.TypeCheckerPatternVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerPatternVisitor.class]] [checking org.overture.typechecker.visitor.TypeCheckerOthersVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignatorBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerOthersVisitor.class]] [checking org.overture.typechecker.utilities.expression.ExportDefinitionListFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ExportDefinitionListFinder.class]] [checking org.overture.typechecker.utilities.TypeDefinitionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/TypeDefinitionChecker.class]] [checking org.overture.typechecker.utilities.pattern.AlwaysMatchingPatternChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AlwaysMatchingPatternChecker.class]] [checking org.overture.typechecker.PrivateClassEnvironment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/PrivateClassEnvironment.class]] [checking org.overture.typechecker.utilities.type.OperationBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/OperationBasisChecker.class]] [checking org.overture.typechecker.utilities.type.IsOrderedVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/IsOrderedVisitor.class]] [checking org.overture.typechecker.ModuleTypeChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ModuleTypeChecker.class]] [checking org.overture.typechecker.utilities.OperationChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/OperationChecker.class]] [checking org.overture.typechecker.utilities.KindFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/KindFinder.class]] [checking org.overture.typechecker.utilities.type.MapBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MapBasisChecker.class]] [checking org.overture.typechecker.utilities.type.OperationTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/OperationTypeFinder.class]] [checking org.overture.typechecker.utilities.CallableOperationChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/CallableOperationChecker.class]] [checking org.overture.typechecker.utilities.type.ProductExtendedTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductExtendedTypeFinder.class]] [checking org.overture.typechecker.utilities.type.SetBasisChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SetBasisChecker.class]] [checking org.overture.typechecker.assistant.TypeCheckerAssistantFactory] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.class]] [checking org.overture.typechecker.utilities.type.MultipleEqualityChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MultipleEqualityChecker$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MultipleEqualityChecker.class]] [checking org.overture.typechecker.util.TypeCheckerUtil] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$ExpressionTypeChecker.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil.class]] [checking org.overture.typechecker.utilities.UnusedChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UnusedChecker.class]] [checking org.overture.typechecker.utilities.ImplicitDefinitionFinder] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ImplicitDefinitionFinder.class]] [checking org.overture.ast.factory.AstFactoryTC] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/SyntaxReader.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/ast/factory/AstFactoryTC.class]] [checking org.overture.typechecker.PublicClassEnvironment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/PublicClassEnvironment.class]] [checking org.overture.typechecker.visitor.TypeCheckerDefinitionVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTermBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTerm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinitionBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.class]] [checking org.overture.typechecker.utilities.type.RecordTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/RecordTypeFinder.class]] [checking org.overture.typechecker.FlatCheckedEnvironment] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/FlatCheckedEnvironment.class]] [checking org.overture.typechecker.visitor.TypeCheckerImportsVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImportBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.class]] [checking org.overture.typechecker.utilities.expression.ImportDefinitionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.class]] [checking org.overture.typechecker.visitor.TypeCheckerExpVisitor] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Math.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternativeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternative.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerExpVisitor.class]] [checking org.overture.typechecker.utilities.type.MapTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MapTypeFinder.class]] [checking org.overture.typechecker.utilities.type.UnionTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/UnionTypeFinder.class]] [total 1440ms] [INFO] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Some input files use unchecked or unsafe operations. [INFO] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2043 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/AbstractExternalTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ModulesSlTypeCheckTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/framework/CommonTypeCheckerTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/TestSourceFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalModulesSlTypeCheckTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/framework/TypeCheckTestCase.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/OvertureTestHelper.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalClassesRtTypeCheckTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/TypeSetAnalysis.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalClassesPpTypeCheckTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ClassesPpTypeCheckTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ClassesRtTypeCheckTest.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/generated-test-sources/test-annotations] [search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,.] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Result.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InstantiationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IMessage.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Message.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Method.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/DepthFirstAnalysisAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class)]] [checking org.overture.typechecker.tests.external.AbstractExternalTest] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IResultCombiner.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]] [checking org.overture.typechecker.tests.framework.CommonTypeCheckerTest] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]] [checking org.overture.typechecker.tests.framework.TypeCheckTestCase] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchFieldError.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/AbstractExternalTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/CommonTypeCheckerTest$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/CommonTypeCheckerTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/TypeCheckTestCase.class]] [checking org.overture.typechecker.tests.ModulesSlTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ModulesSlTypeCheckTest.class]] [checking org.overture.typechecker.tests.utils.TestSourceFinder] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/TestSourceFinder.class]] [checking org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalModulesSlTypeCheckTest.class]] [checking org.overture.typechecker.tests.utils.OvertureTestHelper] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil$ParserResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/OvertureTestHelper.class]] [checking org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalClassesRtTypeCheckTest.class]] [checking org.overture.typechecker.tests.utils.TypeSetAnalysis] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/TypeSetAnalysis.class]] [checking org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalClassesPpTypeCheckTest.class]] [checking org.overture.typechecker.tests.ClassesPpTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ClassesPpTypeCheckTest.class]] [checking org.overture.typechecker.tests.ClassesRtTypeCheckTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ClassesRtTypeCheckTest.class]] [total 72ms] [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest Tests run: 74, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.992 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.974 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest Tests run: 1216, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.413 sec - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest Running org.overture.typechecker.tests.ClassesRtTypeCheckTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.498 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest Running org.overture.typechecker.tests.ClassesPpTypeCheckTest Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.037 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest Running org.overture.typechecker.tests.ModulesSlTypeCheckTest Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.605 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest Results : Tests run: 1906, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker --- [INFO] Analyzed bundle 'The VDM Type Checker' with 146 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker --- [INFO] 82 warnings [WARNING] Javadoc Warnings [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:93: warning: no @param for defs [WARNING] protected void cyclicDependencyCheck(List defs) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @param for type [WARNING] public static boolean isOpaque(SInvariantType type, String fromModule) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @param for fromModule [WARNING] public static boolean isOpaque(SInvariantType type, String fromModule) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @return [WARNING] public static boolean isOpaque(SInvariantType type, String fromModule) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:51: warning: no description for @param [WARNING] * @param classes [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:63: warning: no description for @param [WARNING] * @param classes [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:64: warning: no description for @param [WARNING] * @param factory [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:70: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:82: warning: no @param for scope [WARNING] protected void dupHideCheck(List list, NameScope scope) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:170: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:171: warning: no description for @param [WARNING] * @param scope [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:172: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:179: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:180: warning: no description for @param [WARNING] * @param fromModule [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:181: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:188: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:195: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:212: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:219: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:226: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:227: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:240: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:256: warning: no description for @param [WARNING] * @param downTo [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:57: warning: no description for @param [WARNING] * @param af [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:58: warning: no description for @param [WARNING] * @param outer [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:61: warning: no description for @param [WARNING] * @param modules [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param [WARNING] * @param [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:77: warning: no description for @param [WARNING] * @param key [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:78: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param [WARNING] * @param [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:98: warning: no description for @param [WARNING] * @param key [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:99: warning: no description for @param [WARNING] * @param value [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param [WARNING] * @param [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:119: warning: no description for @param [WARNING] * @param key [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:149: warning: no description for @param [WARNING] * @param to [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:150: warning: no description for @param [WARNING] * @param from [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:170: warning: no description for @param [WARNING] * @param to [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:171: warning: no description for @param [WARNING] * @param from [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:559: warning: no description for @param [WARNING] * @param sub [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:560: warning: no description for @param [WARNING] * @param sup [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:961: warning: no description for @param [WARNING] * @param type [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:962: warning: no description for @param [WARNING] * @param env [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:963: warning: no description for @param [WARNING] * @param newTypes [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:964: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1049: warning: no description for @param [WARNING] * @param a [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1050: warning: no description for @param [WARNING] * @param b [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1051: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @param for t1 [WARNING] public synchronized List narrowest(List t1, List t2) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @param for t2 [WARNING] public synchronized List narrowest(List t1, List t2) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @return [WARNING] public synchronized List narrowest(List t1, List t2) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:396: warning: no description for @param [WARNING] * @param d [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:397: warning: no description for @param [WARNING] * @param defs [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:398: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java:52: warning: no description for @param [WARNING] * @param m [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:56: warning: no description for @param [WARNING] * @param rp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:57: warning: no description for @param [WARNING] * @param ptype [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:58: warning: no description for @param [WARNING] * @param scope [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:59: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @param for def [WARNING] public boolean isConstructor(PDefinition def) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @return [WARNING] public boolean isConstructor(PDefinition def) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @param for env [WARNING] public boolean inConstructor(Environment env) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @return [WARNING] public boolean inConstructor(Environment env) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:185: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:186: warning: no description for @param [WARNING] * @param localDefs [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:187: warning: no description for @param [WARNING] * @param body [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:188: warning: no description for @param [WARNING] * @param question [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:189: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:190: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:235: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:236: warning: no description for @param [WARNING] * @param nodeLocation [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:237: warning: no description for @param [WARNING] * @param bind [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:238: warning: no description for @param [WARNING] * @param suchThat [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:239: warning: no description for @param [WARNING] * @param body [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:240: warning: no description for @param [WARNING] * @param question [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:242: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2976: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2998: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3667: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3668: warning: no description for @param [WARNING] * @param measure [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3669: warning: no description for @param [WARNING] * @param close [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3670: warning: no description for @return [WARNING] * @return [WARNING] ^ [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT-javadoc.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker --- [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT-javadoc.jar