private Ref<CConstraint> setRealClauseWithThis() {
final LazyRef<CConstraint> ref =
new LazyRef_c<CConstraint>(ConstraintManager.getConstraintSystem().makeCConstraint());
final Runnable runnable =
new Runnable() {
public void run() {
CConstraint c = X10ClassDef_c.this.realClause.get();
c = c.instantiateSelf(thisVar());
ref.update(c);
}
public String toString() {
return "realClauseWithThis for " + X10ClassDef_c.this;
}
};
ref.setResolver(runnable);
return ref;
}
/**
* Set the realClause for this type. The realClause is the conjunction of the depClause and the
* baseClause for the type -- it represents all the constraints that are satisfied by an instance
* of this type. The baseClause is the invariant for the base type. If the base type C has defined
* properties P1 p1, ..., Pk pk, and inherits from type B, then the baseClause for C is the
* baseClause for B conjoined with r1[self.p1/self, self/this] && ... && rk[self.pk/self,
* self/this] where ri is the realClause for Pi.
*/
private Ref<CConstraint> setRealClause() {
final LazyRef<CConstraint> ref =
new LazyRef_c<CConstraint>(ConstraintManager.getConstraintSystem().makeCConstraint());
Runnable runnable =
new Runnable() {
boolean computing = false;
public void run() {
if (computing) {
return;
}
computing = true;
CConstraint result = ConstraintManager.getConstraintSystem().makeCConstraint();
try {
List<X10FieldDef> properties = properties();
XVar oldThis =
thisVar(); // xts.xtypeTranslator().translateThisWithoutTypeConstraint();
try {
// Add in constraints from the supertypes. This is
// no need to change self, and no occurrence of this is possible in
// a type's base constraint.
// vj: 08/12/09. Incorrect. this can occur in a type's base constraint.
{
Type type = Types.get(superType());
if (type != null) {
CConstraint rs = Types.realX(type);
if (rs != null && !rs.valid()) {
if (rs.thisVar() != null) rs = rs.substitute(oldThis, (XVar) rs.thisVar());
result.addIn(rs);
}
}
}
// Add in constraints from the interfaces.
for (Iterator<Ref<? extends Type>> i = interfaces().iterator(); i.hasNext(); ) {
Ref<? extends Type> it = (Ref<? extends Type>) i.next();
CConstraint rs = Types.realX(it.get());
// no need to change self, and no occurrence of this is possible in
// a type's base constraint.
if (rs != null && !rs.valid()) {
// rs = rs.substitute(rs.self(), oldThis);
result.addIn(rs);
}
}
// add in the bindings from the property declarations.
for (X10FieldDef fi : properties) {
Type type = fi.asInstance().type(); // ### check for recursive call here
XVar fiThis = fi.thisVar();
CConstraint rs = Types.realX(type);
if (rs != null) {
// Given: f:C{c}
// Add in: c[self.f/self,self/this]
XTerm newSelf = ts.xtypeTranslator().translate(result.self(), fi.asInstance());
CConstraint rs1 = rs.instantiateSelf(newSelf);
CConstraint rs2;
if (fiThis != null) rs2 = rs1.substitute(result.self(), fiThis);
else rs2 = rs1;
result.addIn(rs2);
}
}
// Finally, add in the class invariant.
// It is important to do this last since we need avoid type-checking constraints
// until after the base type of the supertypes are resolved.
XVar thisVar = thisVar();
CConstraint ci = Types.get(classInvariant);
if (ci != null && !ci.valid()) {
ci = ci.substitute(ci.self(), oldThis);
result.addIn(ci);
}
} catch (XFailure f) {
result.setInconsistent();
X10ClassDef_c.this.realClauseInvalid =
new SemanticException(
"The real clause for " + this + " is inconsistent.", position());
}
// Now verify that the root clause entails the assertions of the properties.
// We need to set the root clause first, to avoid a spurious report of a cyclic
// dependency.
// This can happen when one of the properties is subtype of this type:
// class Ref(home: Place) { }
// class Place extends Ref { ... }
// Disable this for now since it can cause an infinite loop.
// TODO: vj 08/12/09 Revisit this.
/*if (false && result.consistent()) {
// Verify that the realclause, as it stands, entails the assertions of the
// property.
for (X10FieldDef fi : properties) {
Type ftype = fi.asInstance().type();
CConstraint c = X10TypeMixin.realX(ftype);
XTerm newSelf = xts.xtypeTranslator().trans(c, c.self(), fi.asInstance());
c = c.substitute(newSelf, c.self());
if (! result.entails(c, ((X10Context) ts.emptyContext()).constraintProjection(result, c))) {
this.rootClause = Types.ref(result);
this.rootClauseInvalid =
new SemanticException("The real clause, " + result + ", does not satisfy constraints from " + fi + ".", position());
}
}
}*/
}
/* catch (XFailure e) {
CConstraint result = ConstraintManager.getConstraintSystem().makeCConstraint();
result.setInconsistent();
this.rootClause = Types.ref(result);
this.rootClauseInvalid = new SemanticException(e.getMessage(), position());
}*/
finally {
ref.update(result);
this.computing = false;
}
}
public String toString() {
return "realClause for " + X10ClassDef_c.this;
}
};
ref.setResolver(runnable);
return ref;
}