Contract Invariant Method

Expansion Contract Invariant Method cim Boiler plate invariant method Jonathan de Halleux

System.Diagnostics.Contracts condition boolean precondition False

 _
Private Sub ObjectInvariant() 
    Contract.Invariant($condition$)
End Sub
]]>