示例#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);
   }
 }
示例#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();
   }
 }
示例#3
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));
     }
   }
 }