C# 클래스 Microsoft.Zing.ZReplacer

상속: Replacer
파일 보기 프로젝트 열기: 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

메소드 상세

VisitAttributeList() 공개 메소드

public VisitAttributeList ( AttributeList attributes ) : AttributeList
attributes AttributeList
리턴 AttributeList

VisitGoto() 공개 메소드

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto System.Compiler.Goto
리턴 System.Compiler.Statement

VisitUnknownNodeType() 공개 메소드

public VisitUnknownNodeType ( System.Compiler.Node node ) : System.Compiler.Node
node System.Compiler.Node
리턴 System.Compiler.Node

ZReplace() 공개 정적인 메소드

Within "node", replace occurrences of identifiers matching oldName (by value) with the given newNode. newNode must be an expression.
public static ZReplace ( System.Compiler.Node node, System.Compiler.Identifier oldName, System.Compiler.Node newNode ) : void
node System.Compiler.Node
oldName System.Compiler.Identifier
newNode System.Compiler.Node
리턴 void

ZReplace() 공개 정적인 메소드

Within "node", find a labeled statement whose label matches the given string, and replace it with the supplied statement block.
public static ZReplace ( System.Compiler.Node node, string labelName, System.Compiler.Block block ) : void
node System.Compiler.Node
labelName string
block System.Compiler.Block
리턴 void

ZReplace() 공개 정적인 메소드

Within "node", replace identifiers matching the value of oldName with the given newNode (of type Expression).
public static ZReplace ( System.Compiler.Node node, string oldName, System.Compiler.Node newNode ) : void
node System.Compiler.Node
oldName string
newNode System.Compiler.Node
리턴 void