Z3
Public Member Functions | Protected Member Functions
Z3Object Class Reference
+ Inheritance diagram for Z3Object:

Public Member Functions

void dispose ()
 
- Public Member Functions inherited from IDisposable
void dispose ()
 

Protected Member Functions

void finalize ()
 

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 ( )
inline

Disposes of the underlying native Z3 object.

Definition at line 37 of file Z3Object.java.

Referenced by Z3Object.finalize().

38  {
39  if (m_n_obj != 0)
40  {
41  decRef(m_n_obj);
42  m_n_obj = 0;
43  }
44 
45  if (m_ctx != null)
46  {
47  m_ctx.m_refCount--;
48  m_ctx = null;
49  }
50  }
void finalize ( )
inlineprotected

Finalizer.

Definition at line 29 of file Z3Object.java.

30  {
31  dispose();
32  }