Ejemplo n.º 1
0
 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();
   }
 }
Ejemplo n.º 3
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();
   }
 }
 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);
   }
 }
Ejemplo n.º 5
0
 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);
   }
 }