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 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
Object	jjtAccept(ASPParserVisitor visitor, Object data) Accept the visitor.
void	setNumber(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

Constructor Detail

ASTNumber

public ASTNumber(int id)

ASTNumber

public ASTNumber(ASPParser p,
                 int id)

Method Detail

setNumber

public void setNumber(String number)

jjtAccept

public Object jjtAccept(ASPParserVisitor visitor,
                        Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode