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
Afficher le fichier Open project: visualmutator/visualmutator Class Usage Examples

Méthodes publiques

Méthode 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 méthode

Calls visitor.Visit(IPrecondition).
public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
Résultat void

Precondition() public méthode

Creates a fresh precondition.
public Precondition ( ) : System
Résultat System

Precondition() public méthode

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