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

A condition that must be true at the start of a method, possibly bundled with an exception that will be thrown if the condition does not hold.
Наследование: ContractElement, IPrecondition
Показать файл Открыть проект Примеры использования класса

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

Метод Описание
Dispatch ( ICodeAndContractVisitor visitor ) : void

Calls visitor.Visit(IPrecondition).
Precondition ( ) : System

Creates a fresh precondition.
Precondition ( IPrecondition precondition ) : System

Creates a precondition that shares all of the information in precondition.

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

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

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

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

Creates a fresh precondition.
public Precondition ( ) : System
Результат System

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

Creates a precondition that shares all of the information in precondition.
public Precondition ( IPrecondition precondition ) : System
precondition IPrecondition
Результат System