18 package com.microsoft.z3;
53 private long m_n_obj = 0;
61 Z3Object(Context ctx,
long obj)
throws Z3Exception
69 void incRef(
long o)
throws Z3Exception
73 void decRef(
long o)
throws Z3Exception
77 void checkNativeObject(
long obj)
throws Z3Exception
81 long getNativeObject()
86 void setNativeObject(
long value)
throws Z3Exception
90 checkNativeObject(value);
100 static long getNativeObject(Z3Object s)
104 return s.getNativeObject();
112 static long[] arrayToNative(Z3Object[] a)
116 long[] an =
new long[a.length];
117 for (
int i = 0; i < a.length; i++)
118 an[i] = (a[i] == null) ? 0 : a[i].getNativeObject();
122 static int arrayLength(Z3Object[] a)
124 return (a == null) ? 0 : a.length;