C# Class Microsoft.Zing.Duplicator

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

Public Methods

Method Description
Duplicator ( System.Compiler.Module module, System.Compiler.TypeNode type ) : System.Compiler
VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
VisitTypeAlias ( TypeAlias tAlias ) : TypeAlias
VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node

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
VisitIn ( System.Compiler.BinaryExpression expr ) : System.Compiler.BinaryExpression
VisitInvokePlugin ( InvokePluginStatement InvokePlugin ) : InvokePluginStatement
VisitInvokeSched ( InvokeSchedulerStatement InvokeSched ) : InvokeSchedulerStatement
VisitJoinStatement ( JoinStatement joinstmt ) : JoinStatement
VisitRange ( Range range ) : Range
VisitReceivePattern ( ReceivePattern rp ) : ReceivePattern
VisitSelect ( Select select ) : Select
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

Duplicator() public method

public Duplicator ( System.Compiler.Module module, System.Compiler.TypeNode type ) : System.Compiler
module System.Compiler.Module The module into which the duplicate IR will be grafted.
type System.Compiler.TypeNode The type into which the duplicate Member will be grafted. Ignored if entire type, or larger unit is duplicated.
return System.Compiler

VisitMethod() public method

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method System.Compiler.Method
return System.Compiler.Method

VisitTypeAlias() public method

public VisitTypeAlias ( TypeAlias tAlias ) : TypeAlias
tAlias TypeAlias
return TypeAlias

VisitUnknownNodeType() public method

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