Method addToReferenceQueue

src/api/java/ASTMap.java:126–129

()

    }

    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, ASTMapRef::new);
    }

    private static class ASTMapRef extends Z3ReferenceQueue.Reference<ASTMap> {