--- a/src/parser/LogicNodeParser.java	Fri Jan 18 00:00:27 2008 +0900
+++ b/src/parser/LogicNodeParser.java	Fri Jan 18 00:05:53 2008 +0900
@@ -1,9 +1,10 @@
 package parser;
 
 import java.io.FileNotFoundException;
+import java.io.IOException;
 import java.io.InputStream;
+import java.net.URL;
 import java.util.LinkedList;
-
 import verifier.LogicSolver;
 
 
@@ -266,6 +267,21 @@
 		this.exec = exec;
 	}
 
+	public boolean getResource(String filename) {
+		System.out.println("try to get resource ... "+filename);
+		try {
+			URL rsrc = getClass().getResource(filename);
+			if (rsrc==null) throw new IOException();
+			InputStream in = rsrc.openStream();
+			parse(in);
+			System.out.println("done.");
+			return true;
+		} catch (IOException e) {
+			System.out.println("failed.");
+			return false;
+		}
+	}
+	
 	public void error(String err) {
 		scanner.error(err);
 	}