C# Class Microsoft.Zing.ZingAssertionFailureException

Inheritance: ZingException

Show file Open project: ZingModelChecker/Zing

Public Methods

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

Protected Methods

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

Private Methods

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

Method Details

ZingAssertionFailureException() public method

public ZingAssertionFailureException ( ) : System
return	System

ZingAssertionFailureException() protected method

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

ZingAssertionFailureException() public method

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

ZingAssertionFailureException() public method

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

ZingAssertionFailureException() public method

public ZingAssertionFailureException ( string expression, string comment ) : System
expression	string
comment	string
return	System