Method setReversePointer

src/utilities/idf/WorkspaceObject.cpp:1030–1039

Pre-condition: ReversePointer(sourceHandle,index) is not in m_targetData. Post-condition: m_targetData indicates that object sourceHandle points to this object from field index.

  // Post-condition: m_targetData indicates that object sourceHandle points to this object from
  //                 field index.
  void WorkspaceObject_Impl::setReversePointer(const Handle& sourceHandle, unsigned index) {
    OS_ASSERT(!m_handle.isNull());
    if (!m_targetData) {
      m_targetData = TargetData();
    }
    // automatically maintains uniqueness
    std::pair<TargetData::pointer_set::iterator, bool> insertResult;
    insertResult = m_targetData->reversePointers.insert(ReversePointer(sourceHandle, index));
    OS_ASSERT(insertResult.second);
  }

  void WorkspaceObject_Impl::restorePointers() {
    OS_ASSERT(!m_handle.isNull());