• 홈
• Microsoft
• Zing
• ZReplacer

C# 클래스 Microsoft.Zing.ZReplacer

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

공개 메소드들

메소드	설명
VisitAttributeList ( AttributeList attributes ) : AttributeList
VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
ZReplace ( System.Compiler.Node node, System.Compiler.Identifier oldName, System.Compiler.Node newNode ) : void	Within "node", replace occurrences of identifiers matching oldName (by value) with the given newNode. newNode must be an expression.
ZReplace ( System.Compiler.Node node, string labelName, System.Compiler.Block block ) : void	Within "node", find a labeled statement whose label matches the given string, and replace it with the supplied statement block.
ZReplace ( System.Compiler.Node node, string oldName, System.Compiler.Node newNode ) : void	Within "node", replace identifiers matching the value of oldName with the given newNode (of type Expression).

비공개 메소드들

메소드	설명
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
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
ZReplacer ( System.Compiler.Identifier oldName, System.Compiler.Node newNode ) : System

메소드 상세