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

Method addToReferenceQueue

src/api/java/AST.java:199–202  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

197 }
198
199 @Override
200 void addToReferenceQueue() {
201 getContext().getReferenceQueue().storeReference(this, ASTRef::new);
202 }
203
204 static AST create(Context ctx, long obj)
205 {

Callers

nothing calls this directly

Calls 3

storeReferenceMethod · 0.80
getReferenceQueueMethod · 0.80
getContextMethod · 0.80

Tested by

no test coverage detected