[Jenkins]Jenkins

SuccessChanges

Summary

  1. Changes message on project settings (details)
  2. Adds strict checking to the parser/tc settings (details)
  3. Fixes a bug preventing the display of warnings (details)
  4. Use re-stated types in definition imports (see #760) (details)
Commit db9f31e916d08acf1fe53758b600a4a238f65762 by idhugoid
Changes message on project settings
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.
The file was modifiedide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launching/VdmSlMainLaunchConfigurationTab.java (diff)
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/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
The file was modifiedide/core/src/main/java/org/overture/ide/core/parser/AbstractParserParticipant.java (diff)
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle
Use re-stated types in definition imports (see #760)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java (diff)