net.sf.tweety.lp.asp.parser

Class InstantiateVisitor

java.lang.Object

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

All Implemented Interfaces:

ASPCore2ParserVisitor

public class InstantiateVisitor
extends Object
implements ASPCore2ParserVisitor

This visitor iterates over the AST generated by ASPCore2Parser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.

Author:

Anna Gessler

See Also:

ASPCore2Parser

Constructor Summary

Constructors

Constructor and Description
InstantiateVisitor()

Method Summary

Modifier and Type	Method and Description
static ASPOperator.AggregateFunction	evaluateAggrFunc(String func)
static ASPOperator.ArithmeticOperator	evaluateArithop(String sop)
ASPOperator.BinaryOperator	evaluateBinop(String op)
AggregateAtom	visit(ASTAggregate node, Object data)
List<AggregateElement>	visit(ASTAggrElementList node, Object data)
AggregateElement	visit(ASTAggrElement node, Object data)
String	visit(ASTAggrFunc node, Object data)
AnswerSet	visit(ASTAnswerSet node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTAriTerm node, Object data)
String	visit(ASTArithop node, Object data)
String	visit(ASTBinop node, Object data)
List<ASPBodyElement>	visit(ASTBodyList node, Object data)
List<ASPBodyElement>	visit(ASTBody node, Object data)
ComparativeAtom	visit(ASTBuiltInAtom node, Object data)
List<ASPRule>	visit(ASTChoiceElementList node, Object data)
ASPRule	visit(ASTChoiceElement node, Object data)
Object	visit(ASTChoice node, Object data)
String	visit(ASTClingoMeta node, Object data)
List<ASPLiteral>	visit(ASTHeadElementsList node, Object data)
ASPHead	visit(ASTHead node, Object data)
String	visit(ASTID node, Object data)
ASPLiteral	visit(ASTLiteral node, Object data)
List<ASPBodyElement>	visit(ASTNAFLiteralList node, Object data)
ASPBodyElement	visit(ASTNAFLiteral node, Object data)
Integer	visit(ASTNumber node, Object data)
List<ASPRule>	visit(ASTOptElementList node, Object data)
ASPRule	visit(ASTOptElement node, Object data)
String	visit(ASTOptFunc node, Object data)
List<ASPRule>	visit(ASTOpt node, Object data)
Program	visit(ASTProgram node, Object data)
ASPLiteral	visit(ASTQuery node, Object data)
List<ASPRule>	visit(ASTRuleList node, Object data)
ASPRule	visit(ASTRule node, Object data)
String	visit(ASTString node, Object data)
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	visit(ASTTermList node, Object data)
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	visit(ASTTerm node, Object data)
String	visit(ASTVar node, Object data)
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	visit(ASTWeight 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 ASPCore2ParserVisitor

visit

public AnswerSet visit(ASTAnswerSet node,
                       Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public Program visit(ASTProgram node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPLiteral visit(ASTQuery node,
                        Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPRule> visit(ASTRuleList node,
                           Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPRule visit(ASTRule node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPHead visit(ASTHead node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPLiteral> visit(ASTHeadElementsList node,
                              Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPBodyElement> visit(ASTBodyList node,
                                  Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPBodyElement> visit(ASTBody node,
                                  Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public Object visit(ASTChoice node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPRule> visit(ASTChoiceElementList node,
                           Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPRule visit(ASTChoiceElement node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public AggregateAtom visit(ASTAggregate node,
                           Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

evaluateAggrFunc

public static ASPOperator.AggregateFunction evaluateAggrFunc(String func)

visit

public List<AggregateElement> visit(ASTAggrElementList node,
                                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public AggregateElement visit(ASTAggrElement node,
                              Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPRule> visit(ASTOpt node,
                           Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPRule> visit(ASTOptElementList node,
                           Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPRule visit(ASTOptElement node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

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

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public List<ASPBodyElement> visit(ASTNAFLiteralList node,
                                  Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPBodyElement visit(ASTNAFLiteral node,
                            Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ASPLiteral visit(ASTLiteral node,
                        Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public ComparativeAtom visit(ASTBuiltInAtom node,
                             Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

evaluateBinop

public ASPOperator.BinaryOperator evaluateBinop(String op)

visit

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

Specified by:

visit in interface ASPCore2ParserVisitor

visit

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

Specified by:

visit in interface ASPCore2ParserVisitor

evaluateArithop

public static ASPOperator.ArithmeticOperator evaluateArithop(String sop)

visit

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

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTBinop node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTArithop node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTAggrFunc node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTOptFunc node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public Integer visit(ASTNumber node,
                     Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTVar node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTID node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTString node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor

visit

public String visit(ASTClingoMeta node,
                    Object data)

Specified by:

visit in interface ASPCore2ParserVisitor