Package org.tweetyproject.lp.asp.parser
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
-
Constructor Summary
-
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 newASTString
node with the specified identifier.- Parameters:
id
- The node identifier.
-
ASTString
Constructs a newASTString
node with the specified parser and identifier.- Parameters:
p
- TheASPParser
that 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 theASPParserVisitor
interface, and allows it to process this node in the AST.- Specified by:
jjtAccept
in interfaceNode
- Overrides:
jjtAccept
in 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.
-