print getSystemName-method String instead of version only

RuleML · Nov 27, 2018 · e258b11 · e258b11
1 parent 4aa538e
commit e258b11
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 3 deletions.
diff --git a/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRun.java b/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRun.java
@@ -85,6 +85,25 @@ else if (targetLang.equalsIgnoreCase("tptp"))
 		throw new PSOATransRunException("Unknown target language: " + targetLang);
 	}
 
+	/****
+	 * Returns the system name of PSOATransRun
+	 * 
+	 * @param lang   language name
+	 * */
+	public static String getSystemName(String lang)
+	{
+		String systemInstantiation = new String();
+		if (lang == null || lang.equalsIgnoreCase("prolog")) 
+		{
+			systemInstantiation = "[PSOA2Prolog,XSBProlog]";
+		}
+		else if (lang.equalsIgnoreCase("tptp")) 
+		{
+			systemInstantiation = "[PSOA2TPTP,VampirePrime]";
+		}
+		return "PSOATransRun" + "1.3.2" + systemInstantiation;
+	}
+
 	/***
 	 * Set whether to print translator output for KBs and queries
 	 * 

diff --git a/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRunCmdLine.java b/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRunCmdLine.java
@@ -129,6 +129,9 @@ public static void main(String[] args) throws IOException {
 			}
 		}
 
+		// Display system name
+		println(PSOATransRun.getSystemName(lang));
+
 		// Check whether input KB file / directory has been specified
 		if (inputKBPath == null) {
 			printErrlnAndExit("No input KB specified");
@@ -137,9 +140,6 @@ public static void main(String[] args) throws IOException {
 		// Initialize PSOATransRun
 		Translator translator = null;
 		ExecutionEngine engine = null;
-
-		// Display version number
-		println("PSOATransRun 1.3.2-b");  // TODO: Define method in PSOATransRun class, called here to return version		
 
 		try {
 			if (lang == null || lang.equalsIgnoreCase("prolog"))