C# Class 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.

Inheritance: ITypeContract

Datei anzeigen Open project: visualmutator/visualmutator Class Usage Examples

Private Properties

Property	Type	Description

Public Methods

Method	Description
TypeContract ( ) : System
TypeContract ( ITypeContract typeContract ) : System

Method Details

TypeContract() public method

public TypeContract ( ) : System
return	System

TypeContract() public method

public TypeContract ( ITypeContract typeContract ) : System
typeContract	ITypeContract
return	System