메소드 | 설명 | |
---|---|---|
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 |
public Visit ( ILoopContract loopContract ) : void | ||
loopContract | ILoopContract | |
리턴 | void |
public Visit ( ILoopInvariant loopInvariant ) : void | ||
loopInvariant | ILoopInvariant | |
리턴 | void |
public Visit ( IMethodContract methodContract ) : void | ||
methodContract | IMethodContract | |
리턴 | void |
public Visit ( IPostcondition postCondition ) : void | ||
postCondition | IPostcondition | |
리턴 | void |
public Visit ( IPrecondition precondition ) : void | ||
precondition | IPrecondition | |
리턴 | void |
public Visit ( IThrownException thrownException ) : void | ||
thrownException | IThrownException | |
리턴 | void |
public Visit ( ITypeContract typeContract ) : void | ||
typeContract | ITypeContract | |
리턴 | void |
public Visit ( ITypeInvariant typeInvariant ) : void | ||
typeInvariant | ITypeInvariant | |
리턴 | void |