From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001
From: yzhou <yujiao.zhou@gmail.com>
Date: Tue, 21 Apr 2015 10:34:27 +0100
Subject: initial version

---
 src/uk/ac/ox/cs/pagoda/util/Properties.java | 95 +++++++++++++++++++++++++++++
 1 file changed, 95 insertions(+)
 create mode 100644 src/uk/ac/ox/cs/pagoda/util/Properties.java

(limited to 'src/uk/ac/ox/cs/pagoda/util/Properties.java')

diff --git a/src/uk/ac/ox/cs/pagoda/util/Properties.java b/src/uk/ac/ox/cs/pagoda/util/Properties.java
new file mode 100644
index 0000000..551f94f
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/util/Properties.java
@@ -0,0 +1,95 @@
+package uk.ac.ox.cs.pagoda.util;
+
+import java.io.BufferedReader;
+import java.io.FileInputStream;
+import java.io.IOException;
+import java.io.InputStreamReader;
+import java.util.HashMap;
+
+public class Properties {
+
+	public static final String FILE_SEPARATOR = ";";
+	
+//	switches
+//	public static final String reuseGapFile = "REUSE_GAP";
+	public static final String toTrackProofs = "TO_TRACK";
+	public static final String checkAnswers = "TO_CHECK_ANSWERS";
+	public static final String redirectSysOut = "TO_REDIRECT_SYS_OUT";
+	public static final String considerEqualities = "TO_CONSIDER_EQUALITIES";  
+
+//	parameters
+	public static final String testcase = "TEST_CASE";
+	public static final String typeOfLowerBounds = "TYPE_LOWER_BOUNDS";
+	public static final String FULL_REASONER = "OWLREASONER"; 
+
+//	file locations
+	public static final String ontologyFile = "LOWER_T_FILE";
+	public static final String importedData = "IMPORT";
+	public static final String queryFile = "QUERY_FILE";
+
+//	auxiliary files
+//	public static final String auxiliaryDirectory = "AUXILIARY_DIRECTORY";
+//	public static final String queryAnswerGapFile = "GAP_FILE";
+//	public static final String lowerAnswerFile = "LOWER_ANSWER_FILE";
+//	public static final String upperAnswerFile = "UPPER_ANSWER_FILE";
+//	public static final String boundsGapFile = "BOUNDS_GAP_FILE";
+//	public static final String fragmentFile = "FRAGMENT_FILE";
+	
+	public static final String correspondence = "CORRESPONDENCE";
+
+	private HashMap<String, String> param = new HashMap<String, String>();
+
+	public static final String on = String.valueOf(true); 
+	public static final String off = String.valueOf(false);
+
+		public void reset() {
+		param.clear(); 
+//		param.put(reuseGapFile, on); 
+		param.put(toTrackProofs, on);
+		param.put(checkAnswers, on);
+		param.put(redirectSysOut, off); 
+		param.put(considerEqualities, off); 
+	}
+
+	public Properties() {
+		reset(); 
+	}
+
+	public void addImportedFile(String additionalDataFile) {
+		if (additionalDataFile == null) return ;
+		String files = param.get(importedData); 
+		StringBuilder sb = new StringBuilder();
+		if (files != null)
+			sb.append(files).append(FILE_SEPARATOR);
+		sb.append(additionalDataFile); 
+		param.put(importedData, sb.toString()); 
+	}
+	
+	public void load(String file) throws IOException {
+		BufferedReader reader = new BufferedReader(new InputStreamReader(new FileInputStream(file)));
+		String line;
+		String tokens[];
+		while ((line = Utility.readLine(reader)) != null) {
+			if (line.isEmpty() || line.startsWith("#"))
+				continue;
+			
+			tokens = line.split("="); 
+			if (tokens[1].equals("on"))
+				set(tokens[0], String.valueOf(true));
+			else if (tokens[1].equals("off"))
+				set(tokens[0], String.valueOf(false));
+			else 
+				set(tokens[0], tokens[1]);
+		}
+		reader.close();
+	}
+
+	public String get(String key) {
+		return param.get(key);
+	}
+
+	public void set(String key, String value) {
+		param.put(key, value);
+	}
+
+}
-- 
cgit v1.2.3