C# Class Microsoft.Zing.Application.StaticMethodExtras

Inheritance: ZingMethod

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	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 méthode

public Clone ( Microsoft.Zing myState, Microsoft.Zing myProcess, bool shallowCopy ) : ZingMethod
myState	Microsoft.Zing
myProcess	Microsoft.Zing
shallowCopy	bool
Résultat	ZingMethod

TraverseFields() public méthode

public TraverseFields ( FieldTraverser ft ) : void
ft	FieldTraverser
Résultat	void

WriteString() public méthode

public WriteString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	System.IO.BinaryWriter
Résultat	void