IdDictDictionary.cxx

Go to the documentation of this file.

/*
   Copyright (C) 2002-2025 CERN for the benefit of the ATLAS collaboration
 */
 
#include "IdDict/IdDictDictionary.h"
 
#include "IdDict/IdDictField.h"
#include "IdDict/IdDictLabel.h"
#include "IdDict/IdDictRegion.h"
#include "IdDict/IdDictGroup.h"
#include "IdDict/IdDictSubRegion.h"
#include "IdDict/IdDictFieldImplementation.h"
#include "IdDict/IdDictMgr.h"
#include "IdDict/IdDictRange.h"
#include "src/Debugger.h"
#include "src/get_bits.h"
#include "Identifier/MultiRange.h"
#include <iostream>
 
using IdDict::get_bits;
 
static bool isNumber(const std::string& str) {
  bool result = true;
 
  for (unsigned int i = 0; i < str.size(); ++i) {
    if (!isdigit(str[i])) return(false);
  }
  if (0 == str.size()) return(false);
 
  return(result);
}
 
IdDictDictionary::IdDictDictionary () = default;
IdDictDictionary::~IdDictDictionary () = default;
 
IdDictDictionary::IdDictDictionary (const std::string& name,
                                    const std::string& version /*= ""*/,
                                    const std::string& date /*= ""*/,
                                    const std::string& author /*= ""*/)
  : m_name (name),
    m_version (version),
    m_date (date),
    m_author (author)
{
}
 
const IdDictField* IdDictDictionary::find_field(const std::string& name) const {
  auto it = m_fields.find(name);
 
  if (it == m_fields.end()) {
    // If parent exists, look for field there
    if (m_parent_dict) {
      it = m_parent_dict->m_fields.find(name);
      if (it == m_parent_dict->m_fields.end()) {
        return nullptr;
      }
    } else {
      return nullptr;
    }
  }
 
  return it->second.get();
}
 
IdDictField* IdDictDictionary::find_field(const std::string& name) {
  auto it = m_fields.find(name);
 
  if (it == m_fields.end()) {
    // If parent exists, look for field there
    if (m_parent_dict) {
      it = m_parent_dict->m_fields.find(name);
      if (it == m_parent_dict->m_fields.end()) {
        return nullptr;
      }
    } else {
      return nullptr;
    }
  }
 
  return it->second.get();
}
 
const IdDictLabel*
IdDictDictionary::find_label(const std::string& field, const std::string& label) const {
  const IdDictField* idField = find_field(field);
 
  if (!idField) return nullptr;
 
  return(idField->find_label(label));
}
 
int IdDictDictionary::get_label_value(const std::string& field, const std::string& label, int& value) const {
  const IdDictLabel* idLabel = find_label(field, label);
 
  if (!idLabel || !idLabel->valued()) return(1);
 
  value = idLabel->value();
  return(0);
}
 
IdDictField* IdDictDictionary::add_field(std::unique_ptr<IdDictField> field) {
  if (!field) return nullptr;
  return m_fields.emplace (field->name(), std::move(field)).first->second.get();
}
 
IdDictSubRegion*
IdDictDictionary::find_subregion(const std::string& name) {
  auto it = m_subregions.find(name);
  if (it == m_subregions.end()) return nullptr;
  return it->second.get();
}
 
const IdDictRegion*
IdDictDictionary::find_region(const std::string& region_name) const {
  return find_region(region_name, "");
}
 
IdDictRegion*
IdDictDictionary::find_region(const std::string& region_name, const std::string& group_name) {
  for (IdDictRegion* region : m_regions) {
    if (!region) continue;
    if ((group_name != "") && (region->group_name() != group_name)) continue;
    if ((region_name != "") && (region->name() != region_name)) continue;
    return region;
  }
  return nullptr;
}
 
const IdDictRegion*
IdDictDictionary::find_region(const std::string& region_name, const std::string& group_name) const {
  for (IdDictRegion* region : m_regions) {
    if (!region) continue;
    if ((group_name != "") && (region->group_name() != group_name)) continue;
    if ((region_name != "") && (region->name() != region_name)) continue;
    return region;
  }
  return nullptr;
}
 
