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