Z3
Z3Exception.cs
Go to the documentation of this file.
1/*++
2Copyright (c) 2012 Microsoft Corporation
3
4Module Name:
5
6 Exception.cs
7
8Abstract:
9
10 Z3 Managed API: Exceptions
11
12Author:
13
14 Christoph Wintersteiger (cwinter) 2012-03-15
15
16Notes:
17
18--*/
19
20using System.Diagnostics;
21using System;
22
23namespace Microsoft.Z3
24{
28#if !DOTNET_CORE
29 [Serializable]
30#endif
31 public class Z3Exception : Exception
32 {
36 public Z3Exception() : base() { }
37
41 public Z3Exception(string message) : base(message) { }
42
46 public Z3Exception(string message, System.Exception inner) : base(message, inner) { }
47 }
48}
The exception base class for error reporting from Z3
Definition: Z3Exception.cs:32
Z3Exception(string message)
Constructor.
Definition: Z3Exception.cs:41
Z3Exception(string message, System.Exception inner)
Constructor.
Definition: Z3Exception.cs:46
Z3Exception()
Constructor.
Definition: Z3Exception.cs:36