IdDictGroup*
IdDictDictionary::find_group(const std::string& group_name) {
  for (auto& g : m_groups) {
    if (g && g->name() == group_name) return g.get();
  }
  return nullptr;
}
 
const IdDictGroup*
IdDictDictionary::find_group(const std::string& group_name) const {
  for (const auto& g : m_groups) {
    if (g && g->name() == group_name) return g.get();
  }
  return nullptr;
}
 
IdDictSubRegion*
IdDictDictionary::add_subregion(std::unique_ptr<IdDictSubRegion> subregion) {
  if (!subregion) return nullptr;
  return m_subregions.emplace (subregion->name(), std::move(subregion)).first->second.get();
}
 
void IdDictDictionary::add_subdictionary_name(const std::string& name) {
  m_subdictionary_names.push_back(name);
}
 
void IdDictDictionary::set_parent_dict (IdDictDictionary* parent_dict)
{
  m_parent_dict = parent_dict;
}
 
void IdDictDictionary::add_dictentry(std::unique_ptr<IdDictDictEntry> region) {
  // Add region to corresponding group
  IdDictGroup* group = find_group(region->group_name());
 
  if (0 == group) {
    m_groups.push_back(std::make_unique<IdDictGroup>(region->group_name()));
    group = m_groups.back().get();
  }
  group->add_dictentry(std::move(region));
}
 
void IdDictDictionary::add_region(IdDictRegion* region) {
  m_all_regions.push_back(region);
}
 
void IdDictDictionary::resolve_references(IdDictMgr& idd) {
  for (auto& p : m_subregions) {
    p.second->resolve_references(idd, *this);
  }
 
  for (size_t index = 0; auto& g : m_groups) {
    g->resolve_references(idd, *this, index);
  }
}
 
void IdDictDictionary::generate_implementation(const IdDictMgr& idd,
                                               const std::string& tag) {
  if (Debugger::debug()) {
    std::cout << "IdDictDictionary::generate_implementation>" << std::endl;
  }
 
  if (!m_generated_implementation) {
    // Propagate to each region and copy their generation into the
    // dict's vector.
    for (auto& g : m_groups) {
      g->generate_implementation(idd, *this, tag);
      // Get regions from group and save in m_regions
      for (IdDictRegion* re : g->regions()) {
        m_regions.push_back(re);
      }
    }
 
    // Loop again over groups and set the bit-packing - starting at
    // level 0
    for (auto& g : m_groups) {
      // Copy to temporary vector all regions in the group. And
      // look for regions in local m_regions vector for any
      // regions "dummy", which come from reference
      // dictionaries.
      // Skip special group
      if ("dummy" == g->name()) continue;
 
      get_bits(m_regions, 0, g->name());
    }
 
    // Set integral over the number of bits
    integrate_bits();
 
    for (auto& g : m_groups) {
      g->build_region_tree();
    }
 
    // Set neighbours for regions
    IdDictDictionary::regions_it itr;
    for (itr = m_regions.begin(); itr != m_regions.end(); ++itr) {
      (*itr)->find_neighbours(*this);
    }
 
    m_generated_implementation = true;
  }
}
 
void IdDictDictionary::reset_implementation() {
  if (m_generated_implementation) {
    m_regions.clear();
    for (auto& g : m_groups) {
      g->reset_implementation();
    }
    m_generated_implementation = false;
  }
}
 
int
IdDictDictionary::find_region(const ExpandedIdentifier& id, size_type& index) const {
  // Find first region that matches id
 
  IdDictDictionary::regions_const_it it;
 
  size_type i = 0;
  for (it = m_regions.begin(); it != m_regions.end(); ++it, ++i) {
    const IdDictRegion& region = *(*it);
 
    Range range = region.build_range();
 
    if (range.match(id) && range.fields() >= id.fields()) {
      index = i;
      return(0);
    }
  }
 
  return(1);
}
 
const IdDictRegion* IdDictDictionary::find_region(const ExpandedIdentifier& id) const {
  return find_region(id, "");
}
 
