C# Class Microsoft.Cci.MutableContracts.Precondition

A condition that must be true at the start of a method, possibly bundled with an exception that will be thrown if the condition does not hold.
Inheritance: ContractElement, IPrecondition
Show file Open project: visualmutator/visualmutator Class Usage Examples

Public Methods

Method Description
Dispatch ( ICodeAndContractVisitor visitor ) : void

Calls visitor.Visit(IPrecondition).
Precondition ( ) : System

Creates a fresh precondition.
Precondition ( IPrecondition precondition ) : System

Creates a precondition that shares all of the information in precondition.

Method Details

Dispatch() public method

Calls visitor.Visit(IPrecondition).
public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
return void

Precondition() public method

Creates a fresh precondition.
public Precondition ( ) : System
return System

Precondition() public method

Creates a precondition that shares all of the information in precondition.
public Precondition ( IPrecondition precondition ) : System
precondition IPrecondition
return System