public void Visit(object obj) { var classMetadata = (ClassMetadata)obj; var qcc = new QConClass(_enclosing._trans, classMetadata.ClassReflector ()); _enclosing.AddConstraint(qcc); _enclosing.ToConstraint(_enclosing.i_constraints).Or(qcc); }
private void AddFieldConstraint(ClassMetadata containingClass, FieldMetadata field ) { var qcc = new QConClass(_enclosing._trans, null, field.QField(_enclosing ._trans), containingClass.ClassReflector()); _enclosing.AddConstraint(qcc); _enclosing.ToConstraint(_enclosing.i_constraints).Or(qcc); }