C# Class Microsoft.Zing.Duplicator

Inheritance: System.Compiler.Duplicator
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode 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

Méthode 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 méthode

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.
Résultat System.Compiler

VisitMethod() public méthode

public VisitMethod ( System.Compiler.Method method ) : System.Compiler.Method
method System.Compiler.Method
Résultat System.Compiler.Method

VisitTypeAlias() public méthode

public VisitTypeAlias ( TypeAlias tAlias ) : TypeAlias
tAlias TypeAlias
Résultat TypeAlias

VisitUnknownNodeType() public méthode

public VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
Résultat System.Compiler.Node