C# Class Microsoft.Zing.Restorer

Patches the type nodes in an IR tree to refer to the given target module.
Inheritance: System.Compiler.StandardVisitor
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Méthode Description
Restorer ( System.Compiler.Module targetModule ) : System.Compiler
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node

Method Details

Restorer() public méthode

public Restorer ( System.Compiler.Module targetModule ) : System.Compiler
targetModule System.Compiler.Module
Résultat System.Compiler

Visit() public méthode

public Visit ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
Résultat System.Compiler.Node

VisitUnknownNodeType() public méthode

public VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
Résultat System.Compiler.Node