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.

ide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmPp.java

@@ -59,6 +59,7 @@ protected ParseResult startParseFile(IVdmSourceUnit file, String source,
 		try
 		{
 			Settings.release = file.getProject().getLanguageVersion();
+ 			Settings.strict = file.getProject().hasUseStrictLetDef();
 		} catch (CoreException e1)
 		{
 			if (Activator.DEBUG)

ide/parsers/vdmj/src/main/java/org/overture/ide/parsers/vdmj/SourceParserVdmSl.java

@@ -52,6 +52,7 @@ protected ParseResult startParse(IVdmSourceUnit file, String source,
 		try
 		{
 			Settings.release = file.getProject().getLanguageVersion();
+ 			Settings.strict = file.getProject().hasUseStrictLetDef();
 		} catch (CoreException e1)
 		{
 			if (Activator.DEBUG)

ide/vdmpp/debug/src/main/java/org/overture/ide/vdmpp/debug/ui/launching/VdmPpMainLaunchConfigurationTab.java

@@ -66,6 +66,7 @@ protected boolean validateTypes(IVdmProject project, String expression)
 		{
 			Settings.dialect = Dialect.VDM_PP;
 			Settings.release = project.getLanguageVersion();
+ 			Settings.strict = project.hasUseStrictLetDef();
 			Console.charset = getProject().getDefaultCharset();
 			IVdmModel model = project.getModel();
 			if (!model.isTypeCorrect())

ide/vdmrt/debug/src/main/java/org/overture/ide/vdmrt/debug/ui/launching/VdmRtMainLaunchConfigurationTab.java

@@ -66,6 +66,7 @@ protected boolean validateTypes(IVdmProject project, String expression)
 		{
 			Settings.dialect = Dialect.VDM_RT;
 			Settings.release = project.getLanguageVersion();
+ 			Settings.strict = project.hasUseStrictLetDef();
 			Console.charset = getProject().getDefaultCharset();
 			IVdmModel model = project.getModel();
 			if (!model.isTypeCorrect())

ide/vdmsl/debug/src/main/java/org/overture/ide/vdmsl/debug/ui/launching/VdmSlMainLaunchConfigurationTab.java

@@ -62,6 +62,7 @@ protected boolean validateTypes(IVdmProject project, String expression)
 		{
 			Settings.dialect = Dialect.VDM_SL;
 			Settings.release = project.getLanguageVersion();
+ 			Settings.strict = project.hasUseStrictLetDef();
 			Console.charset = getProject().getDefaultCharset();
 			IVdmModel model = project.getModel();
 			if (!model.isTypeCorrect())