Z3Object Class Reference

Inheritance diagram for Z3Object:

Public Member Functions
void	dispose () throws Z3Exception
Public Member Functions inherited from IDisposable
void	dispose () throws Z3Exception

Protected Member Functions
void	finalize () throws Z3Exception

Detailed Description

Internal base class for interfacing with native Z3 objects. Should not be used externally.

Definition at line 24 of file Z3Object.java.

Member Function Documentation

void dispose ( ) throws Z3Exception

inline

Disposes of the underlying native Z3 object.

Definition at line 37 of file Z3Object.java.

Referenced by Z3Object.finalize().

    {
        if (m_n_obj != 0)
        {
            decRef(m_n_obj);
            m_n_obj = 0;
        }

        if (m_ctx != null)
        {
            m_ctx.m_refCount--;
            m_ctx = null;
        }
    }

void finalize ( ) throws Z3Exception

inlineprotected

Finalizer.

Definition at line 29 of file Z3Object.java.

    {
        dispose();
    }