const IdDictRegion* IdDictDictionary::find_region(const ExpandedIdentifier& id, const std::string& group_name) const {
  // Find first region that matches id
 
  IdDictRegion* pRegion = 0;
 
  IdDictDictionary::regions_const_it it;
 
  for (it = m_regions.begin(); it != m_regions.end(); ++it) {
    IdDictRegion& region = *(*it);
    if ((group_name != "") && (region.group_name() != group_name)) continue;
 
    Range range = region.build_range();
 
    if (range.match(id) && range.fields() >= id.fields()) {
      pRegion = &region;
    }
  }
 
  return(pRegion);
}
 
void
IdDictDictionary::integrate_bits() {
  // For each region, loop over its levels and set the bit offset
  // for each FieldImplementation
 
  for (IdDictRegion* region : m_regions) {
    region->integrate_bits();
  }
}
 
MultiRange IdDictDictionary::build_multirange() const {
  MultiRange result;
 
  for (auto& group : m_groups) {
    MultiRange group_mr = group->build_multirange();
 
    for (unsigned int i = 0; i < group_mr.size(); ++i) {
      const Range& range = group_mr[i];
      result.add(range);
    }
  }
 
  return(result);
}
 
MultiRange IdDictDictionary::build_multirange(const ExpandedIdentifier& region_id,
                                              const Range& prefix,
                                              const std::string& last_field) const {
  MultiRange result;
 
  IdDictDictionary::regions_const_it it;
  if ("" == last_field) {
    // Take all fields
    for (it = m_regions.begin(); it != m_regions.end(); ++it) {
      const IdDictRegion& region = *(*it);
 
      // skip regions created from parents
      if ("dummy" == region.name()) continue;
 
      // skip empty regions - may arise from alternate_regions
      // where a tag selects an empty region
      if (region.is_empty()) continue;
 
      Range range(region.build_range());
      // Check region selection
      if (range.match(region_id)) result.add(std::move(range));
    }
  } else {
    // Not all fields required
    for (it = m_regions.begin(); it != m_regions.end(); ++it) {
      const IdDictRegion& region = *(*it);
 
      // skip regions created from parents
      if ("dummy" == region.name()) continue;
 
      // skip empty regions - may arise from alternate_regions
      // where a tag selects an empty region
      if (region.is_empty()) continue;
 
      Range range(region.build_range());
      // Check region selection
      if (range.match(region_id)) {
        // Build new range up to last_field and add it to result -
        // remove duplicate ranges with addRangeToMR
        Range new_range(prefix); // Prepend with prefix
 
        size_t nimpl = region.n_implementation();
        for (size_t i = 0; i < nimpl; ++i) {
          const IdDictFieldImplementation& impl = region.implementation(i);
 
//              new_range.add(impl.m_field);
          new_range.add(impl.range()->build_range());
 
          if (last_field == impl.range()->field()->name()) {
            break;
          }
        }
        result.add(std::move(new_range));
      }
    }
  }
 
  return(result);
}
 
