C# Class Microsoft.PSharp.Runtime.RuntimeException

Inheritance: Exception

Datei anzeigen Open project: p-org/PSharp

Protected Methods

Method	Description
RuntimeException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System	Initializes a new instance of the RuntimeException class.

Private Methods

Method	Description
RuntimeException ( ) : System	Initializes a new instance of the RuntimeException class.
RuntimeException ( string message ) : System	Initializes a new instance of the RuntimeException class.
RuntimeException ( string message, Exception innerException ) : System	Initializes a new instance of the RuntimeException class.

Method Details

RuntimeException() protected method

Initializes a new instance of the RuntimeException class.

protected RuntimeException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo	SerializationInfo
streamingContext	StreamingContext
return	System