C# 클래스 Microsoft.Zing.Restorer

Patches the type nodes in an IR tree to refer to the given target module.
상속: System.Compiler.StandardVisitor
파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드 설명
Restorer ( System.Compiler.Module targetModule ) : System.Compiler
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node

메소드 상세

Restorer() 공개 메소드

public Restorer ( System.Compiler.Module targetModule ) : System.Compiler
targetModule System.Compiler.Module
리턴 System.Compiler

Visit() 공개 메소드

public Visit ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
리턴 System.Compiler.Node

VisitUnknownNodeType() 공개 메소드

public VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
리턴 System.Compiler.Node