C# Class Microsoft.Cci.Ast.Invariant

A condition that must be maintained during the execution of a program.

Inheritance: Ariant

Exibir arquivo Open project: visualmutator/visualmutator Class Usage Examples

Protected Methods

Method	Description
Invariant ( BlockStatement containingBlock, Invariant template ) : System.Collections.Generic	Make a copy of an Invariant, changing the containing block.
Invariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic	Construct an invariant with the given condition and source location.

Method Details

Invariant() protected method

Make a copy of an Invariant, changing the containing block.

protected Invariant ( BlockStatement containingBlock, Invariant template ) : System.Collections.Generic
containingBlock	BlockStatement	The new containing block.
template	Invariant	The Invariant to be copied.
return	System.Collections.Generic

Invariant() protected method

Construct an invariant with the given condition and source location.

protected Invariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic
condition	Expression
sourceLocation	ISourceLocation
return	System.Collections.Generic