• 홈
• Microsoft
• Zing
• Duplicator

C# 클래스 Microsoft.Zing.Duplicator

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

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

비공개 메소드들

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

메소드 상세