00001 00018 package com.microsoft.z3; 00019 00023 public class ConstructorList extends Z3Object 00024 { 00028 protected void finalize() throws Z3Exception 00029 { 00030 Native.delConstructorList(getContext().nCtx(), getNativeObject()); 00031 } 00032 00033 ConstructorList(Context ctx, long obj) throws Z3Exception 00034 { 00035 super(ctx, obj); 00036 } 00037 00038 ConstructorList(Context ctx, Constructor[] constructors) throws Z3Exception 00039 { 00040 super(ctx); 00041 00042 setNativeObject(Native.mkConstructorList(getContext().nCtx(), 00043 (int) constructors.length, 00044 Constructor.arrayToNative(constructors))); 00045 } 00046 }