In Memory Collector Record Store
Thread-safe in-memory implementation of CollectorRecordStore.
Intended as a default/stub for demos and tests. Records are append-only and returned in insertion order. Backed by a CopyOnWriteArrayList so reads never block writes.
Functions
Link copied to clipboard
Link copied to clipboard
Find all records for a given proposition.
Link copied to clipboard
Find all records produced by a given run.
Link copied to clipboard
Find the run header for a given run id.
Link copied to clipboard
Record a collector outcome.
Link copied to clipboard
Record a finished run header.
Link copied to clipboard