MCPcopy Create free account
hub / github.com/Z3Prover/z3 / close

Method close

src/api/java/Context.java:4577–4595  ·  view source on GitHub ↗

Disposes of the context.

()

Source from the content-addressed store, hash-verified

4575 * Disposes of the context.
4576 **/
4577 @Override
4578 public void close()
4579 {
4580 if (m_ctx == 0)
4581 return;
4582
4583 m_RefQueue.forceClear();
4584
4585 m_boolSort = null;
4586 m_intSort = null;
4587 m_realSort = null;
4588 m_stringSort = null;
4589 m_RefQueue = null;
4590
4591 synchronized (creation_lock) {
4592 Native.delContext(m_ctx);
4593 }
4594 m_ctx = 0;
4595 }
4596}

Callers 3

mainMethod · 0.95
simpleExampleMethod · 0.95
simpleExampleMethod · 0.95

Calls 1

forceClearMethod · 0.80

Tested by

no test coverage detected