C# 클래스 Microsoft.Cci.MutableContracts.ContractElement

A common supertype providing a shared implementation used by the classes LoopInvariant, Precondition, PostCondition, and TypeInvariant.
상속: IContractElement
파일 보기 프로젝트 열기: visualmutator/visualmutator 1 사용 예제들

Private Properties

프로퍼티 타입 설명

공개 메소드들

메소드 설명
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.

보호된 메소드들

메소드 설명
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.

메소드 상세

ContractElement() 보호된 메소드

Creates a fresh contract element with no information in it.
protected ContractElement ( ) : System
리턴 System

ContractElement() 보호된 메소드

Creates a contract element that shares all of the information in element.
protected ContractElement ( IContractElement element ) : System
element IContractElement
리턴 System

Dispatch() 공개 추상적인 메소드

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
리턴 void