MultiRange IdDictDictionary::build_multirange(const ExpandedIdentifier& region_id,
                                              const std::string& group_name,
                                              const Range& prefix,
                                              const std::string& last_field) const {
  MultiRange result;
 
  IdDictDictionary::regions_const_it it;
  if ("" == last_field) {
    // Take all fields
    for (it = m_regions.begin(); it != m_regions.end(); ++it) {
      const IdDictRegion& region = *(*it);
 
      // skip regions created from parents
      if ("dummy" == region.name()) continue;
 
      // skip empty regions - may arise from alternate_regions
      // where a tag selects an empty region
      if (region.is_empty()) continue;
 
      Range range(region.build_range());
      // Check region selection
      if (range.match(region_id) && region.group_name() == group_name) result.add(std::move(range));
    }
  } else {
    // Not all fields required
    for (it = m_regions.begin(); it != m_regions.end(); ++it) {
      const IdDictRegion& region = *(*it);
 
      // skip regions created from parents
      if ("dummy" == region.name()) continue;
 
      // skip empty regions - may arise from alternate_regions
      // where a tag selects an empty region
      if (region.is_empty()) continue;
 
      Range range(region.build_range());
      // Check region selection
      if (range.match(region_id) && region.group_name() == group_name) {
        // Build new range up to last_field and add it to result -
        // remove duplicate ranges with addRangeToMR
        Range new_range(prefix); // Prepend with prefix
 
        size_t nimpl = region.n_implementation();
        for (size_t i = 0; i < nimpl; ++i) {
          const IdDictFieldImplementation& impl = region.implementation(i);
 
//              new_range.add(impl.m_field);
          new_range.add(impl.range()->build_range());
 
          if (last_field == impl.range()->field()->name()) {
            break;
          }
        }
        result.add(std::move(new_range));
      }
    }
  }
 
  return(result);
}

 
int
IdDictDictionary::pack32(const ExpandedIdentifier& id,
                         size_t index1,
                         size_t index2,
                         Identifier& packedId) const {
  packedId = 0;
 
 
  // Preconditions...
 
  if (index2 < index1) {
    // bad parameters.
    return(1);
  }
 
  if (index1 >= id.fields()) {
    // nothing very useful !!
    return(1);
  }
 
  if (index2 >= id.fields()) {
    // bad parameter...
    return(1);
  }

 
  for (size_t k = 0; k < m_regions.size(); ++k) {
    bool selected = true;
 
    const IdDictRegion& region = *m_regions[k];
 
    // Must skip empty regions - can arise when a tag selects an
    // empty region
    if (region.is_empty()) continue;
 
    for (size_t i = 0; i < region.n_implementation(); ++i) {
      if (i >= id.fields()) break;
 
      const IdDictFieldImplementation& impl = region.implementation(i);
 
      if (!impl.field().match(id[i])) {
        selected = false;
        break;
      }
    }
 
    if (selected) {
      size_t position = Identifier::NBITS;
      // We have the proper region.
      for (size_t i = index1; i <= index2; ++i) {
        const IdDictFieldImplementation& impl = region.implementation(i);
 
        Identifier::value_type index = impl.ored_field().get_value_index(id[i]);
 
        if (0 == position && impl.bits() > 0) {
          return(1);
        }
 
        position -= impl.bits();
        packedId |= (index << position);
      }
      break;
    }
  }
 
 
  return(0);
}
 
int
IdDictDictionary::pack32(const int* fields,
                         size_t index1,
                         size_t index2,
                         size_t region_index,
                         Identifier& packedId,
                         size_t first_field_index) const {
  // Preconditions...
 
  if (m_do_checks) {
    if (index2 < index1) {
      // bad parameters.
      std::cout << "IdDictDictionary::pack32 - index2 < index1 - 1,2"
                << index1 << " " << index2 << std::endl;
      return(1);
    }
 
    if (region_index >= m_regions.size()) {
      // bad parameters.
      std::cout << "IdDictDictionary::pack32 - region index incorrect - index,size"
                << region_index << " " << m_regions.size() << std::endl;
      return(1);
    }
  }
 
 
  // Get the region
  const IdDictRegion& region = *m_regions[region_index];
 
  if (m_do_checks) {
    if (region.is_empty()) {
      std::cout << "IdDictDictionary::pack32 - region id empty" << std::endl;
      // bad parameters.
      return(1);
    }
    if (index1 < first_field_index) {
      std::cout << "IdDictDictionary::pack32 - first_field_index > index1 "
                << first_field_index << " " << index1 << std::endl;
      return(1);
    }
  }
 
  // Set the starting position
  size_t position = Identifier::NBITS;
  if (!first_field_index) {
    const IdDictFieldImplementation& impl = region.implementation(index1);
    position -= impl.bits_offset();
  }
 
  size_t field_index = 0;
  for (size_t i = index1; i <= index2; ++i, ++field_index) {
    const IdDictFieldImplementation& impl = region.implementation(i);
 
    if (m_do_checks) {
      // Field should be within allowed range
      if (!impl.ored_field().match(fields[field_index])) {
        std::cout << "IdDictDictionary::pack32 - field does NOT match: value, allowed values "
                  << fields[field_index] << " " << (std::string) impl.ored_field()
                  << std::endl;
        // bad parameters.
        return(1);
      }
 
      // Check that we don't try to go below 0
      if (0 == position && impl.bits() > 0) {
        std::cout << "IdDictDictionary::pack32 - going past 0" << std::endl;
        return(1);
      }
    }
 
    Identifier::value_type index;
    if (impl.decode_index()) {
      index = impl.ored_field().get_value_index(fields[field_index]);
    } else {
      index = (Identifier::value_type) fields[field_index];
    }
 
    position -= impl.bits();
    packedId |= (index << position);
  }
 
 
  return(0);
}

