mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-01 17:03:18 +00:00
Code Activity

Formatting

Browse source
This commit is contained in:
Thomas Haas 2024-02-17 13:27:41 +01:00
parent 9fbd790aad
commit e69767b739
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api/java/Z3ReferenceQueue.java
View file

@ -56,8 +56,7 @@ class Z3ReferenceQueue {
/** /**
* Clean all references currently in {@code referenceQueue}. * Clean all references currently in {@code referenceQueue}.
*/ */
private void clear() private void clear() {
{
Reference<?> ref; Reference<?> ref;
while ((ref = (Reference<?>)referenceQueue.poll()) != null) { while ((ref = (Reference<?>)referenceQueue.poll()) != null) {
ref.cleanup(ctx); ref.cleanup(ctx);
@ -97,7 +96,7 @@ class Z3ReferenceQueue {
// ================================================================================================================ // ================================================================================================================
@FunctionalInterface @FunctionalInterface
interface ReferenceConstructor<T extends Z3Object>{ interface ReferenceConstructor<T extends Z3Object> {
Reference<T> construct(T reference, ReferenceQueue<Z3Object> queue); Reference<T> construct(T reference, ReferenceQueue<Z3Object> queue);
} }