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(ASPCore2Parser p, int id)
ASTNumber(int id)

Method Summary

Modifier and Type	Method and Description
Object	jjtAccept(ASPCore2ParserVisitor visitor, Object data) Accept the visitor.
void	number(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(ASPCore2Parser p,
                 int id)

Method Detail

number

public void number(String number)

jjtAccept

public Object jjtAccept(ASPCore2ParserVisitor visitor,
                        Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode