C# Class Microsoft.Zing.Application.StructSet

Inheritance: Microsoft.Zing.ZingSet

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
Clone ( ) : object
StructSet ( ) : System
StructSet ( Application app ) : System
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void
this ( int index ) : _ElementType

Private Methods

Méthode	Description
StructSet ( StructSet c ) : System

Method Details

Clone() public méthode

public Clone ( ) : object
Résultat	object

StructSet() public méthode

public StructSet ( ) : System
Résultat	System

StructSet() public méthode

public StructSet ( Application app ) : System
app	Application
Résultat	System

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

this() public méthode

public this ( int index ) : _ElementType
index	int
Résultat	_ElementType