Z3 |

ConstructorList.java
Go to the documentation of this file.
1
18 package com.microsoft.z3;
19
23 public 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}
com.microsoft.z3.Constructor
Definition: Constructor.java:23
com.microsoft.z3.ConstructorList
Definition: ConstructorList.java:23
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:4008
com.microsoft.z3.Context.getConstructorListDRQ
IDecRefQueue< ConstructorList<?> > getConstructorListDRQ()
Definition: Context.java:4066
com.microsoft.z3.IDecRefQueue.storeReference
void storeReference(Context ctx, T obj)
Definition: IDecRefQueue.java:56
com.microsoft.z3.Z3Object
Definition: Z3Object.java:24
com.microsoft.z3.Z3Object.arrayToNative
static long[] arrayToNative(Z3Object[] a)
Definition: Z3Object.java:73