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