C# Class Microsoft.Zing.ZingAssumeFailureException

Inheritance: ZingException

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
ZingAssumeFailureException ( ) : System
ZingAssumeFailureException ( string expression ) : System
ZingAssumeFailureException ( string message, Exception innerException ) : System

Méthodes protégées

Méthode	Description
ZingAssumeFailureException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

Private Methods

Méthode	Description
GetObjectData ( SerializationInfo info, StreamingContext context ) : void

Method Details

ZingAssumeFailureException() public méthode

public ZingAssumeFailureException ( ) : System
Résultat	System

ZingAssumeFailureException() protected méthode

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

ZingAssumeFailureException() public méthode

public ZingAssumeFailureException ( string expression ) : System
expression	string
Résultat	System

ZingAssumeFailureException() public méthode

public ZingAssumeFailureException ( string message, Exception innerException ) : System
message	string
innerException	System.Exception
Résultat	System