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

A common supertype providing a shared implementation used by the classes LoopInvariant, Precondition, PostCondition, and TypeInvariant.
Наследование: IContractElement
Показать файл Открыть проект Примеры использования класса

Private Properties

Свойство Тип Описание

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

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

Calls the visitor.Visit(T) method where T is the most derived object model node interface type implemented by the concrete type of the object implementing IContractElement.

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

Метод Описание
ContractElement ( ) : System

Creates a fresh contract element with no information in it.
ContractElement ( IContractElement element ) : System

Creates a contract element that shares all of the information in element.

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

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

Creates a fresh contract element with no information in it.
protected ContractElement ( ) : System
Результат System

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

Creates a contract element that shares all of the information in element.
protected ContractElement ( IContractElement element ) : System
element IContractElement
Результат System

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

Calls the visitor.Visit(T) method where T is the most derived object model node interface type implemented by the concrete type of the object implementing IContractElement.
public abstract Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
Результат void