Package org.tweetyproject.lp.asp.parser
Class ASTRule
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTRule
- All Implemented Interfaces:
Node
The
ASTRule
class represents a node in the abstract syntax tree (AST)
for a rule in the context of Answer Set Programming (ASP). This class extends
SimpleNode
and is used by the ASP parser to handle and represent rules
within an ASP program.-
Field Summary
Modifier and TypeFieldDescriptionboolean
Indicates whether this rule has an associated level. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
hasLevel
(boolean b) Sets whether this rule has an associated level.jjtAccept
(ASPParserVisitor visitor, Object data) Accepts a visitor object, which implements theASPParserVisitor
interface, and allows it to process this node in the AST.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
-
hasLevel
public boolean hasLevelIndicates whether this rule has an associated level. A level may be used to denote priorities or other hierarchical properties of the rule within the program.
-
-
Constructor Details
-
ASTRule
public ASTRule(int id) Constructs a newASTRule
node with the specified identifier.- Parameters:
id
- The node identifier.
-
ASTRule
Constructs a newASTRule
node with the specified parser and identifier.- Parameters:
p
- TheASPParser
that is constructing this node.id
- The node identifier.
-
-
Method Details
-
hasLevel
public void hasLevel(boolean b) Sets whether this rule has an associated level.- Parameters:
b
-true
if the rule has a level,false
otherwise.
-
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.
-