C# Class Microsoft.Zing.Application.GlobalVars

Inheritance: ZingGlobals

Datei anzeigen Open project: ZingModelChecker/Zing

Public Methods

Method	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

Method	Description
GlobalVars ( ) : System

Method Details

CopyContents() public method

public CopyContents ( UndoableStorage zgSrc ) : void
zgSrc	UndoableStorage
return	void

GetValue() public method

public GetValue ( int fi ) : object
fi	int
return	object

GlobalVars() public method

public GlobalVars ( StateImpl app ) : System
app	StateImpl
return	System

MakeInstance() public method

public MakeInstance ( ) : UndoableStorage
return	UndoableStorage

SetValue() public method

public SetValue ( int fi, object val ) : void
fi	int
val	object
return	void

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