C# Class Microsoft.Zing.Partitioner

Inheritance: System.Compiler.Partitioner
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
Partitioner ( ) : System.Compiler
Partitioner ( System.Compiler.Visitor callingVisitor ) : System.Compiler
Visit ( System.Compiler.Node node ) : System.Compiler.Node
VisitThrow ( System.Compiler.Throw Throw ) : System.Compiler.Statement

Private Methods

Method Description
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
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
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
VisitZTry ( ZTry Try ) : ZTry

Method Details

Partitioner() public method

public Partitioner ( ) : System.Compiler
return System.Compiler

Partitioner() public method

public Partitioner ( System.Compiler.Visitor callingVisitor ) : System.Compiler
callingVisitor System.Compiler.Visitor
return System.Compiler

Visit() public method

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

VisitThrow() public method

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