Z3
ConstructorList.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
23public class ConstructorList<R> 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<R>[] constructors)
41 {
42 super(ctx, Native.mkConstructorList(ctx.nCtx(),
43 constructors.length,
44 Constructor.arrayToNative(constructors)));
45 }
46}
IDecRefQueue< ConstructorList<?> > getConstructorListDRQ()
Definition: Context.java:4066
void storeReference(Context ctx, T obj)
static long[] arrayToNative(Z3Object[] a)
Definition: Z3Object.java:73