... contracts, 95 object invariants, 93 PEX, 95 96 post conditions Contract.Ensures, 93 Contract.EnsuresOnThrow, 93 Contract.ForAll, 93 preconditions Contract.Assert, 92 Contract.Assume, 92 Contract.EndContractBlock, ... Contract.EndContractBlock, 93 Contract.Requires, 92 93 Pure, 94 static verification (premium/ultimate edition only), 91 values Contract.OldValue, 94 Contract.Result, 94 Code Contracts tab, 65, 90 , 91 code, ... INDEX 4 59 ListBox, 360, 405 listbox snippet, 2 29 listitem snippet, 2 29 ListView control, 244 listview snippet, 2 29 Literal section, 21 loading deferred/lazy, 191 – 192 , 193 dynamically,...