public void _deriveAll() {
   super._deriveAll();
   Expression condition = this.getCondition();
   if (condition != null) {
     condition.deriveAll();
   }
   Block body = this.getBody();
   if (body != null) {
     body.deriveAll();
   }
 }
Exemple #2
0
 public void _deriveAll() {
   this.getAssignmentBefore();
   this.getAssignmentAfter();
   this.getReferent();
   this.getType();
   this.getLower();
   this.getUpper();
   super._deriveAll();
   Expression index = this.getIndex();
   if (index != null) {
     index.deriveAll();
   }
 }