Class ASTString

java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTString
All Implemented Interfaces:
Node

public class ASTString extends SimpleNode
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 Details

    • name

      public String name
      The string value represented by this AST node.
  • Constructor Details

    • ASTString

      public ASTString(int id)
      Constructs a new ASTString node with the specified identifier.
      Parameters:
      id - The node identifier.
    • ASTString

      public ASTString(ASPParser p, int id)
      Constructs a new ASTString node with the specified parser and identifier.
      Parameters:
      p - The ASPParser that is constructing this node.
      id - The node identifier.
  • Method Details

    • name

      public void name(String n)
      Sets the string value represented by this AST node.
      Parameters:
      n - The string value to be set.
    • 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.