C# Class Microsoft.Zing.ZReplacer

Inheritance: Replacer
Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method Description
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).

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
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

Method Details

VisitAttributeList() public method

public VisitAttributeList ( AttributeList attributes ) : AttributeList
attributes AttributeList
return AttributeList

VisitGoto() public method

public VisitGoto ( System.Compiler.Goto Goto ) : System.Compiler.Statement
Goto System.Compiler.Goto
return System.Compiler.Statement

VisitUnknownNodeType() public method

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

ZReplace() public static method

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
return void

ZReplace() public static method

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
return void

ZReplace() public static method

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
return void