// // This is called for each part of a partial generic type definition. // // If partial type parameters constraints are not null and we don't // already have constraints they become our constraints. If we already // have constraints, we must check that they're the same. // public bool AddPartialConstraints (TypeContainer part, TypeParameter tp) { if (builder == null) throw new InvalidOperationException (); var new_constraints = tp.constraints; if (new_constraints == null) return true; // TODO: could create spec only //tp.Define (null, -1, part.Definition); tp.spec.DeclaringType = part.Definition; if (!tp.ResolveConstraints (part)) return false; if (constraints != null) return spec.HasSameConstraintsDefinition (tp.Type); // Copy constraint from resolved part to partial container spec.SpecialConstraint = tp.spec.SpecialConstraint; spec.InterfacesDefined = tp.spec.InterfacesDefined; spec.TypeArguments = tp.spec.TypeArguments; spec.BaseType = tp.spec.BaseType; return true; }
// // This is called for each part of a partial generic type definition. // // If partial type parameters constraints are not null and we don't // already have constraints they become our constraints. If we already // have constraints, we must check that they're the same. // public bool AddPartialConstraints(TypeContainer part, TypeParameter tp) { if (builder == null) throw new InvalidOperationException (); var new_constraints = tp.constraints; if (new_constraints == null) return true; // TODO: could create spec only //tp.Define (null, -1, part.Definition); tp.spec.DeclaringType = part.Definition; if (!tp.ResolveConstraints (part)) return false; if (constraints != null) return spec.HasSameConstraintsDefinition (tp.Type); constraints = new_constraints; return true; }