public TName() { super.setText("name"); }
public TMult() { super.setText("*"); }
public TName(int line, int pos) { super.setText("name"); setLine(line); setPos(pos); }
public TMult(int line, int pos) { super.setText("*"); setLine(line); setPos(pos); }
public TRemove() { super.setText("\\-"); }
public TRemove(int line, int pos) { super.setText("\\-"); setLine(line); setPos(pos); }
public TReceive() { super.setText("receive"); }
public TReceive(int line, int pos) { super.setText("receive"); setLine(line); setPos(pos); }