¡@

Home 

c# Programming Glossary: subgroup

Using Contract.ForAll in Code Contracts

http://stackoverflow.com/questions/3104856/using-contract-forall-in-code-contracts

IUnboundTagGroup group foreach IUnboundTagGroup subGroup in group.GetAllGroups AddRequested subGroup Other stuff.. subGroup in group.GetAllGroups AddRequested subGroup Other stuff omitted AddRequested requires a non null input.. and so I get a 'requires unproven group null' error on the subGroup being passed into AddRequested . Am I using the ForAll syntax..