C# Class Microsoft.Zing.Resolver

Walks an IR, mutuating it by replacing identifier nodes with the members/locals they resolve to

Inheritance: System.Compiler.Resolver

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
InferTypeOfBinaryExpression ( System.Compiler.TypeNode t1, System.Compiler.TypeNode t2, System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.TypeNode
Resolver ( ErrorHandler errorHandler, TypeSystem typeSystem ) : System.Compiler
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
VisitForEach ( ForEach forEach ) : Statement
VisitMemberBinding ( MemberBinding memberBinding ) : Expression
VisitMethodCall ( MethodCall call ) : Expression
VisitNameBinding ( NameBinding nameBinding ) : Expression
VisitNameBindingCore ( NameBinding nameBinding ) : Expression
VisitQualifiedIdentifier ( QualifiedIdentifier qualifiedIdentifier ) : Expression
VisitQualifiedIdentifierCore ( QualifiedIdentifier qualifiedIdentifier ) : Expression
VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression

Private Methods

Méthode	Description
HandleError ( System.Compiler.Node errorNode, Error error ) : void
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 ( BinaryExpression expr ) : BinaryExpression
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeShed ( 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

InferTypeOfBinaryExpression() public méthode

public InferTypeOfBinaryExpression ( System.Compiler.TypeNode t1, System.Compiler.TypeNode t2, System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.TypeNode
t1	System.Compiler.TypeNode
t2	System.Compiler.TypeNode
binaryExpression	System.Compiler.BinaryExpression
Résultat	System.Compiler.TypeNode

Resolver() public méthode

public Resolver ( ErrorHandler errorHandler, TypeSystem typeSystem ) : System.Compiler
errorHandler	ErrorHandler
typeSystem	TypeSystem
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

VisitAssignmentStatement() public méthode

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment	System.Compiler.AssignmentStatement
Résultat	System.Compiler.Statement

VisitBinaryExpression() public méthode

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression	System.Compiler.BinaryExpression
Résultat	System.Compiler.Expression

VisitForEach() public méthode

public VisitForEach ( ForEach forEach ) : Statement
forEach	ForEach
Résultat	Statement

VisitMemberBinding() public méthode

public VisitMemberBinding ( MemberBinding memberBinding ) : Expression
memberBinding	MemberBinding
Résultat	Expression

VisitMethodCall() public méthode

public VisitMethodCall ( MethodCall call ) : Expression
call	MethodCall
Résultat	Expression

VisitNameBinding() public méthode

public VisitNameBinding ( NameBinding nameBinding ) : Expression
nameBinding	NameBinding
Résultat	Expression

VisitNameBindingCore() public méthode

public VisitNameBindingCore ( NameBinding nameBinding ) : Expression
nameBinding	NameBinding
Résultat	Expression

VisitQualifiedIdentifier() public méthode

public VisitQualifiedIdentifier ( QualifiedIdentifier qualifiedIdentifier ) : Expression
qualifiedIdentifier	QualifiedIdentifier
Résultat	Expression

VisitQualifiedIdentifierCore() public méthode

public VisitQualifiedIdentifierCore ( QualifiedIdentifier qualifiedIdentifier ) : Expression
qualifiedIdentifier	QualifiedIdentifier
Résultat	Expression

VisitUnaryExpression() public méthode

public VisitUnaryExpression ( UnaryExpression unaryExpression ) : Expression
unaryExpression	UnaryExpression
Résultat	Expression