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

Inheritance: FieldTraverser
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
DoTraversal ( Object field ) : void
DoTraversal ( Pointer ptr ) : void
NodePrinter ( HeapElementPrinter p ) : System

Method Details

DoTraversal() public méthode

public DoTraversal ( Object field ) : void
field Object
Résultat void

DoTraversal() public méthode

public DoTraversal ( Pointer ptr ) : void
ptr Pointer
Résultat void

NodePrinter() public méthode

public NodePrinter ( HeapElementPrinter p ) : System
p HeapElementPrinter
Résultat System