Fixing ant script and make external tool work.

Author: radumereuta

.gitignore

@@ -1 +1,2 @@
-/.metadata/
+/.metadata/
+/.recommenders/

JavaFront/build.xml

@@ -85,7 +85,7 @@
 		<delete file="../JavaFrontParser/trans/JavaFrontParserMain.rtree" />
 		<delete file="../JavaFrontParser/trans/JavaFrontParserMain.dep" />
 		<delete dir="../JavaFrontParser/trans/JavaFrontParserMain" />
-		<java failonerror="true" dir="../JavaFrontParser/trans/" jar="../JavaFrontParser/utils/strategoxt.jar" fork="true">
+		<java failonerror="true" dir="../JavaFrontParser/trans/" jar="./lib/strategoxt.jar" fork="true">
 			<arg line="-i starter.str -o JavaFrontParserMain -la stratego-sglr --lib -I .. -p org.kframework.main.lib --clean" />
 		</java>
 		<delete dir="src/org/kframework/main/lib" />
@@ -135,6 +135,8 @@
 	          strategoxt.jar" />
 			</manifest>
 			<fileset dir="./bin" />
+			<zipgroupfileset dir="./lib" includes="strategoxt.jar" />
+			<zipgroupfileset dir="./lib" includes="aterm-java.jar" />
 		</jar>
 	</target>
 

JavaFront/src/org/kframework/main/KParser.java

@@ -0,0 +1,54 @@
+package org.kframework.main;
+
+import org.kframework.main.lib.JavaFrontParserMain;
+import org.kframework.main.lib.safecallcmd1_0_0;
+import org.spoofax.interpreter.terms.IStrategoString;
+import org.spoofax.interpreter.terms.IStrategoTerm;
+import org.strategoxt.lang.Context;
+import org.strategoxt.lang.StrategoExit;
+
+public class KParser {
+	private static Context context = null;
+
+	private static void init() {
+		synchronized (KParser.class) {
+			if (context == null) {
+				context = JavaFrontParserMain.init();
+			}
+		}
+	}
+
+	public static String ParseKString(String kDefinition) {
+		init();
+		String rez = "";
+		context.setStandAlone(true);
+		IStrategoTerm result = null;
+		try {
+			try {
+				result = context.invokeStrategyCLI(safecallcmd1_0_0.instance,
+						"a.exe", kDefinition);
+
+			} finally {
+				context.getIOAgent().closeAllFiles();
+			}
+			if (result == null) {
+				System.err.println("rewriting failed, trace:");
+				context.printStackTrace();
+				context.setStandAlone(false);
+				System.exit(1);
+			} else {
+				context.setStandAlone(false);
+			}
+		} catch (StrategoExit exit) {
+			context.setStandAlone(false);
+			System.exit(exit.getValue());
+		}
+
+		if (result.getTermType() == IStrategoTerm.STRING) {
+			rez = (((IStrategoString) result).stringValue());
+		} else {
+			rez = result.toString();
+		}
+		return rez;
+	}
+}

JavaFront/src/org/kframework/main/Main.java

@@ -3,8 +3,7 @@
 public class Main {
 
 	public static void main(String[] args) {
-		// TODO Auto-generated method stub
-
+		System.out.println(KParser.ParseKString(args[0]));
 	}
 
 }