@Override
	public boolean coversRange(Lifespan span, AddressRange range) {
		try (LockHold hold = LockHold.lock(space.lock.readLock())) {
			Set<TraceAddressSnapRange> set1 = new HashSet<>();
			Set<TraceAddressSnapRange> set2 = new HashSet<>();
			Set<TraceAddressSnapRange> cur = set1;
			cur.add(new ImmutableTraceAddressSnapRange(range, span));
			for (AbstractBaseDBTraceDefinedUnitsView<? extends AbstractDBTraceCodeUnit<?>> p : parts) {
				cur = p.subtractFrom(span, range, cur, set1, set2);
			}
			return cur.isEmpty();
		}
	}
Construct the view

@param space the space, bound to an address space
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/database/listing/DBTraceDefinedUnitsView.java