137   std::string file{};
138   std::string function{};
147   PETSC_NODISCARD std::string to_string() const noexcept  in to_string()
149     std::string ret;  in to_string()
151     ret = '(' + function + "() at " + file + ':' + std::to_string(line) + ')';  in to_string()
156   static std::string split_on_petsc_path_(std::string &&in) noexcept  in split_on_petsc_path_()
160     if (pos == std::string::npos) pos = in.find("petsc/include");  in split_on_petsc_path_()
161     if (pos == std::string::npos) pos = 0;  in split_on_petsc_path_()
165   friend std::ostream &operator<<(std::ostream &os, const PetscStackFrame &frame)  in operator <<()
173     using std::swap;  in swap()
190   PETSC_NODISCARD static std::string to_string() noexcept { return "(unknown)"; }  in to_string()
192   friend std::ostream &operator<<(std::ostream &os, const PetscStackFrame &) noexcept  in operator <<()
250     using dependency_type = std::vector<snapshot_type>;
313 …shot_type(PetscDeviceContext dctx, frame_type frame) noexcept : frame_type(std::move(frame)), even…  in snapshot_type()
323 MarkedObjectMap::snapshot_type::snapshot_type(snapshot_type &&other) noexcept : frame_type(std::mov…  in snapshot_type()
329     frame_type::operator=(std::move(other));  in operator =()
345   using std::swap;  in swap()
359 …Code PetscGetMarkedObjectMap_Internal(std::size_t *nkeys, PetscObjectId **keys, PetscMemoryAccessM…  in PetscGetMarkedObjectMap_Internal()
361   std::size_t i    = 0;  in PetscGetMarkedObjectMap_Internal()
369     std::size_t j  = 0;  in PetscGetMarkedObjectMap_Internal()
382 …e PetscRestoreMarkedObjectMap_Internal(std::size_t nkeys, PetscObjectId **keys, PetscMemoryAccessM…  in PetscRestoreMarkedObjectMap_Internal()
385   for (std::size_t i = 0; i < nkeys; ++i) PetscCall(PetscFree((*dependencies)[i]));  in PetscRestoreMarkedObjectMap_Internal()
408 …const auto it   = std::remove_if(deps.begin(), end, [&](const MarkedObjectMap::snapshot_type &obj)…  in PetscDeviceContextMapIterVisitor()
430       std::ostringstream oss;  in PetscDeviceContextSyncClearMap_Internal()
448     const std::vector<CxxData::upstream_type::value_type> upstream_copy(  in PetscDeviceContextSyncClearMap_Internal()
449       std::make_move_iterator(cxx_data->upstream().begin()),  in PetscDeviceContextSyncClearMap_Internal()
450       std::make_move_iterator(cxx_data->upstream().end())  in PetscDeviceContextSyncClearMap_Internal()
471   std::ostringstream oss;  in PetscDeviceContextCheckNotOrphaned_Internal()
484     if (std::distance(it, end) == 0) oss << " (orphaned)"; // we were the only dependency  in PetscDeviceContextCheckNotOrphaned_Internal()
505 …const auto it                  = std::find_if(object_dependencies.begin(), end, [&](const MarkedOb…  in MarkFromID_CompatibleModes()
511     using std::swap;  in MarkFromID_CompatibleModes()
541     last_write = std::move(last_dep);  in MarkFromID_IncompatibleModes_UpdateLastWrite()
548   using std::swap;  in MarkFromID_IncompatibleModes_UpdateLastWrite()
609     PetscCallCXX(object_dependencies.emplace_back(dctx, std::move(frame)));  in PetscDeviceContextMarkIntentFromID_Private()