sddl.syntax.node
Class AIntTerm

java.lang.Object
  extended by sddl.syntax.node.Node
      extended by sddl.syntax.node.PTerm
          extended by sddl.syntax.node.AIntTerm
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class AIntTerm
extends PTerm


Constructor Summary
AIntTerm()
           
AIntTerm(TInteger _integer_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TInteger getInteger()
           
 void setInteger(TInteger node)
           
 java.lang.String toString()
           
 
Methods inherited from class sddl.syntax.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AIntTerm

public AIntTerm()

AIntTerm

public AIntTerm(TInteger _integer_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getInteger

public TInteger getInteger()

setInteger

public void setInteger(TInteger node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object