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

Inheritance: Microsoft.Cci.CodeVisitor, ICodeAndContractVisitor

Datei anzeigen 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