C# Class Microsoft.Cci.MutableContracts.ContractElement

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

Inheritance: IContractElement

Show file Open project: visualmutator/visualmutator Class Usage Examples

Private Properties

Property	Type	Description

Public Methods

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

Protected Methods

Method	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 method

Creates a fresh contract element with no information in it.

protected ContractElement ( ) : System
return	System

ContractElement() protected method

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

protected ContractElement ( IContractElement element ) : System
element	IContractElement
return	System

Dispatch() public abstract method

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
return	void