Method nullifyPointer

src/utilities/idf/WorkspaceObject.cpp:996–1014

Pre-condition: field index is a pointer, and its targetHandle is either null or valid in m_workspace. Post-condition: field index is a pointer with a null targetHandle.

  //                 m_workspace.
  // Post-condition: field index is a pointer with a null targetHandle.
  void WorkspaceObject_Impl::nullifyPointer(unsigned index) {
    OS_ASSERT(!m_handle.isNull());
    // reverse pointer
    OptionalWorkspaceObject oTarget = getTarget(index);
    if (oTarget) {
      WorkspaceObject target = *oTarget;
      target.getImpl<WorkspaceObject_Impl>()->nullifyReversePointer(m_handle, index);
      // remove forwarded reference if no other source sets the same
      m_workspace->removeForwardedReferences(handle(), index, target);
    }

    // forward pointer
    auto fpIt = getIteratorAtFieldIndex<SourceData>(m_sourceData->pointers, index);
    OS_ASSERT(fpIt != m_sourceData->pointers.end());
    m_sourceData->pointers.erase(fpIt);
    std::pair<SourceData::pointer_set::iterator, bool> insertResult;
    insertResult = m_sourceData->pointers.insert(ForwardPointer(index, Handle()));
    OS_ASSERT(insertResult.second);
  }

  // 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