int IdDictDictionary::reset(size_t index1,
                            size_t index2,
                            size_t region_index,
                            Identifier& packedId) const {
  // Preconditions...
 
  if (m_do_checks) {
    if (index2 < index1) {
      // bad parameters.
      std::cout << "IdDictDictionary::pack32 - index2 < index1 - 1,2"
                << index1 << " " << index2 << std::endl;
      return(1);
    }
 
    if (region_index >= m_regions.size()) {
      // bad parameters.
      std::cout << "IdDictDictionary::pack32 - region index incorrect - index,size"
                << region_index << " " << m_regions.size() << std::endl;
      return(1);
    }
  }
 
 
  // Get the region
  const IdDictRegion& region = *m_regions[region_index];
 
  if (m_do_checks) {
    if (region.is_empty()) {
      std::cout << "IdDictDictionary::pack32 - region id empty" << std::endl;
      // bad parameters.
      return(1);
    }
  }
 
  size_t field_index = 0;
  for (size_t i = index1; i <= index2; ++i, ++field_index) {
    const IdDictFieldImplementation& impl = region.implementation(i);
 
    size_t position = Identifier::NBITS - impl.bits_offset() - impl.bits();
 
    Identifier::value_type mask = (((Identifier::value_type) 1 << impl.bits()) - 1) << position;
 
    mask ^= Identifier::ALL_BITS;
 
    packedId &= (mask);
  }
  return(0);
}

int IdDictDictionary::unpack(const std::string& group,
                             const Identifier& id,
                             const ExpandedIdentifier& prefix,
                             size_t index2,
                             ExpandedIdentifier& unpackedId) const
{
  const IdDictGroup* g = find_group (group);
  int ret = 1;
  if (g)  {
    ret = g->unpack (id, prefix, index2, unpackedId);
  }
  return ret;
}

int IdDictDictionary::unpack(const std::string& group,
                             const Identifier& id,
                             const ExpandedIdentifier& prefix,
                             size_t index2,
                             const std::string& sep,
                             std::string& unpackedId) const
{
  const IdDictGroup* g = find_group (group);
  ExpandedIdentifier unpacked;
  std::vector<const IdDictFieldImplementation*> impls;
  int ret = 1;
  if (g) {
    ret = g->unpack (id, prefix, index2, unpacked, &impls);
  }
  if (ret == 0) {
    assert (unpacked.fields() == impls.size());
    for (size_t i = 0; i < unpacked.fields(); ++i) {
      // Add value to string
 
      std::string str_value("nil");
 
      const IdDictFieldImplementation& impl = *impls[i];
      ExpandedIdentifier::element_type value = unpacked[i];
 
      // The policy below is:
      //   - if a value is a character string or name, just add this name
      //   - if a value is a number, then prefix it with the
      //     name of the field
      //
      // NOTE: min/max is a number, but for value/label we
      // distinguish between number and name by looking for an IdDictLabel
      const IdDictRange* range = impl.range();
      const IdDictLabel* label = range->field()->find_label(range->label());
      switch (range->specification()) {
      case IdDictRange::by_minmax:
        // For a range of values (numbers), add in the field name
        str_value = range->field()->name() + ' '+std::to_string(value);
        break;
 
      case IdDictRange::by_value:
      case IdDictRange::by_label:
        str_value = "";
        if (!label) {
          // Is a number, add in field name
          str_value += range->field()->name() + ' ';
        }
        str_value += range->label();
        break;
 
      case IdDictRange::by_values:
      case IdDictRange::by_labels:
        str_value = "";
        // Is a name
        if (label) {
          // Found label with "find_label" on the field
          if (label->valued()) {
            str_value += range->label();
          }
        } else {
          // If not found with the "find" above, we must
          // get the value and name from the range
          // itself.
 
          unsigned int index1 = 0;
          for (int v : range->values()) {
            if (value == v) break;
            ++index1;
          }
 
          if (index1 < range->labels().size()) {
            if (isNumber(range->labels()[index1])) {
              str_value += range->field()->name() + ' ';
            }
            str_value += range->labels()[index1];
          } else {
            std::cout << "IdDictDictionary::unpack - Could not find value." << std::endl;
            std::cout << "value " << value << std::endl;
            std::cout << "field values " << std::endl;
            for (int v : range->values()) {
              std::cout << v << " ";
            }
            std::cout << std::endl;
          }
        }
        break;
 
      case IdDictRange::unknown:
 
        std::cout << "unknown" << std::endl;
 
        break;
      }
 
      if (i > 0) unpackedId += sep;
      unpackedId += str_value;
    }
  }
 
  return ret;
}

