Method nullifyReversePointer

src/utilities/idf/WorkspaceObject.cpp:1019–1025

Pre-condition: Object sourceHandle points to this object from field index. Post-condition: That information is removed from this object's m_targetData (in preparation for a change to the source pointer).

  // Post-condition: That information is removed from this object's m_targetData (in preparation for
  //                 a change to the source pointer).
  void WorkspaceObject_Impl::nullifyReversePointer(const Handle& sourceHandle, unsigned index) {
    OS_ASSERT(!m_handle.isNull());
    OS_ASSERT(m_targetData);
    auto it = m_targetData->reversePointers.find(ReversePointer(sourceHandle, index));
    OS_ASSERT(it != m_targetData->reversePointers.end());
    m_targetData->reversePointers.erase(it);
  }

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