public void _deriveAll() {
super._deriveAll();
Expression condition = this.getCondition();
if (condition != null) {
condition.deriveAll();
}
Block body = this.getBody();
if (body != null) {
body.deriveAll();
}
}
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();
}
}