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

Inheritance: FieldTraverser
显示文件 Open project: ZingModelChecker/Zing

Public Methods

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

NodePrinter() public method

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