sddl.syntax.node
Class AIntTerm
java.lang.Object
sddl.syntax.node.Node
sddl.syntax.node.PTerm
sddl.syntax.node.AIntTerm
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class AIntTerm
- extends PTerm
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
AIntTerm
public AIntTerm()
AIntTerm
public AIntTerm(TInteger _integer_)
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