int
IdDictDictionary::unpack(const Identifier& id,
                         size_t first_field_index,
                         size_t field_index,
                         size_t region_index,
                         int& field) const {
  field = 0;
 
  if (m_do_checks) {
    // Check regions
    if (region_index >= m_regions.size()) {
      std::cout << "IdDictDictionary::unpack - region index too large. Index, nregions "
                << region_index << " " << m_regions.size() << std::endl;
      return(1);
    }
  }
 
  const IdDictRegion& region = *m_regions.at(region_index);
 
  if (m_do_checks) {
    // check number of fields
    if (field_index >= region.n_implementation()) {
      std::cout << "IdDictDictionary::unpack - field index too large. Index, nfields "
                << field_index << " " << region.n_implementation()
                << std::endl;
      return(1);
    }
  }
 
  const IdDictFieldImplementation& impl = region.implementation(field_index);
  size_t prefix_offset = 0;
 
  size_t position = Identifier::NBITS; // overall bit position
 
  // One or more fields missing from prefix, get the offset
  if (first_field_index) {
    if (m_do_checks) {
      if (first_field_index >= region.n_implementation()) {
        std::cout << "IdDictDictionary::unpack - first_field_index too large. Index, nfields "
                  << first_field_index << " " << region.n_implementation()
                  << std::endl;
        return(1);
      }
    }
 
    // One or more fields missing from prefix, get the offset
    prefix_offset = region.implementation(first_field_index).bits_offset();
 
    if (m_do_checks) {
      // Should have a non-zero number of bits
      if (impl.bits() == 0) {
        std::cout << "IdDictDictionary::unpack - no bits for this field. Region, field indexes "
                  << region_index << " " << field_index << std::endl;
        return(1);
      }
 
      // Check the shift value
      if (impl.bits() + impl.bits_offset() - prefix_offset > position) {
        std::cout << "IdDictDictionary::unpack - bits + offset too large. Region, field indexes, bits, offset "
                  << region_index << " " << field_index << " "
                  << impl.bits() << " " << impl.bits_offset() << " " << prefix_offset
                  << std::endl;
        return(1);
      }
    }
  }
 
  Identifier::value_type mask = (static_cast<Identifier::value_type>(1) << impl.bits()) - 1;
 
  size_t index = id.extract(position -= impl.bits() + impl.bits_offset() - prefix_offset, mask);
 
  field = index;
  if (impl.decode_index()) field = impl.ored_field().get_value_at(index);
 
 
  return(0);
}

