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