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 }
com.microsoft.z3.ConstructorList
Definition: ConstructorList.java:23
com.microsoft.z3.IDecRefQueue.storeReference
void storeReference(Context ctx, T obj)
Definition: IDecRefQueue.java:56
com.microsoft.z3.Context.getConstructorListDRQ
IDecRefQueue< ConstructorList > getConstructorListDRQ()
Definition: Context.java:4024
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:3966
com.microsoft.z3.Constructor
Definition: Constructor.java:23
com.microsoft.z3.Native
Definition: Native.java:4
com.microsoft.z3.Native.mkConstructorList
static long mkConstructorList(long a0, int a1, long[] a2)
Definition: Native.java:1070
com.microsoft.z3.Context
Definition: Context.java:35
com.microsoft.z3.Z3Object.arrayToNative
static long[] arrayToNative(Z3Object[] a)
Definition: Z3Object.java:73
com.microsoft.z3.Z3Object
Definition: Z3Object.java:24