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

A condition that must be true after an object has been constructed and that is by default a part of the precondition and postcondition of every public method of the associated type.

Наследование: ContractElement, ITypeInvariant

Показать файл Открыть проект Примеры использования класса

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

Метод	Описание
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(ITypeInvariant).
TypeInvariant ( ) : System	Creates a fresh type invariant.
TypeInvariant ( ITypeInvariant typeInvariant ) : System	Creates a type invariant that shares all of the information in typeInvariant.

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

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

Calls visitor.Visit(ITypeInvariant).

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

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

Creates a fresh type invariant.

public TypeInvariant ( ) : System
Результат	System

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

Creates a type invariant that shares all of the information in typeInvariant.

public TypeInvariant ( ITypeInvariant typeInvariant ) : System
typeInvariant	ITypeInvariant
Результат	System