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  public class Z3Exception : Exception
28  {
32  public Z3Exception() : base() { }
33 
37  public Z3Exception(string message) : base(message) { }
38 
42  public Z3Exception(string message, System.Exception inner) : base(message, inner) { }
43  }
44 }
Z3Exception(string message)
Constructor.
Definition: Z3Exception.cs:37
using System
Z3Exception()
Constructor.
Definition: Z3Exception.cs:32
Z3Exception(string message, System.Exception inner)
Constructor.
Definition: Z3Exception.cs:42
The exception base class for error reporting from Z3
Definition: Z3Exception.cs:27