C# Class Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractShallowCopier.ContractElementDispatcher

Inheritance: Microsoft.Cci.CodeVisitor, ICodeAndContractVisitor
Mostra file Open project: visualmutator/visualmutator

Public Methods

Method Description
Visit ( ILoopContract loopContract ) : void
Visit ( ILoopInvariant loopInvariant ) : void
Visit ( IMethodContract methodContract ) : void
Visit ( IPostcondition postCondition ) : void
Visit ( IPrecondition precondition ) : void
Visit ( IThrownException thrownException ) : void
Visit ( ITypeContract typeContract ) : void
Visit ( ITypeInvariant typeInvariant ) : void

Method Details

Visit() public method

public Visit ( ILoopContract loopContract ) : void
loopContract ILoopContract
return void

Visit() public method

public Visit ( ILoopInvariant loopInvariant ) : void
loopInvariant ILoopInvariant
return void

Visit() public method

public Visit ( IMethodContract methodContract ) : void
methodContract IMethodContract
return void

Visit() public method

public Visit ( IPostcondition postCondition ) : void
postCondition IPostcondition
return void

Visit() public method

public Visit ( IPrecondition precondition ) : void
precondition IPrecondition
return void

Visit() public method

public Visit ( IThrownException thrownException ) : void
thrownException IThrownException
return void

Visit() public method

public Visit ( ITypeContract typeContract ) : void
typeContract ITypeContract
return void

Visit() public method

public Visit ( ITypeInvariant typeInvariant ) : void
typeInvariant ITypeInvariant
return void