C# 클래스 Microsoft.Zing.HeapTraverser.ReferenceTraverser

상속: FieldTraverser
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드 설명
DoTraversal ( Object field ) : void
DoTraversal ( Pointer ptr ) : void
ReferenceTraverser ( StateImpl s, FieldTraverser e ) : System

메소드 상세

DoTraversal() 공개 메소드

public DoTraversal ( Object field ) : void
field Object
리턴 void

DoTraversal() 공개 메소드

public DoTraversal ( Pointer ptr ) : void
ptr Pointer
리턴 void

ReferenceTraverser() 공개 메소드

public ReferenceTraverser ( StateImpl s, FieldTraverser e ) : System
s StateImpl
e FieldTraverser
리턴 System