public TPostcondition() {
super.setText("postcondition");
}
public TNavigable() {
super.setText("navigable");
}
public TPostcondition(int line, int pos) {
super.setText("postcondition");
setLine(line);
setPos(pos);
}
public TNavigable(int line, int pos) {
super.setText("navigable");
setLine(line);
setPos(pos);
}