changeset 101:3409453bef30 ant-type-safty

*** empty log message ***
author kono
date Sat, 19 Jan 2008 10:45:09 +0900
parents bf35bebd55ab
children df74b1a85d3a
files src/lite/ITLNodeParser.java src/parser/LogicNodeParserTest.java
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/lite/ITLNodeParser.java	Sat Jan 19 10:31:19 2008 +0900
+++ b/src/lite/ITLNodeParser.java	Sat Jan 19 10:45:09 2008 +0900
@@ -248,7 +248,7 @@
 		return arg;
 	}
 	
-	public ITLSolver emptyNode() {
+	public Node emptyNode() {
 		return emptyNode;
 	}
 
--- a/src/parser/LogicNodeParserTest.java	Sat Jan 19 10:31:19 2008 +0900
+++ b/src/parser/LogicNodeParserTest.java	Sat Jan 19 10:45:09 2008 +0900
@@ -21,7 +21,7 @@
 		n = p.parse();
 		if (n!=null) System.out.print(n); System.out.println(".");
 		
-		parser = (MacroNodeParser<ITLSolver>) p;
+		parser = new MacroNodeParser<ITLSolver>("exists(x,(a,x))",lf);
 		n = parser.parse();
 		if (n!=null) System.out.print(n); System.out.println(".");