C# Class Microsoft.Zing.Application.GlobalVars

Inheritance: ZingGlobals

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
CopyContents ( UndoableStorage zgSrc ) : void
GetValue ( int fi ) : object
GlobalVars ( StateImpl app ) : System
MakeInstance ( ) : UndoableStorage
SetValue ( int fi, object val ) : void
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

Private Methods

Méthode	Description
GlobalVars ( ) : System

Method Details

CopyContents() public méthode

public CopyContents ( UndoableStorage zgSrc ) : void
zgSrc	UndoableStorage
Résultat	void

GetValue() public méthode

public GetValue ( int fi ) : object
fi	int
Résultat	object

GlobalVars() public méthode

public GlobalVars ( StateImpl app ) : System
app	StateImpl
Résultat	System

MakeInstance() public méthode

public MakeInstance ( ) : UndoableStorage
Résultat	UndoableStorage

SetValue() public méthode

public SetValue ( int fi, object val ) : void
fi	int
val	object
Résultat	void

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