C# Class Microsoft.Zing.Looker

Walks an IR, mutuating it by replacing identifier nodes with the members/locals they resolve to
Inheritance: System.Compiler.Looker
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
GetDeclarer ( ) : System.Compiler.Declarer
HandleTypeExpected ( System.Compiler.Node offendingNode ) : void
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitField ( System.Compiler.Field field ) : System.Compiler.Field
VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
VisitThrow ( System.Compiler.Throw Throw ) : System.Compiler.Statement
VisitUnaryExpression ( System.Compiler.UnaryExpression unaryExpression ) : System.Compiler.Expression
VisitVariableDeclaration ( System.Compiler.VariableDeclaration variableDeclaration ) : System.Compiler.Statement

Private Methods

Méthode Description
AddExceptionName ( string exceptionName ) : void
HandleError ( System.Compiler.Node errorNode, Error error ) : void
Looker ( System.Compiler.Scope scope, ErrorHandler errorHandler, System.Compiler.TrivialHashtable scopeFor, TypeSystem typeSystem, System.Compiler.TrivialHashtable ambiguousTypes, System.Compiler.TrivialHashtable referencedLabels, Hashtable exceptionNames ) : System.Collections
Looker ( System.Compiler.Scope scope, Microsoft errorHandler, System.Compiler.TrivialHashtable scopeFor, TypeSystem typeSystem ) : System.Collections
VisitAccept ( AcceptStatement accept ) : AcceptStatement
VisitArray ( ZArray array ) : ZArray
VisitAssert ( AssertStatement assert ) : AssertStatement
VisitAssume ( AssumeStatement assume ) : AssumeStatement
VisitAsync ( AsyncMethodCall async ) : AsyncMethodCall
VisitAtomic ( AtomicBlock atomic ) : AtomicBlock
VisitAttributedStatement ( AttributedStatement attributedStmt ) : AttributedStatement
VisitChan ( Chan chan ) : Chan
VisitChoose ( System.Compiler.UnaryExpression expr ) : System.Compiler.UnaryExpression
VisitEventPattern ( EventPattern ep ) : EventPattern
VisitEventStatement ( EventStatement Event ) : EventStatement
VisitIn ( System.Compiler.BinaryExpression expr ) : System.Compiler.BinaryExpression
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeSched ( InvokeSchedulerStatement InvokeSched ) : InvokeSchedulerStatement
VisitJoinStatement ( JoinStatement joinstmt ) : JoinStatement
VisitRange ( Range range ) : Range
VisitReceivePattern ( ReceivePattern rp ) : ReceivePattern
VisitSelect ( Select select ) : Select
VisitSelf ( SelfExpression self ) : SelfExpression
VisitSend ( SendStatement send ) : SendStatement
VisitSet ( Set @set ) : Set
VisitTimeoutPattern ( TimeoutPattern tp ) : TimeoutPattern
VisitTrace ( TraceStatement trace ) : TraceStatement
VisitWaitPattern ( WaitPattern wp ) : WaitPattern
VisitWith ( With with ) : With
VisitYield ( YieldStatement yield ) : YieldStatement
VisitZTry ( ZTry Try ) : ZTry

Method Details

GetDeclarer() public méthode

public GetDeclarer ( ) : System.Compiler.Declarer
Résultat System.Compiler.Declarer

HandleTypeExpected() public méthode

public HandleTypeExpected ( System.Compiler.Node offendingNode ) : void
offendingNode System.Compiler.Node
Résultat void

Visit() public méthode

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

VisitField() public méthode

public VisitField ( System.Compiler.Field field ) : System.Compiler.Field
field System.Compiler.Field
Résultat System.Compiler.Field

VisitMethod() public méthode

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method System.Compiler.Method
Résultat System.Compiler.Method

VisitParameter() public méthode

public VisitParameter ( System.Compiler.Parameter parameter ) : System.Compiler.Expression
parameter System.Compiler.Parameter
Résultat System.Compiler.Expression

VisitThrow() public méthode

public VisitThrow ( System.Compiler.Throw Throw ) : System.Compiler.Statement
Throw System.Compiler.Throw
Résultat System.Compiler.Statement

VisitUnaryExpression() public méthode

public VisitUnaryExpression ( System.Compiler.UnaryExpression unaryExpression ) : System.Compiler.Expression
unaryExpression System.Compiler.UnaryExpression
Résultat System.Compiler.Expression

VisitVariableDeclaration() public méthode

public VisitVariableDeclaration ( System.Compiler.VariableDeclaration variableDeclaration ) : System.Compiler.Statement
variableDeclaration System.Compiler.VariableDeclaration
Résultat System.Compiler.Statement