public final class ANumberTerm extends PTerm
| Constructor and Description |
|---|
ANumberTerm() |
ANumberTerm(TNumber _number_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
TNumber |
getNumber() |
void |
setNumber(TNumber node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic ANumberTerm()
public ANumberTerm(TNumber _number_)