C# Class Microsoft.Zing.Restorer

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

Public Methods

Method 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 method

public Restorer ( System.Compiler.Module targetModule ) : System.Compiler
targetModule System.Compiler.Module
return System.Compiler

Visit() public method

public Visit ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
return System.Compiler.Node

VisitUnknownNodeType() public method

public VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
return System.Compiler.Node