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