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

A condition that must be true at the start of a method, possibly bundled with an exception that will be thrown if the condition does not hold.

상속: ContractElement, IPrecondition

공개 메소드들

메소드	설명
Dispatch ( ICodeAndContractVisitor visitor ) : void	Calls visitor.Visit(IPrecondition).
Precondition ( ) : System	Creates a fresh precondition.
Precondition ( IPrecondition precondition ) : System	Creates a precondition that shares all of the information in precondition.

Calls visitor.Visit(IPrecondition).

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor	ICodeAndContractVisitor
리턴	void

Creates a fresh precondition.

public Precondition ( ) : System
리턴	System

Creates a precondition that shares all of the information in precondition.

public Precondition ( IPrecondition precondition ) : System
precondition	IPrecondition
리턴	System