int
IdDictDictionary::copy(const Identifier& idin,
                       size_t first_field_index,
                       size_t begin_field_index,
                       size_t end_field_index,
                       size_t region_index,
                       Identifier& idout) const {
  idout = Identifier();
  if (region_index >= m_regions.size()) {
    std::cout << "IdDictDictionary::copy - region index too large. Index, nregions "
              << region_index << " " << m_regions.size() << std::endl;
    return(1);
  }
 
  const IdDictRegion& region = *m_regions[region_index];
 
  if (first_field_index >= region.n_implementation() ||
      begin_field_index >= region.n_implementation() ||
      end_field_index >= region.n_implementation()) {
    std::cout << "IdDictDictionary::copy - field index too large. Indexes first, begin, end, nfields "
              << first_field_index << " "
              << begin_field_index << " "
              << end_field_index << " "
              << region.n_implementation()
              << std::endl;
    return(1);
  }
 
  size_t missing_offset = 0;
  if (first_field_index) {
    if (first_field_index > begin_field_index) {
      std::cout << "IdDictDictionary::copy - first_field_index > begin_field_index. Indexes "
                << first_field_index << " " << begin_field_index << std::endl;
      return(1);
    }
    // One or more fields missing from prefix, get the offset
    missing_offset = region.implementation(first_field_index).bits_offset();
  }
 
  size_t prefix_offset = 0;
  if (begin_field_index) {
    if (begin_field_index > end_field_index) {
      std::cout << "IdDictDictionary::copy - begin_field_index > end_field_index. Indexes "
                << begin_field_index << " " << end_field_index << std::endl;
      return(1);
    }
    // One or more fields missing from prefix, get the offset
    prefix_offset = region.implementation(begin_field_index).bits_offset();
  }
 
  const IdDictFieldImplementation& impl = region.implementation(end_field_index);
  size_t suffix_offset = impl.bits() + impl.bits_offset();
 
  size_t position = Identifier::NBITS; // overall bit position
 
  if (position < prefix_offset - missing_offset) {
    std::cout << "IdDictDictionary::copy - position < prefix + missing. "
              << prefix_offset << " " << missing_offset << std::endl;
    return(1);
  }
 
 
  if (position < suffix_offset + missing_offset) {
    std::cout << "IdDictDictionary::copy - position < suffix + missing. "
              << suffix_offset << " " << missing_offset << std::endl;
    return(1);
  }
 
 
  // prepare the mask for copying
 
  Identifier::value_type mask = Identifier::ALL_BITS;
 
  Identifier::value_type prefix_mask =
    prefix_offset ? (static_cast<Identifier::value_type>(1) << (position - prefix_offset + missing_offset)) - 1 : 0;
 
  Identifier::value_type suffix_mask =
    (static_cast<Identifier::value_type>(1) << (position - suffix_offset + missing_offset)) - 1;
 
  mask -= prefix_mask + suffix_mask;
 
  idout = idin.mask_shift(mask, missing_offset);
 
 
  return(0);
}
 
bool
IdDictDictionary::do_checks(void) const {
  return(m_do_checks);
}
 
void
IdDictDictionary::set_do_checks(bool do_checks) {
  m_do_checks = do_checks;
}
 
bool
IdDictDictionary::do_neighbours(void) const {
  return(m_do_neighbours);
}
 
void
IdDictDictionary::set_do_neighbours(bool do_neighbours) {
  m_do_neighbours = do_neighbours;
}

bool IdDictDictionary::verify() const {
  // check #1
 
  MultiRange mr = build_multirange();
 
  if (mr.has_overlap()) return(false);
 
 
  return(true);
}

void IdDictDictionary::sort() {
  // verify
  if (verify()) {
    std::map< ExpandedIdentifier, IdDictDictEntry* > regions;
 
    for (auto& g : m_groups) {
      g->sort();
    }
  } else {
    std::cout << "IdDictDictionary::sort - WARNING verify is FALSE - cannot sort "
              << std::endl;
  }
}
 
void IdDictDictionary::clear() {
  m_subregions.clear();
  m_fields.clear();
  m_groups.clear();
}
 
 
void
IdDictDictionary::dump() const
{
  std::cout << "=== IdDictDictionary " << m_name << " " << m_version << " "
            << m_date << " " << m_author << "\n";
  for (const auto& g : m_groups) {
    g->dump();
  }
  std::cout.flush();
}