C# Class Microsoft.Zing.ZingException

Inheritance: System.Exception

ファイルを表示 Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
myThreadId	int

Public Methods

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

Protected Methods

Method	Description
ZingException ( ) : System
ZingException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
ZingException ( string message ) : System
ZingException ( string message, Exception innerException ) : System

Private Methods

Method	Description
BuildStackTrace ( ) : string

Method Details

GetObjectData() public method

public GetObjectData ( SerializationInfo info, StreamingContext context ) : void
info	System.Runtime.Serialization.SerializationInfo
context	System.Runtime.Serialization.StreamingContext
return	void

ToString() public final method

Returns a formatted version of the exception for human consumption.

public final ToString ( ) : string
return	string

ZingException() protected method

protected ZingException ( ) : System
return	System

ZingException() protected method

protected ZingException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo	System.Runtime.Serialization.SerializationInfo
streamingContext	System.Runtime.Serialization.StreamingContext
return	System

ZingException() protected method

protected ZingException ( string message ) : System
message	string
return	System

ZingException() protected method

protected ZingException ( string message, Exception innerException ) : System
message	string
innerException	System.Exception
return	System

Property Details

myThreadId public_oe property

Useful in the case of multithreaded execution of Zinger

public int myThreadId
return	int