C# Class Microsoft.Cci.Contracts.DummyPostcondition

Inheritance: IPostcondition
Exibir arquivo Open project: visualmutator/visualmutator

Public Methods

Method Description
Dispatch ( ICodeAndContractVisitor visitor ) : void

Method Details

Dispatch() public method

public Dispatch ( ICodeAndContractVisitor visitor ) : void
visitor ICodeAndContractVisitor
return void