Protected Member Functions | |
void | finalize () throws Z3Exception |
Package Functions | |
ConstructorList (Context ctx, long obj) throws Z3Exception | |
ConstructorList (Context ctx, Constructor[] constructors) throws Z3Exception |
Lists of constructors
Definition at line 23 of file ConstructorList.java.
ConstructorList | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 33 of file ConstructorList.java.
{ super(ctx, obj); }
ConstructorList | ( | Context | ctx, |
Constructor[] | constructors | ||
) | throws Z3Exception [inline, package] |
Definition at line 38 of file ConstructorList.java.
{ super(ctx); setNativeObject(Native.mkConstructorList(getContext().nCtx(), (int) constructors.length, Constructor.arrayToNative(constructors))); }
void finalize | ( | ) | throws Z3Exception [inline, protected] |
Destructor.
Reimplemented from Z3Object.
Definition at line 28 of file ConstructorList.java.
{ Native.delConstructorList(getContext().nCtx(), getNativeObject()); }