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

Inheritance: Microsoft.Cci.CodeVisitor, ICodeAndContractVisitor

Afficher le fichier Open project: visualmutator/visualmutator

Méthodes publiques

Méthode	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 méthode

public Visit ( ILoopContract loopContract ) : void
loopContract	ILoopContract
Résultat	void

Visit() public méthode

public Visit ( ILoopInvariant loopInvariant ) : void
loopInvariant	ILoopInvariant
Résultat	void

Visit() public méthode

public Visit ( IMethodContract methodContract ) : void
methodContract	IMethodContract
Résultat	void

Visit() public méthode

public Visit ( IPostcondition postCondition ) : void
postCondition	IPostcondition
Résultat	void

Visit() public méthode

public Visit ( IPrecondition precondition ) : void
precondition	IPrecondition
Résultat	void

Visit() public méthode

public Visit ( IThrownException thrownException ) : void
thrownException	IThrownException
Résultat	void

Visit() public méthode

public Visit ( ITypeContract typeContract ) : void
typeContract	ITypeContract
Résultat	void

Visit() public méthode

public Visit ( ITypeInvariant typeInvariant ) : void
typeInvariant	ITypeInvariant
Résultat	void