C# Класс Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractDeepCopier.ContractElementDispatcher

Наследование: Microsoft.Cci.CodeVisitor, ICodeAndContractVisitor

Показать файл Открыть проект

Открытые методы

Метод	Описание
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

Описание методов

Visit() публичный Метод

public Visit ( ILoopContract loopContract ) : void
loopContract	ILoopContract
Результат	void

Visit() публичный Метод

public Visit ( ILoopInvariant loopInvariant ) : void
loopInvariant	ILoopInvariant
Результат	void

Visit() публичный Метод

public Visit ( IMethodContract methodContract ) : void
methodContract	IMethodContract
Результат	void

Visit() публичный Метод

public Visit ( IPostcondition postCondition ) : void
postCondition	IPostcondition
Результат	void

Visit() публичный Метод

public Visit ( IPrecondition precondition ) : void
precondition	IPrecondition
Результат	void

Visit() публичный Метод

public Visit ( IThrownException thrownException ) : void
thrownException	IThrownException
Результат	void

Visit() публичный Метод

public Visit ( ITypeContract typeContract ) : void
typeContract	ITypeContract
Результат	void

Visit() публичный Метод

public Visit ( ITypeInvariant typeInvariant ) : void
typeInvariant	ITypeInvariant
Результат	void