Console Output

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 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/typechecker' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 150 files to scan for tasks
Found 61 open tasks.
[TASKS] Computing warning deltas based on reference build #279
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/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-development/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 138 source files to /var/lib/jenkins/workspace/overture-development/core/typechecker/target/classes
[INFO] /var/lib/jenkins/workspace/overture-development/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-development/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-development/core/typechecker/target/test-classes
[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.454 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.473 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: 3.888 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: 0.436 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.816 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.675 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-development/core/typechecker/target/typechecker-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
[INFO] Analyzed bundle 'The VDM Type Checker' with 152 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
[INFO] 
92 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:93: warning: no @param for defs
[WARNING] protected void cyclicDependencyCheck(List<PDefinition> defs)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for type
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for fromModule
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @return
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:54: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:66: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:67: warning: no description for @param
[WARNING] * @param factory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:73: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:85: warning: no @param for scope
[WARNING] protected void dupHideCheck(List<PDefinition> list, NameScope scope)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:192: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:193: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:194: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:201: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @param
[WARNING] * @param fromModule
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:203: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:210: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:217: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:224: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:234: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:241: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:248: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:249: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:262: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:278: warning: no description for @param
[WARNING] * @param downTo
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:60: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:61: warning: no description for @param
[WARNING] * @param outer
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:64: warning: no description for @param
[WARNING] * @param modules
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/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-development/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-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/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-development/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-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/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-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:151: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:152: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:172: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:173: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:588: warning: no description for @param
[WARNING] * @param sub
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:589: warning: no description for @param
[WARNING] * @param sup
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:990: warning: no description for @param
[WARNING] * @param type
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:991: warning: no description for @param
[WARNING] * @param env
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:992: warning: no description for @param
[WARNING] * @param newTypes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:993: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1078: warning: no description for @param
[WARNING] * @param a
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1079: warning: no description for @param
[WARNING] * @param b
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1080: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t1
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t2
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @return
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/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-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:192: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:193: warning: no description for @param
[WARNING] * @param localDefs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:194: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:195: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:196: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:197: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:199: warning: no @param for statement
[WARNING] protected PType typeCheckLet(INode node, LinkedList<PDefinition> localDefs,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:255: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:256: warning: no description for @param
[WARNING] * @param nodeLocation
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:257: warning: no description for @param
[WARNING] * @param bind
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:258: warning: no description for @param
[WARNING] * @param suchThat
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:259: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:260: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:262: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:264: warning: no @param for statement
[WARNING] protected Map.Entry<PType, AMultiBindListDefinition> typecheckLetBeSt(
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for annotations
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for node
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for question
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for annotations
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for node
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for question
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3002: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3024: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3745: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3746: warning: no description for @param
[WARNING] * @param measure
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3747: warning: no description for @param
[WARNING] * @param close
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3748: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ typechecker ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT-javadoc.jar