Contract (class)

m	Assume	Void
m	Assume	Void
m	Assert	Void
m	Assert	Void
m	ForAll	Boolean
m	Exists	Boolean
m	EndContractBlock	Void
m	add_ContractFailed	Void
m	remove_ContractFailed	Void
m	Requires	Void
m	Requires	Void
m	Requires	Void
m	Requires	Void
m	Ensures	Void
m	Ensures	Void
m	EnsuresOnThrow	Void
m	EnsuresOnThrow	Void
m	Result
m	ValueAtReturn
m	OldValue
m	Invariant	Void
m	Invariant	Void
m	ForAll	Boolean
m	Exists	Boolean
m	Equals	Boolean
m	GetHashCode	Int32
m	GetType	Type
m	ToString	String
e	ContractFailed

Assume

Assume

Assert

Assert

ForAll

Exists

EndContractBlock

add_ContractFailed

remove_ContractFailed

Requires

Requires

Requires

Requires

Ensures

Ensures

EnsuresOnThrow

EnsuresOnThrow

Result

ValueAtReturn

OldValue

Invariant

Invariant

ForAll

Exists

Equals

GetHashCode

GetType

ToString

ContractFailed