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

A condition that must be true at the end of a method.
상속: ContractElement, IPostcondition
파일 보기 프로젝트 열기: visualmutator/visualmutator 1 사용 예제들

공개 메소드들

메소드 설명
Dispatch ( ICodeAndContractVisitor visitor ) : void

Calls visitor.Visit(IPostCondition).
Postcondition ( ) : System

Creates a fresh postcondition.
Postcondition ( IPostcondition postcondition ) : System

Creates a postcondition that shares all of the information in postcondition

메소드 상세

Dispatch() 공개 메소드

Calls visitor.Visit(IPostCondition).
public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
리턴 void

Postcondition() 공개 메소드

Creates a fresh postcondition.
public Postcondition ( ) : System
리턴 System

Postcondition() 공개 메소드

Creates a postcondition that shares all of the information in postcondition
public Postcondition ( IPostcondition postcondition ) : System
postcondition IPostcondition
리턴 System