C# Class Microsoft.Zing.ZingException

Inheritance: System.Exception

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство	Type	Description
myThreadId	int

Méthodes publiques

Méthode	Description
GetObjectData ( SerializationInfo info, StreamingContext context ) : void
ToString ( ) : string	Returns a formatted version of the exception for human consumption.

Méthodes protégées

Méthode	Description
ZingException ( ) : System
ZingException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
ZingException ( string message ) : System
ZingException ( string message, Exception innerException ) : System

Private Methods

Méthode	Description
BuildStackTrace ( ) : string

Method Details

GetObjectData() public méthode

public GetObjectData ( SerializationInfo info, StreamingContext context ) : void
info	System.Runtime.Serialization.SerializationInfo
context	System.Runtime.Serialization.StreamingContext
Résultat	void

ToString() public final méthode

Returns a formatted version of the exception for human consumption.

public final ToString ( ) : string
Résultat	string

ZingException() protected méthode

protected ZingException ( ) : System
Résultat	System

ZingException() protected méthode

protected ZingException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo	System.Runtime.Serialization.SerializationInfo
streamingContext	System.Runtime.Serialization.StreamingContext
Résultat	System

ZingException() protected méthode

protected ZingException ( string message ) : System
message	string
Résultat	System

ZingException() protected méthode

protected ZingException ( string message, Exception innerException ) : System
message	string
innerException	System.Exception
Résultat	System

Property Details

myThreadId public_oe property

Useful in the case of multithreaded execution of Zinger

public int myThreadId
Résultat	int