Add LSP Flag

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/api/CommandLineArgs.java

@@ -22,6 +22,9 @@ public class CommandLineArgs {
     @Option(names = { "-d", "--debug" }, description = "Enable debug mode for more detailed output")
     public boolean debugMode;
 
+    @Option(names = { "-lsp", "--language-server" }, description = "Enable language server mode for editor support")
+    public boolean lspMode;
+
     @Parameters(arity = "1..*", paramLabel = "<...paths>", description = "Paths to be verified by LiquidJava")
     public List<String> paths;
 

liquidjava-verifier/src/main/java/liquidjava/processor/context/ContextHistory.java

@@ -5,6 +5,7 @@
 import java.util.Map;
 import java.util.Set;
 
+import liquidjava.api.CommandLineLauncher;
 import liquidjava.utils.Utils;
 import spoon.reflect.cu.SourcePosition;
 import spoon.reflect.declaration.CtElement;
@@ -44,6 +45,9 @@ public void clearHistory() {
     }
 
     public void saveContext(CtElement element, Context context) {
+        if (!CommandLineLauncher.cmdArgs.lspMode)
+            return;
+
         String file = Utils.getFile(element);
         if (file == null)
             return;