public void checkConstraints(Collection<ConstraintViolation> violations) {
super.checkConstraints(violations);
if (!this.leftHandSideIndexExpression()) {
violations.add(new ConstraintViolation("leftHandSideIndexExpression", this));
}
Expression index = this.getIndex();
if (index != null) {
index.checkConstraints(violations);
}
}
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();
}
}
public void print(String prefix, boolean includeDerived) {
super.print(prefix, includeDerived);
Expression condition = this.getCondition();
if (condition != null) {
System.out.println(prefix + " condition:");
condition.print(prefix + " ", includeDerived);
}
Block body = this.getBody();
if (body != null) {
System.out.println(prefix + " body:");
body.print(prefix + " ", includeDerived);
}
}
public void print(String prefix, boolean includeDerived) {
super.print(prefix, includeDerived);
if (includeDerived) {
Collection<AssignedSource> assignmentBefore = this.getAssignmentBefore();
if (assignmentBefore != null && assignmentBefore.size() > 0) {
System.out.println(prefix + " /assignmentBefore:");
for (Object _object : assignmentBefore.toArray()) {
AssignedSource _assignmentBefore = (AssignedSource) _object;
System.out.println(prefix + " " + _assignmentBefore.toString(includeDerived));
}
}
}
if (includeDerived) {
Collection<AssignedSource> assignmentAfter = this.getAssignmentAfter();
if (assignmentAfter != null && assignmentAfter.size() > 0) {
System.out.println(prefix + " /assignmentAfter:");
for (Object _object : assignmentAfter.toArray()) {
AssignedSource _assignmentAfter = (AssignedSource) _object;
System.out.println(prefix + " " + _assignmentAfter.toString(includeDerived));
}
}
}
Expression index = this.getIndex();
if (index != null) {
System.out.println(prefix + " index:");
index.print(prefix + " ", includeDerived);
}
if (includeDerived) {
ElementReference referent = this.getReferent();
if (referent != null) {
System.out.println(prefix + " /referent:" + referent.toString(includeDerived));
}
}
if (includeDerived) {
ElementReference type = this.getType();
if (type != null) {
System.out.println(prefix + " /type:" + type.toString(includeDerived));
}
}
}
public void checkConstraints(Collection<ConstraintViolation> violations) {
super.checkConstraints(violations);
if (!this.doStatementAssignmentsBefore()) {
violations.add(new ConstraintViolation("doStatementAssignmentsBefore", this));
}
if (!this.doStatementAssignmentsAfter()) {
violations.add(new ConstraintViolation("doStatementAssignmentsAfter", this));
}
if (!this.doStatementCondition()) {
violations.add(new ConstraintViolation("doStatementCondition", this));
}
if (!this.doStatementEnclosedStatements()) {
violations.add(new ConstraintViolation("doStatementEnclosedStatements", this));
}
Expression condition = this.getCondition();
if (condition != null) {
condition.checkConstraints(violations);
}
Block body = this.getBody();
if (body != null) {
body.checkConstraints(violations);
}
}