C# Класс Microsoft.Cci.MutableContracts.LoopInvariant

A condition that must be true at the start of every iteration of a loop.
Наследование: ContractElement, ILoopInvariant
Показать файл Открыть проект Примеры использования класса

Открытые методы

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

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

Dispatch() публичный Метод

Calls visitor.Visit(ILoopInvariant).
public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
Результат void

LoopInvariant() публичный Метод

Creates a fresh loop invariant.
public LoopInvariant ( ) : System
Результат System

LoopInvariant() публичный Метод

Creates a loop invariant that shares all of the information in loopInvariant.
public LoopInvariant ( ILoopInvariant loopInvariant ) : System
loopInvariant ILoopInvariant
Результат System