net.sf.tweety.lp.asp.parser

Class InstantiateVisitor

java.lang.Object

net.sf.tweety.lp.asp.parser.InstantiateVisitor

All Implemented Interfaces:

ASPParserVisitor

public class InstantiateVisitor
extends Object
implements ASPParserVisitor

This visitor uses an AST generated by the ASPParser and allocates the classes representing the constructs of a source file, like programs, rules, literals, arithmetics, relations, terms, answer sets etc.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
InstantiateVisitor()

Method Summary

Modifier and Type	Method and Description
Aggregate	visit(ASTAggregate node, Object data)
AnswerSetList	visit(ASTAnswerSetList node, Object data)
AnswerSet	visit(ASTAnswerSet node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTArithmeticInteger node, Object data)
Arithmetic	visit(ASTArithmetic node, Object data)
String	visit(ASTArithmeticOp node, Object data)
DLPLiteral	visit(ASTAtom node, Object data)
Comparative	visit(ASTComparative node, Object data)
String	visit(ASTCompareOp node, Object data)
DLPElement	visit(ASTDefAtom node, Object data)
Set<DLPElement>	visit(ASTElementLst node, Object data)
net.sf.tweety.logics.commons.syntax.FunctionalTerm	visit(ASTFunctionalTerm node, Object data)
Set<DLPLiteral>	visit(ASTHead node, Object data)
String	visit(ASTIdentifier node, Object data)
List<String>	visit(ASTIdLst node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTListTail node, Object data)
ListTerm	visit(ASTListTerm node, Object data)
Integer	visit(ASTNumber node, Object data)
Program	visit(ASTProgram node, Object data)
Rule	visit(ASTRule node, Object data)
SetTerm	visit(ASTSetTerm node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTSimpleTerm node, Object data)
String	visit(ASTSpecId node, Object data)
SymbolicSet	visit(ASTSymbolicSet node, Object data)
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	visit(ASTTermLst node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTTerm node, Object data)
Object	visit(SimpleNode node, Object data)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InstantiateVisitor

public InstantiateVisitor()

Method Detail

visit

public Object visit(SimpleNode node,
                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Program visit(ASTProgram node,
                     Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Rule visit(ASTRule node,
                  Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Set<DLPLiteral> visit(ASTHead node,
                             Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Set<DLPElement> visit(ASTElementLst node,
                             Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Comparative visit(ASTComparative node,
                         Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Arithmetic visit(ASTArithmetic node,
                        Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public DLPElement visit(ASTDefAtom node,
                        Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public DLPLiteral visit(ASTAtom node,
                        Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> visit(ASTTermLst node,
                                                                          Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public SetTerm visit(ASTSetTerm node,
                     Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> visit(ASTListTail node,
                                                                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public ListTerm visit(ASTListTerm node,
                      Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public net.sf.tweety.logics.commons.syntax.FunctionalTerm visit(ASTFunctionalTerm node,
                                                                Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> visit(ASTTerm node,
                                                                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> visit(ASTSimpleTerm node,
                                                                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public List<String> visit(ASTIdLst node,
                          Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> visit(ASTArithmeticInteger node,
                                                                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public String visit(ASTCompareOp node,
                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public String visit(ASTArithmeticOp node,
                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Integer visit(ASTNumber node,
                     Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public String visit(ASTSpecId node,
                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public String visit(ASTIdentifier node,
                    Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public Aggregate visit(ASTAggregate node,
                       Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public SymbolicSet visit(ASTSymbolicSet node,
                         Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public AnswerSetList visit(ASTAnswerSetList node,
                           Object data)

Specified by:

visit in interface ASPParserVisitor

visit

public AnswerSet visit(ASTAnswerSet node,
                       Object data)

Specified by:

visit in interface ASPParserVisitor