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 parser 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/parser' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 49 files to scan for tasks
Found 2 open tasks.
[TASKS] Computing warning deltas based on reference build #286
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser ---
[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/parser/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) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/parser/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 32 source files to /var/lib/jenkins/workspace/overture-development/core/parser/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 388 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 17 source files to /var/lib/jenkins/workspace/overture-development/core/parser/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.parser.tests.SpecificationSlTestSuite
Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.51 sec - in org.overture.parser.tests.SpecificationSlTestSuite
Running org.overture.parser.tests.PatternTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.PatternTestSuite
Running org.overture.parser.tests.ExpressionTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.ExpressionTestSuite
Running org.overture.parser.tests.StatementTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.parser.tests.StatementTestSuite
Running org.overture.parser.tests.SpecificationRtTestSuite
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.936 sec - in org.overture.parser.tests.SpecificationRtTestSuite
Running org.overture.parser.tests.SpecificationPpTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec - in org.overture.parser.tests.SpecificationPpTestSuite
Running org.overture.parser.tests.TypeTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.TypeTestSuite
Running org.overture.parser.tests.DefinitionTestSuite
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec - in org.overture.parser.tests.DefinitionTestSuite
Results :
Tests run: 56, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ parser ---
[INFO] Analyzed bundle 'The VDM parser' with 43 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ parser ---
[INFO]
56 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:202: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:203: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:204: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:205: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:292: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:76: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:251: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:110: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:111: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:141: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:142: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:143: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:144: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:652: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:1219: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:223: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:224: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:225: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:240: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:241: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:242: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:243: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:244: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:259: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:260: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:261: warning: no description for @param
[WARNING] * @param location
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for content
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for location
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for reader
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:118: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken nextToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:130: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken lastToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:140: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:154: warning: no description for @param
[WARNING] * @param module
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:191: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:194: warning: no @throws for org.overture.parser.syntax.ParserException
[WARNING] protected LexIdentifierToken lastIdToken() throws ParserException,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:220: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:221: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:261: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:262: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:310: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:311: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:532: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:533: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:554: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:576: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:577: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:595: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:610: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:613: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected void throwMessage(int number, String message, int depth)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for no
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for msg
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for location
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:757: warning: no description for @param
[WARNING] * @param out
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for reader
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for annotations
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:100: warning: no @param for reader
[WARNING] protected SyntaxReader(LexTokenReader reader)
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.3-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ parser ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ parser ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.3-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT-javadoc.jar
![[Jenkins]](/jenkins/static/d9ee5665/images/jenkins-header-logo-v2.svg){kind=logo}
