Added vdmj.release property to LSPServer

nickbattle · Sep 16, 2024 · a2746aa · a2746aa
1 parent 198c7ca
commit a2746aa
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lsp/src/main/java/lsp/LSPServer.java b/lsp/src/main/java/lsp/LSPServer.java
@@ -30,6 +30,7 @@
 import java.util.HashMap;
 import java.util.Map;
 
+import com.fujitsu.vdmj.Release;
 import com.fujitsu.vdmj.Settings;
 import com.fujitsu.vdmj.VDMJMain;
 import com.fujitsu.vdmj.lex.Dialect;
@@ -73,6 +74,7 @@ public LSPServer(Dialect dialect, InputStream inStream, OutputStream outStream)
 		Settings.dialect = dialect;
 		Settings.strict = Boolean.getBoolean("vdmj.strict");
 		Settings.verbose = Boolean.getBoolean("vdmj.verbose");
+		Settings.release = Release.lookup(System.getProperty("vdmj.release", "vdm10"));
 
 		LSPPlugin.getInstance();	// Creates all plugins
 	}