Class ASTString
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTString
- All Implemented Interfaces:
Node
The
ASTString class represents a node in the abstract syntax tree (AST)
for string literals within the context of Answer Set Programming (ASP). This class
extends SimpleNode and is used by the ASP parser to handle and represent
string values in the ASP program.-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.tweetyproject.lp.asp.parser.SimpleNode
childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString
-
Field Details
-
name
The string value represented by this AST node.
-
-
Constructor Details
-
ASTString
public ASTString(int id) Constructs a newASTStringnode with the specified identifier.- Parameters:
id- The node identifier.
-
ASTString
Constructs a newASTStringnode with the specified parser and identifier.- Parameters:
p- TheASPParserthat is constructing this node.id- The node identifier.
-
-
Method Details
-
name
Sets the string value represented by this AST node.- Parameters:
n- The string value to be set.
-
jjtAccept
Accepts a visitor object, which implements theASPParserVisitorinterface, and allows it to process this node in the AST.- Specified by:
jjtAcceptin interfaceNode- Overrides:
jjtAcceptin classSimpleNode- 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.
-