/** * Get the string representation. * @return The string representation. */ public String toString() { StringBuffer ret = new StringBuffer(); ret.append("("); ret.append(type.getName()); for(int i=0; i<getConstraints().size(); i++) { ret.append(" "); ret.append(getConstraints().get(i).toString());//+"\n"); } ret.append(")"); return ret.toString(); } }
/** * Get the string representation. * @return The string representation. */ public String toString() { StringBuffer ret = new StringBuffer(); ret.append("("); ret.append(type.getName()); for(int i=0; i<getConstraints().size(); i++) { ret.append(" "); ret.append(getConstraints().get(i).toString());//+"\n"); } ret.append(")"); return ret.toString(); } }
/** * Push a condition on the stack. */ public void pushCondition(ConstrainableCondition con) { if(getDefiningScope(con)!=this) { if(con instanceof ObjectCondition) { // Create clone of inconsistent condition in inner scope. ObjectCondition ocon = (ObjectCondition)con; generateVariableBinding(ocon, null); // new null bound constraint to make sure that cloned condition refers to SAME object. con = createObjectCondition(ocon.getObjectType(), (IConstraint[])ocon.getConstraints().toArray(new IConstraint[ocon.getConstraints().size()])); } else { throw new RuntimeException("Wrong scope: "+con); } } if(oconstack==null) { oconstack = new ArrayList(); } oconstack.add(con); }
/** * Push a condition on the stack. */ public void pushCondition(ConstrainableCondition con) { if(getDefiningScope(con)!=this) { if(con instanceof ObjectCondition) { // Create clone of inconsistent condition in inner scope. ObjectCondition ocon = (ObjectCondition)con; generateVariableBinding(ocon, null); // new null bound constraint to make sure that cloned condition refers to SAME object. con = createObjectCondition(ocon.getObjectType(), (IConstraint[])ocon.getConstraints().toArray(new IConstraint[ocon.getConstraints().size()])); } else { throw new RuntimeException("Wrong scope: "+con); } } if(oconstack==null) { oconstack = new ArrayList(); } oconstack.add(con); }
List cons = oc.getConstraints(); for(int c=0; check && cons!=null && c<cons.size(); c++)
List constraints = new ArrayList(((ObjectCondition)con).getConstraints()); progress = true; while(progress) List constraints2 = new ArrayList(((ObjectCondition)con).getConstraints()); constraints2.removeAll(constraints); constraints.add(bc);
List constraints = new ArrayList(((ObjectCondition)con).getConstraints()); progress = true; while(progress) List constraints2 = new ArrayList(((ObjectCondition)con).getConstraints()); constraints2.removeAll(constraints); constraints.add(bc);
if(context.hasDummyCondition()) List cons = context.getDummyCondition().getConstraints(); for(int i=0; i<lcons.size(); i++)
if(context.hasDummyCondition()) List cons = context.getDummyCondition().getConstraints(); for(int i=0; i<lcons.size(); i++)
List constraints = curcond.getConstraints();
List constraints = curcond.getConstraints();