C# Class Microsoft.Zing.ZingerUtilities

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство	Type	Description
rand	System.Random

Méthodes publiques

Méthode	Description
PrintErrorMessage ( string message ) : void
PrintMessage ( string message ) : void
PrintSuccessMessage ( string message ) : void
StartTimeOut ( ) : void
ZingerTimeOut ( object obj ) : void

Method Details

PrintErrorMessage() public static méthode

public static PrintErrorMessage ( string message ) : void
message	string
Résultat	void

PrintMessage() public static méthode

public static PrintMessage ( string message ) : void
message	string
Résultat	void

PrintSuccessMessage() public static méthode

public static PrintSuccessMessage ( string message ) : void
message	string
Résultat	void

StartTimeOut() public static méthode

public static StartTimeOut ( ) : void
Résultat	void

ZingerTimeOut() public static méthode

public static ZingerTimeOut ( object obj ) : void
obj	object
Résultat	void

Property Details

rand public_oe static_oe property

public static Random,System rand
Résultat	System.Random