net.sf.tweety.lp.asp.parser

Class ASTNumber

java.lang.Object

net.sf.tweety.lp.asp.parser.SimpleNode

net.sf.tweety.lp.asp.parser.ASTNumber

All Implemented Interfaces:

Node

public class ASTNumber
extends SimpleNode

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	number

Fields inherited from class net.sf.tweety.lp.asp.parser.SimpleNode

children, id, parent, parser, value

Constructor Summary

Constructors

Constructor and Description
ASTNumber(ASPParser p, int id)
ASTNumber(int id)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	jjtAccept(ASPParserVisitor visitor, java.lang.Object data) Accept the visitor.
void	setNumber(java.lang.String number)

Methods inherited from class net.sf.tweety.lp.asp.parser.SimpleNode

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

number

int number

Constructor Detail

ASTNumber

public ASTNumber(int id)

ASTNumber

public ASTNumber(ASPParser p,
                 int id)

Method Detail

setNumber

public void setNumber(java.lang.String number)

jjtAccept

public java.lang.Object jjtAccept(ASPParserVisitor visitor,
                                  java.lang.Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode