C# Class Microsoft.Zing.Normalizer

Walks an IR, replacing it with the C#-style IR for the code we wish to generate for Zing.

Inheritance: System.Compiler.StandardVisitor

ファイルを表示 Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
visitingField	bool

Public Methods

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

Private Methods

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

Method Details

GetRunnablePredicate() public method

public GetRunnablePredicate ( JoinStatement joinStatement ) : System.Compiler.Expression
joinStatement	JoinStatement
return	System.Compiler.Expression

Normalizer() public method

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

Normalizer() public method

public Normalizer ( bool secondOfTwo ) : System.Compiler
secondOfTwo	bool
return	System.Compiler

Visit() public method

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

VisitAssignmentExpression() public method

public VisitAssignmentExpression ( System.Compiler.AssignmentExpression assignment ) : System.Compiler.Expression
assignment	System.Compiler.AssignmentExpression
return	System.Compiler.Expression

VisitAssignmentStatement() public method

public VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
assignment	System.Compiler.AssignmentStatement
return	System.Compiler.Statement

VisitBinaryExpression() public method

public VisitBinaryExpression ( System.Compiler.BinaryExpression binaryExpression ) : System.Compiler.Expression
binaryExpression	System.Compiler.BinaryExpression
return	System.Compiler.Expression

VisitBranch() public method

public VisitBranch ( System.Compiler.Branch branch ) : System.Compiler.Statement
branch	System.Compiler.Branch
return	System.Compiler.Statement

VisitConstruct() public method

public VisitConstruct ( System.Compiler.Construct cons ) : System.Compiler.Expression
cons	System.Compiler.Construct
return	System.Compiler.Expression

VisitExpression() public method

public VisitExpression ( System.Compiler.Expression expression ) : System.Compiler.Expression
expression	System.Compiler.Expression
return	System.Compiler.Expression

VisitExpressionStatement() public method

public VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
statement	System.Compiler.ExpressionStatement
return	System.Compiler.Statement

VisitFieldInitializer() public method

public VisitFieldInitializer ( System.Compiler.Expression expr ) : System.Compiler.Expression
expr	System.Compiler.Expression
return	System.Compiler.Expression

VisitImplicitThis() public method

public VisitImplicitThis ( System.Compiler.ImplicitThis implicitThis ) : System.Compiler.Expression
implicitThis	System.Compiler.ImplicitThis
return	System.Compiler.Expression

VisitIndexer() public method

public VisitIndexer ( System.Compiler.Indexer indexer ) : System.Compiler.Expression
indexer	System.Compiler.Indexer
return	System.Compiler.Expression

VisitLiteral() public method

public VisitLiteral ( System.Compiler.Literal literal ) : System.Compiler.Expression
literal	System.Compiler.Literal
return	System.Compiler.Expression

VisitMemberBinding() public method

public VisitMemberBinding ( System.Compiler.MemberBinding binding ) : System.Compiler.Expression
binding	System.Compiler.MemberBinding
return	System.Compiler.Expression

VisitMethodCall() public method

public VisitMethodCall ( System.Compiler.MethodCall call ) : System.Compiler.Expression
call	System.Compiler.MethodCall
return	System.Compiler.Expression

VisitReturn() public method

public VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
Return	System.Compiler.Return
return	System.Compiler.Statement

VisitThis() public method

public VisitThis ( System.Compiler.This This ) : System.Compiler.Expression
This	System.Compiler.This
return	System.Compiler.Expression

VisitUnaryExpression() public method

public VisitUnaryExpression ( System.Compiler.UnaryExpression unaryExpression ) : System.Compiler.Expression
unaryExpression	System.Compiler.UnaryExpression
return	System.Compiler.Expression

VisitYield() public method

public VisitYield ( YieldStatement Yield ) : System.Compiler.Statement
Yield	YieldStatement
return	System.Compiler.Statement

Property Details

visitingField public_oe property

public bool visitingField
return	bool