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

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

Méthodes publiques

Méthode Description
DoTraversal ( Object field ) : void
DoTraversal ( Pointer ptr ) : void
EdgePrinter ( 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

EdgePrinter() public méthode

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