C# Class Microsoft.Zing.Application.InterfaceMethod.OutputVars

Inheritance: UndoableStorage

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

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

Private Methods

Méthode	Description
OutputVars ( ZingMethod zm ) : System

Method Details

CopyContents() public méthode

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

GetValue() public méthode

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

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