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)	Evaluates the given aggregate function string and returns the corresponding ASPOperator.AggregateFunction.
static ASPOperator.ArithmeticOperator	evaluateArithop(String sop)	Evaluates the given arithmetic operator string and returns the corresponding
static ASPOperator.BinaryOperator	evaluateBinop(String op)	evaluateBinop
AggregateAtom	visit(ASTAggregate node, Object data)	Constructor
List<AggregateElement>	visit(ASTAggrElementList node, Object data)	Constructor
AggregateElement	visit(ASTAggrElement node, Object data)	Constructor
String	visit(ASTAggrFunc node, Object data)	Constructor
AnswerSet	visit(ASTAnswerSet node, Object data)	Constructor
Term<?>	visit(ASTAriTerm node, Object data)	Constructor
String	visit(ASTArithop node, Object data)	Constructor
String	visit(ASTBinop node, Object data)	Constructor
List<ASPBodyElement>	visit(ASTBodyList node, Object data)	Constructor
List<ASPBodyElement>	visit(ASTBody node, Object data)	Constructor
ComparativeAtom	visit(ASTBuiltInAtom node, Object data)	Constructor
List<ChoiceElement>	visit(ASTChoiceElementList node, Object data)	Constructor
ChoiceElement	visit(ASTChoiceElement node, Object data)	Constructor
ChoiceHead	visit(ASTChoice node, Object data)	Constructor
String	visit(ASTClingoID node, Object data)	Constructor
String	visit(ASTClingoMeta node, Object data)	Constructor
Object	visit(ASTDlvArithmeticID node, Object data)	Constructor
String	visit(ASTDlvID node, Object data)	Constructor
List<ASPLiteral>	visit(ASTHeadElementsList node, Object data)	Constructor
ASPHead	visit(ASTHead node, Object data)	Constructor
String	visit(ASTID node, Object data)	Constructor
ASPLiteral	visit(ASTLiteral node, Object data)	Constructor
List<ASPBodyElement>	visit(ASTNAFLiteralList node, Object data)	Constructor
ASPBodyElement	visit(ASTNAFLiteral node, Object data)	Constructor
Integer	visit(ASTNumber node, Object data)	Constructor
List<OptimizationElement>	visit(ASTOptElementList node, Object data)	Constructor
OptimizationElement	visit(ASTOptElement node, Object data)	Constructor
String	visit(ASTOptFunc node, Object data)	Constructor
ASPRule	visit(ASTOpt node, Object data)	Constructor
Program	visit(ASTProgram node, Object data)	Constructor
ASPLiteral	visit(ASTQuery node, Object data)	Constructor
List<ASPRule>	visit(ASTRuleList node, Object data)	Constructor
ASPRule	visit(ASTRule node, Object data)	Constructor
String	visit(ASTString node, Object data)	Constructor
List<Term<?>>	visit(ASTTermList node, Object data)	Constructor
Term<?>	visit(ASTTerm node, Object data)	Constructor
String	visit(ASTVar node, Object data)	Constructor
List<Term<?>>	visit(ASTWeight node, Object data)	Constructor
Object	visit(SimpleNode node, Object data)	Constructor

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)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AnswerSet visit(ASTAnswerSet node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Program visit(ASTProgram node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPLiteral visit(ASTQuery node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPRule visit(ASTRule node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPHead visit(ASTHead node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ChoiceHead visit(ASTChoice node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ChoiceElement visit(ASTChoiceElement node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AggregateAtom visit(ASTAggregate node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateAggrFunc

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

Evaluates the given aggregate function string and returns the corresponding ASPOperator.AggregateFunction.

Parameters:

func - The string representation of the aggregate function.

Returns:

The ASPOperator.AggregateFunction corresponding to the provided string.

Throws:

ParseException - If the provided string does not match any known aggregate function.

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public AggregateElement visit(ASTAggrElement node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPRule visit(ASTOpt node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public OptimizationElement visit(ASTOptElement node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPBodyElement visit(ASTNAFLiteral node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ASPLiteral visit(ASTLiteral node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public ComparativeAtom visit(ASTBuiltInAtom node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateBinop

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

evaluateBinop

Parameters:

op - op string

Returns:

binary operator

Throws:

ParseException - error

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

evaluateArithop

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

Evaluates the given arithmetic operator string and returns the corresponding

Parameters:

sop - The string representation of the arithmetic operator.

Returns:

The operator corresponding to the provided string, or null if the string is empty.

Throws:

ParseException - If the provided string does not match any known arithmetic operator.

visit

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

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTBinop node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTArithop node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTAggrFunc node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTOptFunc node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Integer visit(ASTNumber node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTVar node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTID node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTDlvID node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public Object visit(ASTDlvArithmeticID node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTString node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTClingoMeta node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object

visit

public String visit(ASTClingoID node,
 Object data)

Description copied from interface: ASPParserVisitor

Constructor

Specified by:

visit in interface ASPParserVisitor

Parameters:

node - node

data - data

Returns:

object