Package 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

Constructor Summary

Constructors

Constructor	Description
ASTNumber(int id)
ASTNumber(ASPCore2Parser p, int id)

Method Summary

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

equals, 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(java.lang.String number)

jjtAccept

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

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode