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

A collection of collections of objects that augment the signature of a type with additional information that describe invariants, model variables and functions, as well as axioms.

Наследование: ITypeContract

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

Private Properties

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

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

Метод	Описание
TypeContract ( ) : System
TypeContract ( ITypeContract typeContract ) : System

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

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

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

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

public TypeContract ( ITypeContract typeContract ) : System
typeContract	ITypeContract
Результат	System