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

Inheritance: ContractElement, ITypeInvariant

Show file Open project: visualmutator/visualmutator Class Usage Examples

Public Methods

Method	Description
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.

Method Details

Dispatch() public method

Calls visitor.Visit(ITypeInvariant).

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
return	void

TypeInvariant() public method

Creates a fresh type invariant.

public TypeInvariant ( ) : System
return	System

TypeInvariant() public method

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

public TypeInvariant ( ITypeInvariant typeInvariant ) : System
typeInvariant	ITypeInvariant
return	System