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