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 Proof Obligation Generator 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] <b class=maven-mojo>--- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ pog ---
</b>[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/pog' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 105 files to scan for tasks
Found 6 open tasks.
[TASKS] Computing warning deltas based on reference build #289
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ pog ---
</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/pog/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>--- astcreator-plugin:1.6.10:generate (generate-ast) @ pog ---
</b>[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core:ast"
[INFO] 	Searching for base dependency artifact
[INFO] 	Extension base artifact found - exstracting base tree definition files
[INFO] 	Setting base definition files to:
[INFO] 		base: /var/lib/jenkins/workspace/overture-development/core/pog/target/overtureII.astv2
[INFO] 		base tostring: /var/lib/jenkins/workspace/overture-development/core/pog/target/overtureII.astv2.tostring
[INFO] 	Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-development/core/pog/target/overtureII.astv2
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-development/core/pog/src/main/resources/pof.ast
Generating base and extension tree, standby ... 
Extension tree only: true
Adding aspect fields: PExpBase.{type,location,comments}
Adding aspect fields: SUnaryExpBase.{exp}
Adding aspect fields: SBinaryExpBase.{left,op,right}
Adding aspect fields: SSetExpBase.{setType}
Adding aspect fields: PTypeBase.{location,resolved,definitions}
Adding aspect fields: SSeqTypeBase.{seqof,empty}
Adding aspect fields: SSetTypeBase.{setof,empty,infinite}
Adding aspect fields: SMapTypeBase.{from,to,empty}
Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef}
Adding aspect fields: PPatternBase.{location,definitions,resolved}
Adding aspect fields: PPairBase.{resolved}
Adding aspect fields: PBindBase.{location,pattern}
Adding aspect fields: PMultipleBindBase.{location,plist}
Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations}
Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult}
Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor,possibleExceptions}
Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef}
Adding aspect fields: PTraceDefinitionBase.{location}
Adding aspect fields: PTraceCoreDefinitionBase.{location}
Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant}
Adding aspect fields: PImportBase.{location,name,renamed,from}
Adding aspect fields: SValueImportBase.{importType}
Adding aspect fields: PExportBase.{location,definition}
Adding aspect fields: PStmBase.{location,type,comments}
Adding aspect fields: SSimpleBlockStmBase.{statements}
Adding aspect fields: PStateDesignatorBase.{location,type}
Adding aspect fields: PObjectDesignatorBase.{location}
Adding aspect fields: PAnnotationBase.{name,args,impl}
Done creating interfaces
WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType"
WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType"
Generating toString add on...
Done creating interfaces
Generating toString add on...
***********************************************
AST Creator Extensions
***********************************************
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Writing sources to the file system, standby ... 
Destination: /var/lib/jenkins/workspace/overture-development/core/pog/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
............
File write completed in 0 secs
Created AST with extensions.
[INFO] 
[INFO] <b class=maven-mojo>--- build-helper-maven-plugin:1.10:add-source (add-source) @ pog ---
</b>[INFO] Source directory: /var/lib/jenkins/workspace/overture-development/core/pog/target/generated-sources/astCreator added.
[INFO] 
[INFO] <b class=maven-mojo>--- maven-resources-plugin:2.7:resources (default-resources) @ pog ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:compile (default-compile) @ pog ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 105 source files to /var/lib/jenkins/workspace/overture-development/core/pog/target/classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-resources-plugin:2.7:testResources (default-testResources) @ pog ---
</b>[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 329 resources
[INFO] 
[INFO] <b class=maven-mojo>--- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog ---
</b>[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-development/core/pog/target/test-classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-surefire-plugin:2.19.1:test (default-test) @ pog ---
</b>
-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.pog.tests.VariableSubTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.301 sec - in org.overture.pog.tests.VariableSubTest
Running org.overture.pog.tests.newtests.PogBasicTest
Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.822 sec - in org.overture.pog.tests.newtests.PogBasicTest
Running org.overture.pog.tests.newtests.PogBugRegressionTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.105 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest
Running org.overture.pog.tests.newtests.PogTypeIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.1 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest
Running org.overture.pog.tests.newtests.VarDefIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.026 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest
Running org.overture.pog.tests.newtests.PogIntegrationTest
Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.455 sec - in org.overture.pog.tests.newtests.PogIntegrationTest

Results :

Tests run: 195, Failures: 0, Errors: 0, Skipped: 84

[JENKINS] Recording test results
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jar-plugin:2.6:jar (default-jar) @ pog ---
</b>[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/pog/target/pog-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog ---
</b>[INFO] Analyzed bundle 'The Proof Obligation Generator' with 91 classes
[INFO] 
[INFO] <b class=maven-mojo>--- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog ---
</b>[INFO] 
100 warnings
<span class=warning-inline>[WARNING] Javadoc Warnings
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:46: 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/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.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/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:48: 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/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:68: 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/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:69: 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/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:70: 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/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for node
</span><span class=warning-inline>[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for exps
</span><span class=warning-inline>[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @return
</span><span class=warning-inline>[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternType
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternNames
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @return
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for setExp
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for patternNames
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @return
</span><span class=warning-inline>[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternType
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleTypeBindList(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternNames
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleTypeBindList(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @return
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleTypeBindList(PType patternType,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for setExp
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleSetBindList(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for patternNames
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleSetBindList(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @return
</span><span class=warning-inline>[WARNING] protected List&lt;PMultipleBind&gt; getMultipleSetBindList(PExp setExp,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @param for name
</span><span class=warning-inline>[WARNING] protected ILexNameToken getUnique(String name)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @return
</span><span class=warning-inline>[WARNING] protected ILexNameToken getUnique(String name)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for left
</span><span class=warning-inline>[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for right
</span><span class=warning-inline>[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @return
</span><span class=warning-inline>[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @param for name
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @return
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for name
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for type
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @return
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for name
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for vardef
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @return
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:374: 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/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for name
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for vardef
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for type
</span><span class=warning-inline>[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for root
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for arglist
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @return
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for root
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, List&lt;PExp&gt; arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for arglist
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, List&lt;PExp&gt; arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @return
</span><span class=warning-inline>[WARNING] protected AApplyExp getApplyExp(PExp root, List&lt;PExp&gt; arglist)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @param for i
</span><span class=warning-inline>[WARNING] protected AIntLiteralExp getIntLiteral(long i)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @return
</span><span class=warning-inline>[WARNING] protected AIntLiteralExp getIntLiteral(long i)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for root
</span><span class=warning-inline>[WARNING] protected PExp makeAnd(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for e
</span><span class=warning-inline>[WARNING] protected PExp makeAnd(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @return
</span><span class=warning-inline>[WARNING] protected PExp makeAnd(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for root
</span><span class=warning-inline>[WARNING] protected PExp makeOr(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for e
</span><span class=warning-inline>[WARNING] protected PExp makeOr(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @return
</span><span class=warning-inline>[WARNING] protected PExp makeOr(PExp root, PExp e)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @param for pattern
</span><span class=warning-inline>[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @return
</span><span class=warning-inline>[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @throws for org.overture.ast.analysis.AnalysisException
</span><span class=warning-inline>[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:57: 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/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:58: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param settype
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:59: 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/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:60: 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-development/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:61: 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/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:42: 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/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:43: 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/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:44: 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-development/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:45: 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/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:107: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param assistantFactory
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:108: 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/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:109: 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/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:197: 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/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:199: warning: no @param for assistantFactory
</span><span class=warning-inline>[WARNING] protected TypeCompatibilityObligation(INode root, ILexLocation loc,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for annotation
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for node
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for question
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @return
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @throws for org.overture.ast.analysis.AnalysisException
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for annotations
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, IPOContextStack question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for node
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, IPOContextStack question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for question
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, IPOContextStack question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @return
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, IPOContextStack question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @throws for org.overture.ast.analysis.AnalysisException
</span><span class=warning-inline>[WARNING] protected IProofObligationList beforeAnnotations(List&lt;PAnnotation&gt; annotations, INode node, IPOContextStack question) throws AnalysisException
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:79: 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/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:80: 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/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:81: 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/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:173: 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/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:174: 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/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:175: 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/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:558: 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/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:559: 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-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:560: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param precond
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:561: 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/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:88: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param parentVisitor
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:71: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param parentVisitor
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:72: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param mainVisitor
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:73: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param assistantFactory
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java:56: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param parentVisitor
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java:82: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param parentVisitor
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:51: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param &lt;Q&gt;
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:52: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param &lt;A&gt;
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:74: warning: no description for @param
</span><span class=warning-inline>[WARNING] * @param assistantFactory
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for pattern
</span><span class=warning-inline>[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
</span><span class=warning-inline>[WARNING] ^
</span><span class=warning-inline>[WARNING] /var/lib/jenkins/workspace/overture-development/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for af
</span><span class=warning-inline>[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
</span><span class=warning-inline>[WARNING] ^
</span>[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/pog/target/pog-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jarsigner-plugin:1.2:sign (sign) @ pog ---
</b>[INFO] Disabled
[INFO] 
[INFO] <b class=maven-mojo>--- maven-install-plugin:2.5.2:install (default-install) @ pog ---
</b>[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/pog/target/pog-3.0.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/pog/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/pog/target/pog-3.0.3-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT-javadoc.jar