C# Class Microsoft.Zing.HeapTraverser.ReferenceTraverser

Inheritance: FieldTraverser

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
DoTraversal ( Object field ) : void
DoTraversal ( Pointer ptr ) : void
ReferenceTraverser ( StateImpl s, FieldTraverser e ) : System

Method Details

DoTraversal() public method

public DoTraversal ( Object field ) : void
field	Object
return	void

DoTraversal() public method

public DoTraversal ( Pointer ptr ) : void
ptr	Pointer
return	void

ReferenceTraverser() public method

public ReferenceTraverser ( StateImpl s, FieldTraverser e ) : System
s	StateImpl
e	FieldTraverser
return	System