C# Class Microsoft.Cci.MutableContracts.LoopInvariant

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

Public Methods

Method 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 method

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

LoopInvariant() public method

Creates a fresh loop invariant.
public LoopInvariant ( ) : System
return System

LoopInvariant() public method

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