C# Class Microsoft.Zing.ZingAssumeFailureException

Inheritance: ZingException

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
ZingAssumeFailureException ( ) : System
ZingAssumeFailureException ( string expression ) : System
ZingAssumeFailureException ( string message, Exception innerException ) : System

Protected Methods

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

Private Methods

Method	Description
GetObjectData ( SerializationInfo info, StreamingContext context ) : void

Method Details

ZingAssumeFailureException() public method

public ZingAssumeFailureException ( ) : System
return	System

ZingAssumeFailureException() protected method

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

ZingAssumeFailureException() public method

public ZingAssumeFailureException ( string expression ) : System
expression	string
return	System

ZingAssumeFailureException() public method

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