C# Class Microsoft.Cci.MutableContracts.Postcondition

A condition that must be true at the end of a method.
Inheritance: ContractElement, IPostcondition
Show file Open project: visualmutator/visualmutator Class Usage Examples

Public Methods

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

Method Details

Dispatch() public method

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

Postcondition() public method

Creates a fresh postcondition.
public Postcondition ( ) : System
return System

Postcondition() public method

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