Package org.tweetyproject.lp.asp.parser

Class InstantiateVisitor

java.lang.Object

org.tweetyproject.lp.asp.parser.InstantiateVisitor

All Implemented Interfaces:

ASPParserVisitor

public class InstantiateVisitor
extends Object
implements ASPParserVisitor

This visitor iterates over the AST generated by ASPParser 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:

• ASPParser

Constructor Summary

Constructors

Constructor	Description
InstantiateVisitor()

Method Summary

Modifier and Type	Method	Description
static ASPOperator.AggregateFunction	evaluateAggrFunc(String func)
static ASPOperator.ArithmeticOperator	evaluateArithop(String sop)
static 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)
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<ChoiceElement>	visit(ASTChoiceElementList node, Object data)
ChoiceElement	visit(ASTChoiceElement node, Object data)
ChoiceHead	visit(ASTChoice node, Object data)
String	visit(ASTClingoID node, Object data)
String	visit(ASTClingoMeta node, Object data)
Object	visit(ASTDlvArithmeticID node, Object data)
String	visit(ASTDlvID 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<OptimizationElement>	visit(ASTOptElementList node, Object data)
OptimizationElement	visit(ASTOptElement node, Object data)
String	visit(ASTOptFunc node, Object data)
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<Term<?>>	visit(ASTTermList node, Object data)
Term<?>	visit(ASTTerm node, Object data)
String	visit(ASTVar node, Object data)
List<Term<?>>	visit(ASTWeight node, Object data)
Object	visit(SimpleNode node, Object data)

Methods inherited from class java.lang.Object

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

Constructor Details

InstantiateVisitor

public InstantiateVisitor()

Method Details

visit

public Object visit(SimpleNode node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AnswerSet visit(ASTAnswerSet node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Program visit(ASTProgram node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPLiteral visit(ASTQuery node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPRule visit(ASTRule node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPHead visit(ASTHead node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ChoiceHead visit(ASTChoice node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ChoiceElement visit(ASTChoiceElement node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AggregateAtom visit(ASTAggregate node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateAggrFunc

public static ASPOperator.AggregateFunction evaluateAggrFunc(String func)
                                                      throws ParseException

Throws:

ParseException

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AggregateElement visit(ASTAggrElement node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPRule visit(ASTOpt node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public OptimizationElement visit(ASTOptElement node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public List<Term<?>> visit(ASTWeight node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPBodyElement visit(ASTNAFLiteral node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPLiteral visit(ASTLiteral node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ComparativeAtom visit(ASTBuiltInAtom node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateBinop

public static ASPOperator.BinaryOperator evaluateBinop(String op)
                                                throws ParseException

Throws:

ParseException

visit

public List<Term<?>> visit(ASTTermList node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Term<?> visit(ASTTerm node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateArithop

public static ASPOperator.ArithmeticOperator evaluateArithop(String sop)
                                                      throws ParseException

Throws:

ParseException

visit

public Term<?> visit(ASTAriTerm node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTBinop node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTArithop node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTAggrFunc node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTOptFunc node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Integer visit(ASTNumber node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTVar node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTID node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTDlvID node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Object visit(ASTDlvArithmeticID node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTString node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTClingoMeta node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTClingoID node,
 Object data)

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object