C# Class Microsoft.Zing.HeapTraverser.HeapElementPrinter.EdgePrinter

Inheritance: FieldTraverser
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
DoTraversal ( Object field ) : void
DoTraversal ( Pointer ptr ) : void
EdgePrinter ( HeapElementPrinter p ) : 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

EdgePrinter() public method

public EdgePrinter ( HeapElementPrinter p ) : System
p HeapElementPrinter
return System