C# 클래스 Microsoft.Zing.Normalizer

Walks an IR, replacing it with the C#-style IR for the code we wish to generate for Zing.
상속: System.Compiler.StandardVisitor
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티 타입 설명
visitingField bool

공개 메소드들

메소드 설명
GetRunnablePredicate ( JoinStatement joinStatement ) : System.Compiler.Expression
Normalizer ( Splicer splicer, AttributeList attributes, bool secondOfTwo ) : System.Compiler
Normalizer ( bool secondOfTwo ) : System.Compiler
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
VisitBranch ( System.Compiler.Branch branch ) : System.Compiler.Statement
VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
VisitFieldInitializer ( System.Compiler.Expression expr ) : System.Compiler.Expression
VisitImplicitThis ( System.Compiler.ImplicitThis implicitThis ) : System.Compiler.Expression
VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
VisitMemberBinding ( System.Compiler.MemberBinding binding ) : System.Compiler.Expression
VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
VisitThis ( System.Compiler.This This ) : System.Compiler.Expression
VisitUnaryExpression ( System.Compiler.UnaryExpression unaryExpression ) : System.Compiler.Expression
VisitYield ( YieldStatement Yield ) : System.Compiler.Statement

비공개 메소드들

메소드 설명
GenerateMethodCall ( System.Compiler.Block block, System.Compiler.MethodCall call, bool callIsAsync ) : void
GenerateMethodReturn ( System.Compiler.Block block, System.Compiler.AssignmentStatement assignmentStatement, System.Compiler.MethodCall call ) : void
GenerateNativeZOMCall ( System.Compiler.Block block, System.Compiler.MethodCall call, bool callIsAsync, System.Compiler.AssignmentStatement assignmentStatement ) : void
VisitAccept ( AcceptStatement accept ) : System.Compiler.Statement
VisitAssert ( AssertStatement assert ) : System.Compiler.Statement
VisitAssume ( AssumeStatement assume ) : System.Compiler.Statement
VisitAsync ( AsyncMethodCall async ) : System.Compiler.Statement
VisitEventPattern ( EventPattern ep ) : System.Compiler.Expression
VisitEventStatement ( EventStatement Event ) : System.Compiler.Statement
VisitIn ( System.Compiler.BinaryExpression expr ) : System.Compiler.Expression
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : System.Compiler.Statement
VisitInvokeSched ( InvokeSchedulerStatement InvokeSched ) : System.Compiler.Statement
VisitJoinStatement ( JoinStatement joinstmt ) : System.Compiler.Statement
VisitMemberBindingExpression ( System.Compiler.MemberBinding binding ) : System.Compiler.Expression
VisitReceivePattern ( ReceivePattern rp ) : System.Compiler.Expression
VisitSelf ( SelfExpression self ) : System.Compiler.Expression
VisitSend ( SendStatement send ) : System.Compiler.Statement
VisitTimeoutPattern ( TimeoutPattern tp ) : System.Compiler.Expression
VisitTrace ( TraceStatement trace ) : System.Compiler.Statement
VisitWaitPattern ( WaitPattern wp ) : System.Compiler.Expression

메소드 상세

GetRunnablePredicate() 공개 메소드

public GetRunnablePredicate ( JoinStatement joinStatement ) : System.Compiler.Expression
joinStatement JoinStatement
리턴 System.Compiler.Expression

Normalizer() 공개 메소드

public Normalizer ( Splicer splicer, AttributeList attributes, bool secondOfTwo ) : System.Compiler
splicer Splicer
attributes AttributeList
secondOfTwo bool
리턴 System.Compiler

Normalizer() 공개 메소드

public Normalizer ( bool secondOfTwo ) : System.Compiler
secondOfTwo bool
리턴 System.Compiler

Visit() 공개 메소드

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

VisitAssignmentExpression() 공개 메소드

public VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
assignment System.Compiler.AssignmentExpression
리턴 System.Compiler.Expression

VisitAssignmentStatement() 공개 메소드

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment System.Compiler.AssignmentStatement
리턴 System.Compiler.Statement

VisitBinaryExpression() 공개 메소드

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression System.Compiler.BinaryExpression
리턴 System.Compiler.Expression

VisitBranch() 공개 메소드

public VisitBranch ( System.Compiler.Branch branch ) : System.Compiler.Statement
branch System.Compiler.Branch
리턴 System.Compiler.Statement

VisitConstruct() 공개 메소드

public VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
cons System.Compiler.Construct
리턴 System.Compiler.Expression

VisitExpression() 공개 메소드

public VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
expression System.Compiler.Expression
리턴 System.Compiler.Expression

VisitExpressionStatement() 공개 메소드

public VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
statement System.Compiler.ExpressionStatement
리턴 System.Compiler.Statement

VisitFieldInitializer() 공개 메소드

public VisitFieldInitializer ( System.Compiler.Expression expr ) : System.Compiler.Expression
expr System.Compiler.Expression
리턴 System.Compiler.Expression

VisitImplicitThis() 공개 메소드

public VisitImplicitThis ( System.Compiler.ImplicitThis implicitThis ) : System.Compiler.Expression
implicitThis System.Compiler.ImplicitThis
리턴 System.Compiler.Expression

VisitIndexer() 공개 메소드

public VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
indexer System.Compiler.Indexer
리턴 System.Compiler.Expression

VisitLiteral() 공개 메소드

public VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
literal System.Compiler.Literal
리턴 System.Compiler.Expression

VisitMemberBinding() 공개 메소드

public VisitMemberBinding ( System.Compiler.MemberBinding binding ) : System.Compiler.Expression
binding System.Compiler.MemberBinding
리턴 System.Compiler.Expression

VisitMethodCall() 공개 메소드

public VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
call System.Compiler.MethodCall
리턴 System.Compiler.Expression

VisitReturn() 공개 메소드

public VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
Return System.Compiler.Return
리턴 System.Compiler.Statement

VisitThis() 공개 메소드

public VisitThis ( System.Compiler.This This ) : System.Compiler.Expression
This System.Compiler.This
리턴 System.Compiler.Expression

VisitUnaryExpression() 공개 메소드

public VisitUnaryExpression ( System.Compiler.UnaryExpression unaryExpression ) : System.Compiler.Expression
unaryExpression System.Compiler.UnaryExpression
리턴 System.Compiler.Expression

VisitYield() 공개 메소드

public VisitYield ( YieldStatement Yield ) : System.Compiler.Statement
Yield YieldStatement
리턴 System.Compiler.Statement

프로퍼티 상세

visitingField 공개적으로 프로퍼티

public bool visitingField
리턴 bool