C# Class Microsoft.Cci.MutableContracts.LoopInvariant

A condition that must be true at the start of every iteration of a loop.
Inheritance: ContractElement, ILoopInvariant
Afficher le fichier Open project: visualmutator/visualmutator Class Usage Examples

Méthodes publiques

Méthode Description
Dispatch ( ICodeAndContractVisitor visitor ) : void

Calls visitor.Visit(ILoopInvariant).
LoopInvariant ( ) : System

Creates a fresh loop invariant.
LoopInvariant ( ILoopInvariant loopInvariant ) : System

Creates a loop invariant that shares all of the information in loopInvariant.

Method Details

Dispatch() public méthode

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

LoopInvariant() public méthode

Creates a fresh loop invariant.
public LoopInvariant ( ) : System
Résultat System

LoopInvariant() public méthode

Creates a loop invariant that shares all of the information in loopInvariant.
public LoopInvariant ( ILoopInvariant loopInvariant ) : System
loopInvariant ILoopInvariant
Résultat System