public static AclEditModel AddTargets <TDomain>(this AclEditModel m, ISecurityService <TDomain> sec, IEnumerable <SecurityTarget> ts) { //Contract.Requires( m != null ); //Contract.Requires( ts != null ); //Contract.Ensures( //Contract.Result<AclEditModel>() != null ); return(m.AddEntries(AllEntriesForEdit(sec, ts))); }