C# Class Microsoft.Zing.Application.Class

Inheritance: Microsoft.Zing.ZingClass
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
Class ( ) : System
Class ( Application application ) : System
Clone ( ) : object
GetValue ( int fi ) : object
SetValue ( int fi, object val ) : void
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

Private Methods

Méthode Description
Class ( Class c ) : System

Method Details

Class() public méthode

public Class ( ) : System
Résultat System

Class() public méthode

public Class ( Application application ) : System
application Application
Résultat System

Clone() public méthode

public Clone ( ) : object
Résultat object

GetValue() public méthode

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

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