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

Afficher le fichier Open project: visualmutator/visualmutator Class Usage Examples

Private Properties

Свойство	Type	Description

Méthodes publiques

Méthode	Description
TypeContract ( ) : System
TypeContract ( ITypeContract typeContract ) : System

Method Details

TypeContract() public méthode

public TypeContract ( ) : System
Résultat	System

TypeContract() public méthode

public TypeContract ( ITypeContract typeContract ) : System
typeContract	ITypeContract
Résultat	System