C# Class Microsoft.Zing.ZingerUtilities

Datei anzeigen Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
rand	System.Random

Public Methods

Method	Description
PrintErrorMessage ( string message ) : void
PrintMessage ( string message ) : void
PrintSuccessMessage ( string message ) : void
StartTimeOut ( ) : void
ZingerTimeOut ( object obj ) : void

Method Details

PrintErrorMessage() public static method

public static PrintErrorMessage ( string message ) : void
message	string
return	void

PrintMessage() public static method

public static PrintMessage ( string message ) : void
message	string
return	void

PrintSuccessMessage() public static method

public static PrintSuccessMessage ( string message ) : void
message	string
return	void

StartTimeOut() public static method

public static StartTimeOut ( ) : void
return	void

ZingerTimeOut() public static method

public static ZingerTimeOut ( object obj ) : void
obj	object
return	void

Property Details

rand public_oe static_oe property

public static Random,System rand
return	System.Random