Esempio n. 1
0
 public TPostcondition() {
   super.setText("postcondition");
 }
Esempio n. 2
0
 public TNavigable() {
   super.setText("navigable");
 }
Esempio n. 3
0
 public TPostcondition(int line, int pos) {
   super.setText("postcondition");
   setLine(line);
   setPos(pos);
 }
Esempio n. 4
0
 public TNavigable(int line, int pos) {
   super.setText("navigable");
   setLine(line);
   setPos(pos);
 }