public final class TDiv extends Token
TDiv()
TDiv(int line, int pos)
void
apply(Switch sw)
Object
clone()
setText(String text)
getLine, getPos, getText, setLine, setPos, toString
cloneList, cloneNode, parent, replaceBy, toString, toString
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public TDiv()
public TDiv(int line, int pos)
public Object clone()
clone
Node
public void apply(Switch sw)
public void setText(String text)
setText
Token