C# Class Microsoft.Zing.HeapTraverser.HeapElementPrinter

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство Type Description
edgeTrav FieldTraverser
nodeTrav FieldTraverser

Méthodes publiques

Méthode Description
HeapElementPrinter ( StateImpl s ) : System

Private Methods

Méthode Description
OnEdge ( Pointer ptr ) : void
OnNode ( Pointer ptr ) : void

Method Details

HeapElementPrinter() public méthode

public HeapElementPrinter ( StateImpl s ) : System
s StateImpl
Résultat System

Property Details

edgeTrav public_oe property

public FieldTraverser edgeTrav
Résultat FieldTraverser

nodeTrav public_oe property

public FieldTraverser nodeTrav
Résultat FieldTraverser