C# Class Microsoft.Zing.Application

Inheritance: Microsoft.Zing.StateImpl

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Свойство	Type	Description

Méthodes publiques

Méthode	Description
Application ( ) : System
Application ( bool initialState ) : System
ComputeFingerprint ( ) : Fingerprint
GetSourceFiles ( ) : string[]
GetSources ( ) : string[]
MakeSkeleton ( ) : StateImpl
WriteString ( BinaryWriter bw ) : void

Method Details

Application() public méthode

public Application ( ) : System
Résultat	System

Application() public méthode

public Application ( bool initialState ) : System
initialState	bool
Résultat	System

ComputeFingerprint() public méthode

public ComputeFingerprint ( ) : Fingerprint
Résultat	Fingerprint

GetSourceFiles() public méthode

public GetSourceFiles ( ) : string[]
Résultat	string[]

GetSources() public méthode

public GetSources ( ) : string[]
Résultat	string[]

MakeSkeleton() public méthode

public MakeSkeleton ( ) : StateImpl
Résultat	StateImpl

WriteString() public méthode

public WriteString ( BinaryWriter bw ) : void
bw	System.IO.BinaryWriter
Résultat	void