• 홈
• Microsoft
• Zing
• BBSplitter

C# 클래스 Microsoft.Zing.BBSplitter

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

Private Properties

프로퍼티	타입	설명
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

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세