Package org.tweetyproject.lp.asp.parser

Class ASTDlvArithmeticID

java.lang.Object

org.tweetyproject.lp.asp.parser.SimpleNode

org.tweetyproject.lp.asp.parser.ASTDlvArithmeticID

All Implemented Interfaces:

Node

public class ASTDlvArithmeticID
extends SimpleNode

The ASTDlvArithmeticID class represents a node in the abstract syntax tree (AST) for arithmetic identifiers in the DLV language, a variant of Answer Set Programming (ASP). This class extends SimpleNode and is used within the context of the ASP parser.

Constructor Summary

Constructors

Constructor	Description
ASTDlvArithmeticID(int id)	Constructs a new ASTDlvArithmeticID node with the specified identifier.
ASTDlvArithmeticID(ASPParser p, int id)	Constructs a new ASTDlvArithmeticID node with the specified parser and identifier.

Method Summary

Modifier and Type	Method	Description
Object	jjtAccept(ASPParserVisitor visitor, Object data)	Accepts a visitor object, which implements the ASPParserVisitor interface, and allows it to process this node in the AST.
void	name(String image)	Sets the name or identifier represented by this AST node.

Methods inherited from class org.tweetyproject.lp.asp.parser.SimpleNode

childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Details

ASTDlvArithmeticID

public ASTDlvArithmeticID(int id)

Constructs a new ASTDlvArithmeticID node with the specified identifier.

Parameters:

id - The node identifier.

ASTDlvArithmeticID

public ASTDlvArithmeticID(ASPParser p,
 int id)

Constructs a new ASTDlvArithmeticID node with the specified parser and identifier.

Parameters:

p - The ASPParser that is constructing this node.

id - The node identifier.

Method Details

jjtAccept

public Object jjtAccept(ASPParserVisitor visitor,
 Object data)

Accepts a visitor object, which implements the ASPParserVisitor interface, and allows it to process this node in the AST.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode

Parameters:

visitor - The visitor object that processes this node.

data - Additional data that might be needed for the visitor's processing.

Returns:

The result of the visitor's processing, typically dependent on the visitor's implementation.

name

public void name(String image)

Sets the name or identifier represented by this AST node.

Parameters:

image - The string representing the name or identifier.