C# 클래스 Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractDeepCopier.ContractElementDispatcher

상속: Microsoft.Cci.CodeVisitor, ICodeAndContractVisitor
파일 보기 프로젝트 열기: visualmutator/visualmutator

공개 메소드들

메소드 설명
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