C# Class Microsoft.Cci.MutableContracts.ContractElement

A common supertype providing a shared implementation used by the classes LoopInvariant, Precondition, PostCondition, and TypeInvariant.

Inheritance: IContractElement

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

Private Properties

Свойство	Type	Description

Méthodes publiques

Méthode	Description
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls the visitor.Visit(T) method where T is the most derived object model node interface type implemented by the concrete type of the object implementing IContractElement.

Méthodes protégées

Méthode	Description
ContractElement ( ) : System	Creates a fresh contract element with no information in it.
ContractElement ( IContractElement element ) : System	Creates a contract element that shares all of the information in element.

Method Details

ContractElement() protected méthode

Creates a fresh contract element with no information in it.

protected ContractElement ( ) : System
Résultat	System

ContractElement() protected méthode

Creates a contract element that shares all of the information in element.

protected ContractElement ( IContractElement element ) : System
element	IContractElement
Résultat	System

Dispatch() public abstract méthode

Calls the visitor.Visit(T) method where T is the most derived object model node interface type implemented by the concrete type of the object implementing IContractElement.

public abstract Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
Résultat	void