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); } }