C# Class Microsoft.Zing.BBSplitter

Inheritance: System.Compiler.StandardVisitor
Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Property Type Description
AddBlock BasicBlock
BBSplitter System
CoalesceBlock BasicBlock
IsCoalescableAssignment bool
IsCoalescableBlock bool
IsCoalescableExpr bool
IsCoalescableIfStmt bool
IsCoalescableStmt bool
IsCoalescableWhileStmt bool
PopContinuationStack BasicBlock
PopExceptionContext void
PushContinuationStack void
PushContinuationStack void
PushExceptionContext void
VisitAccept AcceptStatement
VisitAssert AssertStatement
VisitAssume AssumeStatement
VisitAtomic AtomicBlock
VisitAttributedStatement AttributedStatement
VisitEventStatement EventStatement
VisitInvokePlugin InvokePluginStatement
VisitInvokeSched InvokeSchedulerStatement
VisitSelect Select
VisitSend SendStatement
VisitTrace TraceStatement
VisitZTry ZTry

Public Methods

Method Description
SplitMethod ( ZMethod method, Splicer splicer ) : List
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitAssignmentStatement ( System.Compiler.AssignmentStatement assignment ) : System.Compiler.Statement
VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
VisitBranch ( System.Compiler.Branch branch ) : System.Compiler.Statement
VisitExpressionStatement ( System.Compiler.ExpressionStatement statement ) : System.Compiler.Statement
VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
VisitReturn ( System.Compiler.Return Return ) : System.Compiler.Statement
VisitStatementList ( StatementList stmts ) : StatementList
VisitThrow ( System.Compiler.Throw Throw ) : System.Compiler.Statement
VisitWhile ( System.Compiler.While While ) : System.Compiler.Statement
VisitYield ( YieldStatement yield ) : System.Compiler.Statement

Private Methods

Method Description
AddBlock ( BasicBlock block ) : BasicBlock
BBSplitter ( Splicer splicer ) : System
CoalesceBlock ( System.Compiler.Block block, BasicBlock ctng ) : BasicBlock
IsCoalescableAssignment ( System.Compiler.AssignmentStatement aStmt ) : bool
IsCoalescableBlock ( System.Compiler.Block block ) : bool
IsCoalescableExpr ( System.Compiler.Expression e ) : bool
IsCoalescableIfStmt ( System.Compiler.If s ) : bool
IsCoalescableStmt ( System.Compiler.Statement s ) : bool
IsCoalescableWhileStmt ( System.Compiler.While s ) : bool
PopContinuationStack ( ) : BasicBlock
PopExceptionContext ( ) : void
PushContinuationStack ( ) : void
PushContinuationStack ( BasicBlock block ) : void
PushExceptionContext ( BasicBlock handler ) : void
VisitAccept ( AcceptStatement accept ) : AcceptStatement
VisitAssert ( AssertStatement assert ) : AssertStatement
VisitAssume ( AssumeStatement assume ) : AssumeStatement
VisitAtomic ( AtomicBlock atomic ) : AtomicBlock
VisitAttributedStatement ( AttributedStatement attributedStmt ) : AttributedStatement
VisitEventStatement ( EventStatement Event ) : EventStatement
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeSched ( InvokeSchedulerStatement InvokeSched ) : InvokeSchedulerStatement
VisitSelect ( Select select ) : Select
VisitSend ( SendStatement send ) : SendStatement
VisitTrace ( TraceStatement trace ) : TraceStatement
VisitZTry ( ZTry Try ) : ZTry

Method Details

SplitMethod() public static method

public static SplitMethod ( ZMethod method, Splicer splicer ) : List
method ZMethod
splicer Splicer
return List

Visit() public method

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

VisitAssignmentStatement() public method

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

VisitBlock() public method

public VisitBlock ( System.Compiler.Block block ) : System.Compiler.Block
block System.Compiler.Block
return System.Compiler.Block

VisitBranch() public method

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

VisitExpressionStatement() public method

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

VisitForEach() public method

public VisitForEach ( System.Compiler.ForEach forEach ) : System.Compiler.Statement
forEach System.Compiler.ForEach
return System.Compiler.Statement

VisitGoto() public method

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto System.Compiler.Goto
return System.Compiler.Statement

VisitIf() public method

public VisitIf ( System.Compiler.If If ) : System.Compiler.Statement
If System.Compiler.If
return System.Compiler.Statement

VisitLabeledStatement() public method

public VisitLabeledStatement ( System.Compiler.LabeledStatement lStatement ) : System.Compiler.Statement
lStatement System.Compiler.LabeledStatement
return System.Compiler.Statement

VisitReturn() public method

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

VisitStatementList() public method

public VisitStatementList ( StatementList stmts ) : StatementList
stmts StatementList
return StatementList

VisitThrow() public method

public VisitThrow ( System.Compiler.Throw Throw ) : System.Compiler.Statement
Throw System.Compiler.Throw
return System.Compiler.Statement

VisitWhile() public method

public VisitWhile ( System.Compiler.While While ) : System.Compiler.Statement
While System.Compiler.While
return System.Compiler.Statement

VisitYield() public method

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