C# Class Microsoft.Zing.HeapTraverser.HeapElementPrinter

显示文件 Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
edgeTrav FieldTraverser
nodeTrav FieldTraverser

Public Methods

Method Description
HeapElementPrinter ( StateImpl s ) : System

Private Methods

Method Description
OnEdge ( Pointer ptr ) : void
OnNode ( Pointer ptr ) : void

Method Details

HeapElementPrinter() public method

public HeapElementPrinter ( StateImpl s ) : System
s StateImpl
return System

Property Details

edgeTrav public_oe property

public FieldTraverser edgeTrav
return FieldTraverser

nodeTrav public_oe property

public FieldTraverser nodeTrav
return FieldTraverser