00001 /*++ 00002 Copyright (c) 2012 Microsoft Corporation 00003 00004 Module Name: 00005 00006 Exception.cs 00007 00008 Abstract: 00009 00010 Z3 Managed API: Exceptions 00011 00012 Author: 00013 00014 Christoph Wintersteiger (cwinter) 2012-03-15 00015 00016 Notes: 00017 00018 --*/ 00019 00020 using System; 00021 00022 namespace Microsoft.Z3 00023 { 00027 public class Z3Exception : Exception 00028 { 00032 public Z3Exception() : base() { } 00033 00037 public Z3Exception(string message) : base(message) { } 00038 00042 public Z3Exception(string message, System.Exception inner) : base(message, inner) { } 00043 } 00044 }