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.0
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] <b class=maven-mojo>--- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
</b>[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
</b>[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-master/.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-master/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] <b class=maven-mojo>--- maven-resources-plugin:2.7:resources (default-resources) @ typechecker ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/resources
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 138 source files to /var/lib/jenkins/workspace/overture-master/core/typechecker/target/classes
[INFO] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] <b class=maven-mojo>--- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-master/core/typechecker/target/test-classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---
</b>
-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.071 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 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: 2.533 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.675 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.19 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest

Results :

Tests run: 131, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jar-plugin:2.6:jar (default-jar) @ typechecker ---
</b>[INFO] Building jar: /var/lib/jenkins/workspace/overture-master/core/typechecker/target/typechecker-3.0.0.jar
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
</b>[INFO] Analyzed bundle 'The VDM Type Checker' with 152 classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
</b>[INFO] 
90 warnings
<span class=warning-inline>[WARNING] Javadoc Warnings
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:93: warning: no @param for defs
</span><span class=warning-inline>[WARNING] protected void cyclicDependencyCheck(List&lt;PDefinition&gt; defs)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for type
</span><span class=warning-inline>[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for fromModule
</span><span class=warning-inline>[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @return
</span><span class=warning-inline>[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:54: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param classes
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:66: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param classes
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:67: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param factory
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:70: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:82: warning: no @param for scope
</span><span class=warning-inline>[WARNING] protected void dupHideCheck(List&lt;PDefinition&gt; list, NameScope scope)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:170: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param name
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:171: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param scope
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:172: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:179: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param name
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:180: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param fromModule
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:181: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:188: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:195: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:212: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:219: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:226: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param name
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:227: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:240: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param name
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:256: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param downTo
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:57: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param af
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:58: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param outer
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:64: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param modules
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param &lt;T&gt;
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:77: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param key
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:78: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param &lt;T&gt;
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:98: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param key
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:99: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param value
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param &lt;T&gt;
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:119: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param key
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:151: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param to
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:152: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param from
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:172: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param to
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:173: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param from
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:588: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param sub
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:589: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param sup
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:990: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param type
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:991: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param env
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:992: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param newTypes
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:993: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1078: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param a
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1079: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param b
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1080: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t1
</span><span class=warning-inline>[WARNING] public synchronized List&lt;PType&gt; narrowest(List&lt;PType&gt; t1, List&lt;PType&gt; t2)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t2
</span><span class=warning-inline>[WARNING] public synchronized List&lt;PType&gt; narrowest(List&lt;PType&gt; t1, List&lt;PType&gt; t2)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @return
</span><span class=warning-inline>[WARNING] public synchronized List&lt;PType&gt; narrowest(List&lt;PType&gt; t1, List&lt;PType&gt; t2)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:396: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param d
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:397: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param defs
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:398: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java:52: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param m
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:56: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param rp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:57: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ptype
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:58: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param scope
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:59: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @param for def
</span><span class=warning-inline>[WARNING] public boolean isConstructor(PDefinition def)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @return
</span><span class=warning-inline>[WARNING] public boolean isConstructor(PDefinition def)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @param for env
</span><span class=warning-inline>[WARNING] public boolean inConstructor(Environment env)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @return
</span><span class=warning-inline>[WARNING] public boolean inConstructor(Environment env)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:190: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param node
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:191: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param localDefs
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:192: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param body
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:193: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param question
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:194: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:195: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:240: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param node
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:241: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param nodeLocation
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:242: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param bind
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:243: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param suchThat
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:244: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param body
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:245: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param question
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:247: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:310: warning: no @param for annotations
</span><span class=warning-inline>[WARNING] protected void beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:310: warning: no @param for node
</span><span class=warning-inline>[WARNING] protected void beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:310: warning: no @param for question
</span><span class=warning-inline>[WARNING] protected void beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:310: warning: no @throws for org.overture.ast.analysis.AnalysisException
</span><span class=warning-inline>[WARNING] protected void beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:356: warning: no @param for annotations
</span><span class=warning-inline>[WARNING] protected void afterAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:356: warning: no @param for node
</span><span class=warning-inline>[WARNING] protected void afterAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:356: warning: no @param for question
</span><span class=warning-inline>[WARNING] protected void afterAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:356: warning: no @throws for org.overture.ast.analysis.AnalysisException
</span><span class=warning-inline>[WARNING] protected void afterAnnotations(List&lt;PAnnotation&gt; annotations, INode node, TypeCheckInfo question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2947: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2969: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3690: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param node
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3691: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param measure
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3692: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param close
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-master/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3693: warning: no description for @return
</span><span class=warning-inline>[WARNING] * @return
</span><span class=warning-inline>[WARNING] ^
</span>[INFO] Building jar: /var/lib/jenkins/workspace/overture-master/core/typechecker/target/typechecker-3.0.0-javadoc.jar
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jarsigner-plugin:1.2:sign (sign) @ typechecker ---
</b>[INFO] Disabled
[INFO] 
[INFO] <b class=maven-mojo>--- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
</b>[INFO] Installing /var/lib/jenkins/workspace/overture-master/core/typechecker/target/typechecker-3.0.0.jar to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/typechecker/3.0.0/typechecker-3.0.0.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-master/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/typechecker/3.0.0/typechecker-3.0.0.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-master/core/typechecker/target/typechecker-3.0.0-javadoc.jar to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/typechecker/3.0.0/typechecker-3.0.0-javadoc.jar