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

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

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

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

Calls visitor.Visit(IPostCondition).
Postcondition ( ) : System

Creates a fresh postcondition.
Postcondition ( IPostcondition postcondition ) : System

Creates a postcondition that shares all of the information in postcondition

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

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

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

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

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

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

Creates a postcondition that shares all of the information in postcondition
public Postcondition ( IPostcondition postcondition ) : System
postcondition IPostcondition
Результат System