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 Interpreter 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] <b class=maven-mojo>--- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter ---
</b>[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/interpreter' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 310 files to scan for tasks
Found 86 open tasks.
[TASKS] Computing warning deltas based on reference build #282
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter ---
</b>[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/interpreter/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) @ interpreter ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 287 source files to /var/lib/jenkins/workspace/overture-development/core/interpreter/target/classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1998 resources
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 21 source files to /var/lib/jenkins/workspace/overture-development/core/interpreter/target/test-classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter ---
</b>
-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.interpreter.tests.RepeatTraceNodeTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.388 sec - in org.overture.interpreter.tests.RepeatTraceNodeTest
Running org.overture.interpreter.tests.RandomListTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.interpreter.tests.RandomListTests
Running org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.598 sec - in org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Running org.overture.interpreter.tests.newtests.ClassesRtTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.361 sec - in org.overture.interpreter.tests.newtests.ClassesRtTest
Running org.overture.interpreter.tests.newtests.BugRegressionTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.095 sec - in org.overture.interpreter.tests.newtests.BugRegressionTest
Running org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Running org.overture.interpreter.tests.newtests.ModulesSlTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.072 sec - in org.overture.interpreter.tests.newtests.ModulesSlTest
Running org.overture.interpreter.tests.newtests.ClassesRtClassicTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.578 sec - in org.overture.interpreter.tests.newtests.ClassesRtClassicTest
Running org.overture.interpreter.tests.newtests.ClassesPpTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.299 sec - in org.overture.interpreter.tests.newtests.ClassesPpTest
Running org.overture.interpreter.tests.stdlibs.CsvParserTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.341 sec - in org.overture.interpreter.tests.stdlibs.CsvParserTest
Running org.overture.interpreter.tests.external.ExternalModulesSlTest
Tests run: 437, Failures: 0, Errors: 0, Skipped: 30, Time elapsed: 15.08 sec - in org.overture.interpreter.tests.external.ExternalModulesSlTest
Running org.overture.interpreter.tests.external.ExternalClassesRtTest
Tests run: 75, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 7.059 sec - in org.overture.interpreter.tests.external.ExternalClassesRtTest
Running org.overture.interpreter.tests.external.ExternalClassesPpTest
Tests run: 397, Failures: 0, Errors: 0, Skipped: 135, Time elapsed: 4.457 sec - in org.overture.interpreter.tests.external.ExternalClassesPpTest

Results :

Tests run: 977, Failures: 0, Errors: 0, Skipped: 183

[JENKINS] Recording test results
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jar-plugin:2.6:jar (default-jar) @ interpreter ---
</b>[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ interpreter ---
</b>[INFO] Analyzed bundle 'The VDM Interpreter' with 327 classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ interpreter ---
</b>[INFO] 
100 warnings
<span class=warning-inline>[WARNING] Javadoc Warnings
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/CSV.java:52: 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-development/core/interpreter/src/main/java/IO.java:129: 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-development/core/interpreter/src/main/java/org/overture/interpreter/VDMJ.java:500: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java:117: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws ValueException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.java:30: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param exp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.java:50: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param exp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/PDefinitionAssistantInterpreter.java:62: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param def
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java:144: 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-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java:145: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param initialContext
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.java:82: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param pattern
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.java:98: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param pattern
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:249: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:250: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param val
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:251: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:252: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:253: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:698: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:699: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ifLocation
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:700: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param testExp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:701: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param thenNode
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:702: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param elseIfNodeList
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:703: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param elseNode
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:704: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:705: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:706: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:746: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:747: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param location
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:748: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param test
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:749: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param then
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:750: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:751: 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-development/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:752: 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-development/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:45: 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-development/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:46: 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-development/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:55: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param target
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:56: 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-development/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:55: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param on
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:70: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param message
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:92: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws FileNotFoundException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:112: 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-development/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:122: 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-development/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:55: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param result
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:56: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param test
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:57: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param n
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:102: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param other
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:21: 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-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:22: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param impldef
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:23: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param stateExps
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:24: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param argExps
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:25: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param out
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:26: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param err
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:27: 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-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:28: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:40: 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-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:41: 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-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:42: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param result
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:43: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param stateExps
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:44: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param argExps
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:45: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param out
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:46: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param err
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:47: 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-development/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:48: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:120: 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-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:162: 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-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:281: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws ValueException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:282: 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-development/core/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java:109: warning: no @return
</span><span class=warning-inline>[WARNING] public List&lt;Map&lt;Value, Value&gt;&gt; permutedMaps()
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:146: 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-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:631: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @param for line
</span><span class=warning-inline>[WARNING] protected boolean doCreate(String line) throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @return
</span><span class=warning-inline>[WARNING] protected boolean doCreate(String line) throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:639: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @param for line
</span><span class=warning-inline>[WARNING] protected boolean doDefault(String line) throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @return
</span><span class=warning-inline>[WARNING] protected boolean doDefault(String line) throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1313: warning: no @param for line
</span><span class=warning-inline>[WARNING] protected boolean notAvailable(String line)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1313: warning: no @return
</span><span class=warning-inline>[WARNING] protected boolean notAvailable(String line)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:223: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:250: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:251: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:262: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param ctxt
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:263: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:86: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws ParserException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:87: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws LexException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:106: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param dbgp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:137: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:150: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:276: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:277: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:127: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:137: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:148: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:156: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:158: warning: no @param for module
</span><span class=warning-inline>[WARNING] abstract public Environment getGlobalEnvironment(String module);
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:191: warning: no description for @throws
</span><span class=warning-inline>[WARNING] * @throws Exception
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:201: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param dbgp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:210: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param dbgp
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:288: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param src
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:289: 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-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:300: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param file
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:301: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param line
</span><span class=warning-inline>[WARNING] ^
</span>[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jarsigner-plugin:1.2:sign (sign) @ interpreter ---
</b>[INFO] Disabled
[INFO] 
[INFO] <b class=maven-mojo>--- maven-install-plugin:2.5.2:install (default-install) @ interpreter ---
</b>[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/interpreter/target/interpreter-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT-javadoc.jar