• Accueil
• Microsoft
• PSharp
• Runtime
• RuntimeException

C# Class Microsoft.PSharp.Runtime.RuntimeException

Afficher le fichier Open project: p-org/PSharp

Méthodes protégées

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

Private Methods

Méthode	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