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 }