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 Interpreter 3.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter ---
[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 #273
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter ---
[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] --- maven-resources-plugin:2.7:resources (default-resources) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 287 source files to /var/lib/jenkins/workspace/overture-development/core/interpreter/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1998 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter ---
[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] --- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.interpreter.tests.RepeatTraceNodeTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.225 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.003 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: 4.457 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.116 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.026 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: 2.405 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: 0.71 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: 0.631 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.029 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: 3.985 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: 2.01 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: 1.248 sec - in org.overture.interpreter.tests.external.ExternalClassesPpTest

Results :

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

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