Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
storeReference
Method · 0.80
getReferenceQueue
Method · 0.80
getContext
Method · 0.80
Tested by
no test coverage detected