Z3
src
api
dotnet
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
}
Exception
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception(string message)
Constructor.
Definition:
Z3Exception.cs:40
System
Microsoft
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception()
Constructor.
Definition:
Z3Exception.cs:35
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception(string message, System.Exception inner)
Constructor.
Definition:
Z3Exception.cs:45
Microsoft.Z3.Z3Exception
The exception base class for error reporting from Z3
Definition:
Z3Exception.cs:30
Generated on Sat Nov 12 2016 22:01:04 for Z3 by
1.8.12