C# Class Microsoft.Zing.ZingUnexpectedFailureException

Inheritance: ZingException

Exibir arquivo Open project: ZingModelChecker/Zing

Public Methods

Method	Description
ZingUnexpectedFailureException ( ) : System
ZingUnexpectedFailureException ( string message ) : System
ZingUnexpectedFailureException ( string message, Exception innerException ) : System

Protected Methods

Method	Description
ZingUnexpectedFailureException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

Method Details

ZingUnexpectedFailureException() public method

public ZingUnexpectedFailureException ( ) : System
return	System

ZingUnexpectedFailureException() protected method

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

ZingUnexpectedFailureException() public method

public ZingUnexpectedFailureException ( string message ) : System
message	string
return	System

ZingUnexpectedFailureException() public method

public ZingUnexpectedFailureException ( string message, Exception innerException ) : System
message	string
innerException	System.Exception
return	System