Z3
ConstructorList.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
23public 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}
IDecRefQueue< ConstructorList > getConstructorListDRQ()
Definition: Context.java:4024
void storeReference(Context ctx, T obj)
static long mkConstructorList(long a0, int a1, long[] a2)
Definition: Native.java:1068