Z3
ConstructorList.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class ConstructorList extends Z3Object
24 {
28  protected void finalize() throws Z3Exception
29  {
30  Native.delConstructorList(getContext().nCtx(), getNativeObject());
31  }
32 
33  ConstructorList(Context ctx, long obj) throws Z3Exception
34  {
35  super(ctx, obj);
36  }
37 
38  ConstructorList(Context ctx, Constructor[] constructors) throws Z3Exception
39  {
40  super(ctx);
41 
42  setNativeObject(Native.mkConstructorList(getContext().nCtx(),
43  (int) constructors.length,
44  Constructor.arrayToNative(constructors)));
45  }
46 }
static void delConstructorList(long a0, long a1)
Definition: Native.java:908