Z3
ConstructorList.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class ConstructorList extends Z3Object {
24 
25  ConstructorList(Context ctx, long obj)
26  {
27  super(ctx, obj);
28  }
29 
30  @Override
31  void incRef() {
32  // Constructor lists are not reference counted.
33  }
34 
35  @Override
36  void addToReferenceQueue() {
37  getContext().getConstructorListDRQ().storeReference(getContext(), this);
38  }
39 
40  ConstructorList(Context ctx, Constructor[] constructors)
41  {
42  super(ctx, Native.mkConstructorList(ctx.nCtx(),
43  constructors.length,
44  Constructor.arrayToNative(constructors)));
45  }
46 }
void storeReference(Context ctx, T obj)
static long mkConstructorList(long a0, int a1, long[] a2)
Definition: Native.java:1001
IDecRefQueue< ConstructorList > getConstructorListDRQ()
Definition: Context.java:3930