ConstructorList Class Reference

Inheritance diagram for ConstructorList:

Protected Member Functions
void	finalize () throws Z3Exception
Package Functions
	ConstructorList (Context ctx, long obj) throws Z3Exception
	ConstructorList (Context ctx, Constructor[] constructors) throws Z3Exception

---

Detailed Description

Lists of constructors

Definition at line 23 of file ConstructorList.java.

---

Constructor & Destructor Documentation

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)));
        }

---

Member Function Documentation

void finalize

(

)

throws Z3Exception [inline, protected]

Destructor.

Reimplemented from Z3Object.

Definition at line 28 of file ConstructorList.java.

        {
                Native.delConstructorList(getContext().nCtx(), getNativeObject());
        }