[Jenkins]Jenkins

SuccessChanges

Summary

  1. Change warning number for let def impure operations (commit: f762e74) (details)
  2. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
  3. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) (details)
  4. Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
  5. Changes message on project settings (commit: db9f31e) (details)
  6. Adds strict checking to the parser/tc settings (commit: e6f41cf) (details)
  7. Fixes a bug preventing the display of warnings (commit: 90e0da5) (details)
Commit f762e7459b6950e6548f85066bf2fed9cd053efb by nick.battle
Change warning number for let def impure operations
 (commit: f762e74)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
Commit b9ea923a53e1ae8a07db9e46bbb1c0418bd61ba2 by nick.battle
Added warnings for threadid, time and new expressions in function ctxts
 (commit: b9ea923)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
Commit 56b873f09a5e9572e4a372cffeab957c1ebfc650 by nick.battle
Fix FunctionValue comparisons to cope with free variables, fixes #739
 (commit: 56b873f)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java (diff)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java (diff)
The file was modifiedcore/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry (diff)
Commit 90c955fdb8c163988b5f0e01c23064aa10286409 by nick.battle
Added warning for function value comparisons, fixes #739
 (commit: 90c955f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/type/PTypeAssistantTC.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
Commit db9f31e916d08acf1fe53758b600a4a238f65762 by idhugoid
Changes message on project settings
 (commit: db9f31e)
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/property/VdmLanguagePropertyPage.java (diff)
Commit e6f41cfd93061bbea165c52ac4ffd29501877a3e by idhugoid
Adds strict checking to the parser/tc settings

In bca2a6a the strict flag was set only to launches and builds, thus the
flag is not set when the parser/tc is called while typing. This commit
fixes that.
 (commit: e6f41cf)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java (diff)
The file was modifiedide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java (diff)
The file was modifiedide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launching/VdmSlMainLaunchConfigurationTab.java (diff)
The file was modifiedide/vdmpp/debug/src/main/java/org/overture/ide/vdmpp/debug/ui/launching/VdmPpMainLaunchConfigurationTab.java (diff)
The file was modifiedide/vdmrt/debug/src/main/java/org/overture/ide/vdmrt/debug/ui/launching/VdmRtMainLaunchConfigurationTab.java (diff)
Commit 90e0da59b9282fadeb71568c24852d05e93fcad0 by idhugoid
Fixes a bug preventing the display of warnings
 (commit: 90e0da5)
The file was modifiedide/core/src/main/java/org/overture/ide/core/parser/AbstractParserParticipant.java (diff)