Z3
src/api/java/IDisposable.java
Go to the documentation of this file.
00001 /*++
00002 Copyright (c) 2012 Microsoft Corporation
00003 
00004 Module Name:
00005 
00006     IDisposable.java
00007 
00008 Abstract:
00009 
00010     Compatability interface (C# -> Java)
00011 
00012 Author:
00013 
00014     Christoph Wintersteiger (cwinter) 2012-03-16
00015 
00016 Notes:
00017     
00018 --*/
00019 
00020 package com.microsoft.z3;
00021 
00022 public class IDisposable
00023 {
00024         public void dispose() throws Z3Exception
00025         {
00026         }
00027 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines