Mercurial > hg > Applications > JavaLite

changeset 8:18dbdc0321b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MacroNodeParser dependency
author kono
date Wed, 26 Dec 2007 12:29:31 +0900
parents c02f12316c01
children e17ffe9025d3
files src/lite/ITLNodeFactory.java
diffstat 1 files changed, 2 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/src/lite/ITLNodeFactory.java	Wed Dec 26 11:48:51 2007 +0900
+++ b/src/lite/ITLNodeFactory.java	Wed Dec 26 12:29:31 2007 +0900
@@ -2,7 +2,6 @@
 
 import java.util.LinkedList;
 
-import logicNode.parser.LogicNodeParser;
 import logicNode.parser.MacroNodeParser;
 
 public class ITLNodeFactory implements	ITLNodeFactoryInterface<ITLSolver> {
@@ -22,12 +21,12 @@
 		return null;
 	}
 
-	public ITLSolver macroNode(ITLSolver macro, String body) {
+	public ITLSolver macroNode(ITLSolver macro, String body, MacroNodeParser<ITLSolver> name) {
 		// TODO Auto-generated method stub
 		return null;
 	}
 
-	public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg, MacroNodeParser<ITLSolver> name) {
+	public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg) {
 		// TODO Auto-generated method stub
 		return null;
 	}
@@ -57,10 +56,6 @@
 		return null;
 	}
 
-	public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg, LogicNodeParser<ITLSolver> parser) {
-		// TODO Auto-generated method stub
-		return null;
-	}
 
 	public ITLSolver trueNode() {
 		// TODO Auto-generated method stub