code: public boolean encloses(AbstractTraceRegion region, int offset, boolean includeRegionEnd) {
  		return encloses(region.getMyOffset(), region.getMyLength(), offset, includeRegionEnd);
  	}
docs: Calculate whether the given {@code region} encloses the offset.
  @param region the region to be checked. May not be <code>null</code>.
  @param offset the offset that should be enclosed by the region.
  @param includeRegionEnd whether a region is enclosing the offset if it ends at that location.
  @return <code>true</true> if the given region encloses the offset.