C# Класс Microsoft.Cci.Ast.Invariant

A condition that must be maintained during the execution of a program.
Наследование: Ariant
Показать файл Открыть проект Примеры использования класса

Защищенные методы

Метод Описание
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.

Описание методов

Invariant() защищенный Метод

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.
Результат System.Collections.Generic

Invariant() защищенный Метод

Construct an invariant with the given condition and source location.
protected Invariant ( Expression condition, ISourceLocation sourceLocation ) : System.Collections.Generic
condition Expression
sourceLocation ISourceLocation
Результат System.Collections.Generic