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

Inheritance: UndoableStorage

Exibir arquivo Open project: ZingModelChecker/Zing

Public Methods

Method	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

Method	Description
OutputVars ( ZingMethod zm ) : System

Method Details

CopyContents() public method

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

GetValue() public method

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

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