C# Class Microsoft.Zing.Application.StaticMethodExtras

Inheritance: ZingMethod

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
Clone ( Microsoft.Zing myState, Microsoft.Zing myProcess, bool shallowCopy ) : ZingMethod
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

Method Details

Clone() public method

public Clone ( Microsoft.Zing myState, Microsoft.Zing myProcess, bool shallowCopy ) : ZingMethod
myState	Microsoft.Zing
myProcess	Microsoft.Zing
shallowCopy	bool
return	ZingMethod

TraverseFields() public method

public TraverseFields ( FieldTraverser ft ) : void
ft	FieldTraverser
return	void

WriteString() public method

public WriteString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	System.IO.BinaryWriter
return	void