/*************************************************************************** * Copyright (c) Jürgen Riegel (juergen.riegel@web.de) 2002 * * * * This file is part of the FreeCAD CAx development system. * * * * This library is free software; you can redistribute it and/or * * modify it under the terms of the GNU Library General Public * * License as published by the Free Software Foundation; either * * version 2 of the License, or (at your option) any later version. * * * * This library is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * * GNU Library General Public License for more details. * * * * You should have received a copy of the GNU Library General Public * * License along with this library; see the file COPYING.LIB. If not, * * write to the Free Software Foundation, Inc., 59 Temple Place, * * Suite 330, Boston, MA 02111-1307, USA * * * ***************************************************************************/ /*! \namespace App \class App::Document This is besides the Application class the most important class in FreeCAD It contains all the data of the opened, saved or newly created FreeCAD Document. The Document manage the Undo and Redo mechanism and the linking of documents. Note: the documents are not free objects. They are completely handled by the App::Application. Only the Application can Open or destroy a document. \section Exception Exception handling As the document is the main data structure of FreeCAD we have to take a close look on how Exceptions affect the integrity of the App::Document. \section UndoRedo Undo Redo an Transactions Undo Redo handling is one of the major mechanism of an document in terms of user friendliness and speed (no one will wait for Undo too long). \section Dependency Graph and dependency handling The FreeCAD document handles the dependencies of its DocumentObjects with an adjacence list. This gives the opportunity to calculate the shortest recompute path. Also enables more complicated dependencies beyond trees. @see App::Application @see App::DocumentObject */ #include "PreCompiled.h" #ifndef _PreComp_ # include # include # include # include # include #endif #include #include #include #ifdef USE_OLD_DAG #include #include #include #include #endif //USE_OLD_DAG #include #include #include #include #include #include #include "Document.h" #include "Application.h" #include "DocumentObject.h" #include "MergeDocuments.h" #include #include #include #include #include #include #include #include #include #include #include #include #ifdef _MSC_VER #include #endif #include #include #include #include #include "Application.h" #include "Transactions.h" #include "GeoFeatureGroupExtension.h" #include "Origin.h" #include "OriginGroupExtension.h" using Base::Console; using Base::streq; using Base::Writer; using namespace App; using namespace std; using namespace boost; using namespace zipios; #if FC_DEBUG # define FC_LOGFEATUREUPDATE #endif // typedef boost::property VertexProperty; typedef boost::adjacency_list < boost::vecS, // class OutEdgeListS : a Sequence or an AssociativeContainer boost::vecS, // class VertexListS : a Sequence or a RandomAccessContainer boost::directedS, // class DirectedS : This is a directed graph boost::no_property, // class VertexProperty: boost::no_property, // class EdgeProperty: boost::no_property, // class GraphProperty: boost::listS // class EdgeListS: > DependencyList; typedef boost::graph_traits Traits; typedef Traits::vertex_descriptor Vertex; typedef Traits::edge_descriptor Edge; typedef std::vector Node; typedef std::vector Path; namespace App { // Pimpl class struct DocumentP { // Array to preserve the creation order of created objects std::vector objectArray; std::map objectMap; DocumentObject* activeObject; Transaction *activeUndoTransaction; int iTransactionMode; bool rollback; bool undoing; ///< document in the middle of undo or redo std::bitset<32> StatusBits; int iUndoMode; unsigned int UndoMemSize; unsigned int UndoMaxStackSize; #ifdef USE_OLD_DAG DependencyList DepList; std::map VertexObjectList; std::map vertexMap; #endif //USE_OLD_DAG DocumentP() { activeObject = 0; activeUndoTransaction = 0; iTransactionMode = 0; rollback = false; undoing = false; StatusBits.set((size_t)Document::Closable, true); StatusBits.set((size_t)Document::KeepTrailingDigits, true); StatusBits.set((size_t)Document::Restoring, false); iUndoMode = 0; UndoMemSize = 0; UndoMaxStackSize = 20; } static void findAllPathsAt(const std::vector &all_nodes, size_t id, std::vector &all_paths, Path tmp); std::vector topologicalSort(const std::vector& objects) const; std::vector partialTopologicalSort(const std::vector& objects) const; }; } // namespace App PROPERTY_SOURCE(App::Document, App::PropertyContainer) bool Document::testStatus(Status pos) const { return d->StatusBits.test((size_t)pos); } void Document::setStatus(Status pos, bool on) { d->StatusBits.set((size_t)pos, on); } void Document::writeDependencyGraphViz(std::ostream &out) { // // caching vertex to DocObject //std::map VertexMap; //for(std::map::const_iterator It1= _DepConMap.begin();It1 != _DepConMap.end(); ++It1) // VertexMap[It1->second] = It1->first; out << "digraph G {" << endl; out << "\tordering=out;" << endl; out << "\tnode [shape = box];" << endl; for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { out << "\t" << It->first << ";" < OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) if (*It2) out << "\t" << It->first << "->" << (*It2)->getNameInDocument() << ";" <::edge_iterator ei, ei_end; for (tie(ei,ei_end) = edges(_DepList); ei != ei_end; ++ei) out << "\t" << VertexMap[source(*ei, _DepList)]->getNameInDocument() << " -> " << VertexMap[target(*ei, _DepList)]->getNameInDocument() << ";" << endl; */ out << "}" << endl; } void Document::exportGraphviz(std::ostream& out) const { /* Typedefs for a graph with graphviz attributes */ typedef std::map GraphvizAttributes; typedef boost::subgraph< adjacency_list, property >, property > > > > > Graph; /** * @brief The GraphCreator class * * This class creates the dependency graph for a document. * */ class GraphCreator { public: GraphCreator(struct DocumentP* _d) : d(_d), vertex_no(0), seed(std::random_device()()), distribution(0,255) { build(); } const Graph & getGraph() const { return DepList; } private: void build() { // Set attribute(s) for main graph get_property(DepList, graph_graph_attribute)["compound"] = "true"; addSubgraphs(); buildAdjacencyList(); addEdges(); markCycles(); markOutOfScopeLinks(); } /** * @brief getId returns a canonical string for a DocumentObject. * @param docObj Document object to get an ID from * @return A string */ std::string getId(const DocumentObject * docObj) { return std::string((docObj)->getDocument()->getName()) + "#" + docObj->getNameInDocument(); } /** * @brief getId returns a canonical string for an ObjectIdentifier; * @param path * @return A string */ std::string getId(const ObjectIdentifier & path) { DocumentObject * docObj = path.getDocumentObject(); if (!docObj) return std::string(); return std::string((docObj)->getDocument()->getName()) + "#" + docObj->getNameInDocument() + "." + path.getPropertyName() + path.getSubPathStr(); } std::string getClusterName(const DocumentObject * docObj) const { return std::string("cluster") + docObj->getNameInDocument(); } void setGraphLabel(Graph& g, const DocumentObject* obj) const { std::string name(obj->getNameInDocument()); std::string label(obj->Label.getValue()); if (name == label) get_property(g, graph_graph_attribute)["label"] = name; else get_property(g, graph_graph_attribute)["label"] = name + "\n(" + label + ")"; } /** * @brief setGraphAttributes Set graph attributes on a subgraph for a DocumentObject node. * @param obj DocumentObject */ void setGraphAttributes(const DocumentObject * obj) { assert(GraphList.find(obj) != GraphList.end()); get_property(*GraphList[obj], graph_name) = getClusterName(obj); get_property(*GraphList[obj], graph_graph_attribute)["bgcolor"] = "#e0e0e0"; get_property(*GraphList[obj], graph_graph_attribute)["style"] = "rounded,filled"; setGraphLabel(*GraphList[obj], obj); } /** * @brief setPropertyVertexAttributes Set vertex attributes for a Property node in a graph. * @param g Graph * @param vertex Property node * @param name Name of node */ void setPropertyVertexAttributes(Graph & g, Vertex vertex, const std::string & name) { get(vertex_attribute, g)[vertex]["label"] = name; get(vertex_attribute, g)[vertex]["shape"] = "box"; get(vertex_attribute, g)[vertex]["style"] = "dashed"; get(vertex_attribute, g)[vertex]["fontsize"] = "8pt"; } /** * @brief addExpressionSubgraphIfNeeded Add a subgraph to the main graph if it is needed, i.e. there are defined at least one * expression in the document object, or other objects are referencing properties in it. * @param obj DocumentObject to assess. * @param CSSubgraphs Boolean if the GeoFeatureGroups are created as subgraphs */ void addExpressionSubgraphIfNeeded(DocumentObject * obj, bool CSsubgraphs) { boost::unordered_map expressions = obj->ExpressionEngine.getExpressions(); if (!expressions.empty()) { Graph* graph = nullptr; graph = &DepList; if (CSsubgraphs) { auto group = GeoFeatureGroupExtension::getGroupOfObject(obj); if (group) { auto it = GraphList.find(group); if (it != GraphList.end()) graph = it->second; } } // If documentObject has an expression, create a subgraph for it if (graph && !GraphList[obj]) { GraphList[obj] = &graph->create_subgraph(); setGraphAttributes(obj); } // Create subgraphs for all documentobjects that it depends on; it will depend on some property there boost::unordered_map::const_iterator i = expressions.begin(); while (i != expressions.end()) { std::set deps; i->second.expression->getDeps(deps); std::set::const_iterator j = deps.begin(); while (j != deps.end()) { DocumentObject * o = j->getDocumentObject(); // Doesn't exist already? if (o && !GraphList[o]) { if (CSsubgraphs) { auto group = GeoFeatureGroupExtension::getGroupOfObject(o); auto graph2 = group ? GraphList[group] : &DepList; if (graph2) { GraphList[o] = &graph2->create_subgraph(); setGraphAttributes(o); } } else if (graph) { GraphList[o] = &graph->create_subgraph(); setGraphAttributes(o); } } ++j; } ++i; } } } /** * @brief add Add @docObj to the graph, including all expressions (and dependencies) it includes. * @param docObj The document object to add. * @param name Name of node. */ void add(DocumentObject * docObj, const std::string & name, const std::string & label, bool CSSubgraphs) { //don't add objects twice if(std::find(objects.begin(), objects.end(), docObj) != objects.end()) return; //find the correct graph to add the vertex to. Check first expression graphs, afterwards //the parent CS and origin graphs Graph * sgraph = GraphList[docObj]; if(CSSubgraphs) { if(!sgraph) { auto group = GeoFeatureGroupExtension::getGroupOfObject(docObj); if(group) { if(docObj->isDerivedFrom(App::OriginFeature::getClassTypeId())) sgraph = GraphList[group->getExtensionByType()->Origin.getValue()]; else sgraph = GraphList[group]; } } if(!sgraph) { if(docObj->isDerivedFrom(OriginFeature::getClassTypeId())) sgraph = GraphList[static_cast(docObj)->getOrigin()]; } } if(!sgraph) sgraph = &DepList; // Keep a list of all added document objects. objects.insert(docObj); // Add vertex to graph. Track global and local index LocalVertexList[getId(docObj)] = add_vertex(*sgraph); GlobalVertexList[getId(docObj)] = vertex_no++; // If node is in main graph, style it with rounded corners. If not, make it invisible. if (!GraphList[docObj]) { get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["style"] = "filled"; get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["shape"] = "Mrecord"; // Set node label if (name == label) get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["label"] = name; else get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["label"] = name + "\n(" + label + ")"; } else { get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["style"] = "invis"; get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["fixedsize"] = "true"; get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["width"] = "0"; get(vertex_attribute, *sgraph)[LocalVertexList[getId(docObj)]]["height"] = "0"; } // Add expressions and its dependencies boost::unordered_map expressions = docObj->ExpressionEngine.getExpressions(); boost::unordered_map::const_iterator i = expressions.begin(); // Add nodes for each property that has an expression attached to it while (i != expressions.end()) { std::map::const_iterator k = GlobalVertexList.find(getId(i->first)); if (k == GlobalVertexList.end()) { int vid = LocalVertexList[getId(i->first)] = add_vertex(*sgraph); GlobalVertexList[getId(i->first)] = vertex_no++; setPropertyVertexAttributes(*sgraph, vid, i->first.toString()); } ++i; } // Add all dependencies i = expressions.begin(); while (i != expressions.end()) { // Get dependencies std::set deps; i->second.expression->getDeps(deps); // Create subgraphs for all documentobjects that it depends on; it will depend on some property there std::set::const_iterator j = deps.begin(); while (j != deps.end()) { DocumentObject * depObjDoc = j->getDocumentObject(); std::map::const_iterator k = GlobalVertexList.find(getId(*j)); if (k == GlobalVertexList.end()) { Graph * depSgraph = GraphList[depObjDoc] ? GraphList[depObjDoc] : &DepList; LocalVertexList[getId(*j)] = add_vertex(*depSgraph); GlobalVertexList[getId(*j)] = vertex_no++; setPropertyVertexAttributes(*depSgraph, LocalVertexList[getId(*j)], j->getPropertyName() + j->getSubPathStr()); } ++j; } ++i; } } void recursiveCSSubgraphs(DocumentObject* cs, DocumentObject* parent) { auto graph = parent ? GraphList[parent] : &DepList; // check if the value for the key 'parent' is null if (!graph) return; auto& sub = graph->create_subgraph(); GraphList[cs] = ⊂ get_property(sub, graph_name) = getClusterName(cs); //build random color string std::stringstream stream; stream << "#" << std::setfill('0') << std::setw(2)<< std::hex << distribution(seed) << std::setfill('0') << std::setw(2)<< std::hex << distribution(seed) << std::setfill('0') << std::setw(2)<< std::hex << distribution(seed) << 80; std::string result(stream.str()); get_property(sub, graph_graph_attribute)["bgcolor"] = result; get_property(sub, graph_graph_attribute)["style"] = "rounded,filled"; setGraphLabel(sub, cs); for(auto obj : cs->getOutList()) { if(obj->hasExtension(GeoFeatureGroupExtension::getExtensionClassTypeId())) recursiveCSSubgraphs(obj, cs); } //setup the origin if available if(cs->hasExtension(App::OriginGroupExtension::getExtensionClassTypeId())) { auto origin = cs->getExtensionByType()->Origin.getValue(); auto& osub = sub.create_subgraph(); GraphList[origin] = &osub; get_property(osub, graph_name) = getClusterName(origin); get_property(osub, graph_graph_attribute)["bgcolor"] = "none"; setGraphLabel(osub, origin); } } void addSubgraphs() { ParameterGrp::handle depGrp = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/DependencyGraph"); bool CSSubgraphs = depGrp->GetBool("GeoFeatureSubgraphs", true); if(CSSubgraphs) { //first build up the coordinate system subgraphs for (auto objectIt : d->objectArray) { if (objectIt->hasExtension(GeoFeatureGroupExtension::getExtensionClassTypeId()) && objectIt->getInList().empty()) recursiveCSSubgraphs(objectIt, nullptr); } } // Internal document objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) addExpressionSubgraphIfNeeded(It->second, CSSubgraphs); // Add external document objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { std::vector OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) { if (*It2) { std::map::const_iterator item = GlobalVertexList.find(getId(*It2)); if (item == GlobalVertexList.end()) addExpressionSubgraphIfNeeded(*It2, CSSubgraphs); } } } } // Filling up the adjacency List void buildAdjacencyList() { ParameterGrp::handle depGrp = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/DependencyGraph"); bool CSSubgraphs = depGrp->GetBool("GeoFeatureSubgraphs", true); // Add internal document objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) add(It->second, It->second->getNameInDocument(), It->second->Label.getValue(), CSSubgraphs); // Add external document objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { std::vector OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) { if (*It2) { std::map::const_iterator item = GlobalVertexList.find(getId(*It2)); if (item == GlobalVertexList.end()) add(*It2, std::string((*It2)->getDocument()->getName()) + "#" + (*It2)->getNameInDocument(), std::string((*It2)->getDocument()->getName()) + "#" + (*It2)->Label.getValue(), CSSubgraphs); } } } } void addEdges() { // Get edge properties for main graph const boost::property_map::type& edgeAttrMap = boost::get(boost::edge_attribute, DepList); // Track edges between document objects connected by expression dependencies std::set > existingEdges; // Add edges between properties std::set::const_iterator j = objects.begin(); while (j != objects.end()) { const DocumentObject * docObj = *j; // Add expressions and its dependencies boost::unordered_map expressions = docObj->ExpressionEngine.getExpressions(); boost::unordered_map::const_iterator i = expressions.begin(); while (i != expressions.end()) { std::set deps; i->second.expression->getDeps(deps); // Create subgraphs for all documentobjects that it depends on; it will depend on some property there std::set::const_iterator k = deps.begin(); while (k != deps.end()) { DocumentObject * depObjDoc = k->getDocumentObject(); Edge edge; bool inserted; tie(edge, inserted) = add_edge(GlobalVertexList[getId(i->first)], GlobalVertexList[getId(*k)], DepList); // Add this edge to the set of all expression generated edges existingEdges.insert(std::make_pair(docObj, depObjDoc)); // Edges between properties should be a bit smaller, and dashed edgeAttrMap[edge]["arrowsize"] = "0.5"; edgeAttrMap[edge]["style"] = "dashed"; ++k; } ++i; } ++j; } ParameterGrp::handle depGrp = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/DependencyGraph"); bool omitGeoFeatureGroups = depGrp->GetBool("GeoFeatureSubgraphs", true); // Add edges between document objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { if(omitGeoFeatureGroups) { //coordinate systems are represented by subgraphs if(It->second->hasExtension(GeoFeatureGroupExtension::getExtensionClassTypeId())) continue; //as well as origins if(It->second->isDerivedFrom(Origin::getClassTypeId())) continue; } std::map dups; std::vector OutList = It->second->getOutList(); const DocumentObject * docObj = It->second; for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) { if (*It2) { // Count duplicate edges bool inserted = edge(GlobalVertexList[getId(docObj)], GlobalVertexList[getId(*It2)], DepList).second; if (inserted) { dups[*It2]++; continue; } // Skip edge if an expression edge already exists if (existingEdges.find(std::make_pair(docObj, *It2)) != existingEdges.end()) continue; // Add edge Edge edge; tie(edge, inserted) = add_edge(GlobalVertexList[getId(docObj)], GlobalVertexList[getId(*It2)], DepList); // Set properties to make arrows go between subgraphs if needed if (GraphList[docObj]) edgeAttrMap[edge]["ltail"] = getClusterName(docObj); if (GraphList[*It2]) edgeAttrMap[edge]["lhead"] = getClusterName(*It2); } } // Set labels for duplicate edges for (std::map::const_iterator It2 = dups.begin(); It2 != dups.end(); ++It2) { Edge e(edge(GlobalVertexList[getId(It->second)], GlobalVertexList[getId(It2->first)], DepList).first); std::stringstream s; s << " " << (It2->second + 1) << "x"; edgeAttrMap[e]["label"] = s.str(); } } } typedef std::unordered_multimap EdgeMap; void removeEdges(EdgeMap & in_edges, EdgeMap & out_edges, std::pair i_pair, std::function select_vertex) { auto i = i_pair.first; while (i != i_pair.second) { // Remove from in edges in other nodes auto in_i_pair = in_edges.equal_range(select_vertex(i->second)); auto in_i = in_i_pair.first; while (in_i != in_i_pair.second) { if (in_i->second == i->second) in_i = in_edges.erase(in_i); else ++in_i; } // Remove node from out_edges i = out_edges.erase(i); } } void markCycles() { bool changed = true; std::unordered_set in_use; EdgeMap in_edges; EdgeMap out_edges; // Add all vertices to the in_use set graph_traits::vertex_iterator vi, vi_end; tie(vi, vi_end) = vertices(DepList); for (; vi != vi_end; ++vi) in_use.insert(*vi); // Add all edges to the in_edges and out_edges multimaps graph_traits::edge_iterator ei, ei_end; tie(ei, ei_end) = edges(DepList); for (; ei != ei_end; ++ei) { in_edges.insert(std::make_pair(target(*ei, DepList), *ei)); out_edges.insert(std::make_pair(source(*ei, DepList), *ei)); } // Go through dependency graph and remove nodes with either no input or output // A normal DAG without any cycles will get all its edges removed. // If one or more cycles exist in the graph, there will remain nodes with // both in and out edges. while (changed) { auto uvi = in_use.begin(); auto uvi_end = in_use.end(); // Flag that no changes has occurred so far. If the loop goes through // without this flag being set to true, we are done. changed = false; while (uvi != uvi_end) { auto i_in_deg_pair = in_edges.equal_range(*uvi); auto i_out_deg_pair = out_edges.equal_range(*uvi); if (i_in_deg_pair.first == in_edges.end() && i_out_deg_pair.first == out_edges.end()) { uvi = in_use.erase(uvi); continue; } // Remove out edges of nodes that don't have a single edge in if (i_in_deg_pair.first == in_edges.end()) { removeEdges(in_edges, out_edges, i_out_deg_pair, [&](Edge e) { return target(e, DepList); }); changed = true; i_out_deg_pair = out_edges.equal_range(*uvi); } // Remove in edges of nodes that don't have a single edge out if (i_out_deg_pair.first == out_edges.end()) { removeEdges(out_edges, in_edges, i_in_deg_pair, [&](Edge e) { return source(e, DepList); }); changed = true; } ++uvi; } } // Update colors in graph const boost::property_map::type& edgeAttrMap = boost::get(boost::edge_attribute, DepList); for (auto ei = out_edges.begin(), ei_end = out_edges.end(); ei != ei_end; ++ei) edgeAttrMap[ei->second]["color"] = "red"; } void markOutOfScopeLinks() { const boost::property_map::type& edgeAttrMap = boost::get(boost::edge_attribute, DepList); for( auto obj : objects) { std::vector invalids; GeoFeatureGroupExtension::getInvalidLinkObjects(obj, invalids); //isLinkValid returns true for non-link properties for(auto linkedObj : invalids) { auto res = edge(GlobalVertexList[getId(obj)], GlobalVertexList[getId(linkedObj)], DepList); if(res.second) edgeAttrMap[res.first]["color"] = "red"; } } } const struct DocumentP* d; Graph DepList; int vertex_no; std::map LocalVertexList; std::map GlobalVertexList; std::set objects; std::map GraphList; //random color generation std::mt19937 seed; std::uniform_int_distribution distribution; }; GraphCreator g(d); boost::write_graphviz(out, g.getGraph()); } //bool _has_cycle_dfs(const DependencyList & g, vertex_t u, default_color_type * color) //{ // color[u] = gray_color; // graph_traits < DependencyList >::adjacency_iterator vi, vi_end; // for (tie(vi, vi_end) = adjacent_vertices(u, g); vi != vi_end; ++vi) // if (color[*vi] == white_color) // if (has_cycle_dfs(g, *vi, color)) // return true; // cycle detected, return immediately // else if (color[*vi] == gray_color) // *vi is an ancestor! // return true; // color[u] = black_color; // return false; //} bool Document::checkOnCycle(void) {/* std::vector < default_color_type > color(num_vertices(_DepList), white_color); graph_traits < DependencyList >::vertex_iterator vi, vi_end; for (tie(vi, vi_end) = vertices(_DepList); vi != vi_end; ++vi) if (color[*vi] == white_color) if (_has_cycle_dfs(_DepList, *vi, &color[0])) return true; */ return false; } bool Document::undo(void) { if (d->iUndoMode) { if (d->activeUndoTransaction) commitTransaction(); else if (mUndoTransactions.empty()) return false; // redo d->activeUndoTransaction = new Transaction(); d->activeUndoTransaction->Name = mUndoTransactions.back()->Name; d->undoing = true; // applying the undo mUndoTransactions.back()->apply(*this,false); d->undoing = false; // save the redo mRedoTransactions.push_back(d->activeUndoTransaction); d->activeUndoTransaction = 0; delete mUndoTransactions.back(); mUndoTransactions.pop_back(); signalUndo(*this); return true; } return false; } bool Document::redo(void) { if (d->iUndoMode) { if (d->activeUndoTransaction) commitTransaction(); assert(mRedoTransactions.size()!=0); // undo d->activeUndoTransaction = new Transaction(); d->activeUndoTransaction->Name = mRedoTransactions.back()->Name; // do the redo d->undoing = true; mRedoTransactions.back()->apply(*this,true); d->undoing = false; mUndoTransactions.push_back(d->activeUndoTransaction); d->activeUndoTransaction = 0; delete mRedoTransactions.back(); mRedoTransactions.pop_back(); signalRedo(*this); return true; } return false; } void Document::removePropertyOfObject(TransactionalObject* obj, const char* name) { Property* prop = obj->getDynamicPropertyByName(name); if (prop) { if (d->activeUndoTransaction) d->activeUndoTransaction->removeProperty(obj, prop); for (auto it : mUndoTransactions) it->removeProperty(obj, prop); } } bool Document::isPerformingTransaction() const { return d->undoing || d->rollback; } std::vector Document::getAvailableUndoNames() const { std::vector vList; if (d->activeUndoTransaction) vList.push_back(d->activeUndoTransaction->Name); for (std::list::const_reverse_iterator It=mUndoTransactions.rbegin();It!=mUndoTransactions.rend();++It) vList.push_back((**It).Name); return vList; } std::vector Document::getAvailableRedoNames() const { std::vector vList; for (std::list::const_reverse_iterator It=mRedoTransactions.rbegin();It!=mRedoTransactions.rend();++It) vList.push_back((**It).Name); return vList; } void Document::openTransaction(const char* name) { if (d->iUndoMode) { if (d->activeUndoTransaction) commitTransaction(); _clearRedos(); d->activeUndoTransaction = new Transaction(); if (name) d->activeUndoTransaction->Name = name; else d->activeUndoTransaction->Name = ""; } } void Document::_checkTransaction(DocumentObject* pcObject) { // if the undo is active but no transaction open, open one! if (d->iUndoMode) { if (!d->activeUndoTransaction) { // When the object is going to be deleted we have to check if it has already been added to // the undo transactions std::list::iterator it; for (it = mUndoTransactions.begin(); it != mUndoTransactions.end(); ++it) { if ((*it)->hasObject(pcObject)) { openTransaction(); break; } } } } } void Document::_clearRedos() { while (!mRedoTransactions.empty()) { delete mRedoTransactions.back(); mRedoTransactions.pop_back(); } } void Document::commitTransaction() { if (d->activeUndoTransaction) { mUndoTransactions.push_back(d->activeUndoTransaction); d->activeUndoTransaction = 0; // check the stack for the limits if(mUndoTransactions.size() > d->UndoMaxStackSize){ delete mUndoTransactions.front(); mUndoTransactions.pop_front(); } } } void Document::abortTransaction() { if (d->activeUndoTransaction) { d->rollback = true; // applying the so far made changes d->activeUndoTransaction->apply(*this,false); d->rollback = false; // destroy the undo delete d->activeUndoTransaction; d->activeUndoTransaction = 0; } } bool Document::hasPendingTransaction() const { if (d->activeUndoTransaction) return true; else return false; } void Document::clearUndos() { if (d->activeUndoTransaction) commitTransaction(); // When cleaning up the undo stack we must delete the transactions from front // to back because a document object can appear in several transactions but // once removed from the document the object can never ever appear in any later // transaction. Since the document object may be also deleted when the transaction // is deleted we must make sure not access an object once it's destroyed. Thus, we // go from front to back and not the other way round. while (!mUndoTransactions.empty()) { delete mUndoTransactions.front(); mUndoTransactions.pop_front(); } //while (!mUndoTransactions.empty()) { // delete mUndoTransactions.back(); // mUndoTransactions.pop_back(); //} _clearRedos(); } int Document::getAvailableUndos() const { if (d->activeUndoTransaction) return static_cast(mUndoTransactions.size() + 1); else return static_cast(mUndoTransactions.size()); } int Document::getAvailableRedos() const { return static_cast(mRedoTransactions.size()); } void Document::setUndoMode(int iMode) { if (d->iUndoMode && !iMode) clearUndos(); d->iUndoMode = iMode; } int Document::getUndoMode(void) const { return d->iUndoMode; } unsigned int Document::getUndoMemSize (void) const { return d->UndoMemSize; } void Document::setUndoLimit(unsigned int UndoMemSize) { d->UndoMemSize = UndoMemSize; } void Document::setMaxUndoStackSize(unsigned int UndoMaxStackSize) { d->UndoMaxStackSize = UndoMaxStackSize; } unsigned int Document::getMaxUndoStackSize(void)const { return d->UndoMaxStackSize; } void Document::onChanged(const Property* prop) { // the Name property is a label for display purposes if (prop == &Label) { App::GetApplication().signalRelabelDocument(*this); } else if (prop == &Uid) { std::string new_dir = getTransientDirectoryName(this->Uid.getValueStr(),this->FileName.getStrValue()); std::string old_dir = this->TransientDir.getStrValue(); Base::FileInfo TransDirNew(new_dir); Base::FileInfo TransDirOld(old_dir); // this directory should not exist if (!TransDirNew.exists()) { if (TransDirOld.exists()) { if (!TransDirOld.renameFile(new_dir.c_str())) Base::Console().Warning("Failed to rename '%s' to '%s'\n", old_dir.c_str(), new_dir.c_str()); else this->TransientDir.setValue(new_dir); } else { if (!TransDirNew.createDirectory()) Base::Console().Warning("Failed to create '%s'\n", new_dir.c_str()); else this->TransientDir.setValue(new_dir); } } // when reloading an existing document the transient directory doesn't change // so we must avoid to generate a new uuid else if (TransDirNew.filePath() != TransDirOld.filePath()) { // make sure that the uuid is unique std::string uuid = this->Uid.getValueStr(); Base::Uuid id; Base::Console().Warning("Document with the UUID '%s' already exists, change to '%s'\n", uuid.c_str(), id.getValue().c_str()); // recursive call of onChanged() this->Uid.setValue(id); } } } void Document::onBeforeChangeProperty(const TransactionalObject *Who, const Property *What) { if (d->activeUndoTransaction && !d->rollback) d->activeUndoTransaction->addObjectChange(Who,What); } void Document::onChangedProperty(const DocumentObject *Who, const Property *What) { signalChangedObject(*Who, *What); } void Document::setTransactionMode(int iMode) { d->iTransactionMode = iMode; } //-------------------------------------------------------------------------- // constructor //-------------------------------------------------------------------------- Document::Document(void) { // Remark: In a constructor we should never increment a Python object as we cannot be sure // if the Python interpreter gets a reference of it. E.g. if we increment but Python don't // get a reference then the object wouldn't get deleted in the destructor. // So, we must increment only if the interpreter gets a reference. // Remark: We force the document Python object to own the DocumentPy instance, thus we don't // have to care about ref counting any more. DocumentPythonObject = Py::Object(new DocumentPy(this), true); d = new DocumentP; #ifdef FC_LOGUPDATECHAIN Console().Log("+App::Document: %p\n",this); #endif std::string CreationDateString = Base::TimeInfo::currentDateTimeString(); std::string Author = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetASCII("prefAuthor",""); std::string AuthorComp = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetASCII("prefCompany",""); ADD_PROPERTY_TYPE(Label,("Unnamed"),0,Prop_None,"The name of the document"); ADD_PROPERTY_TYPE(FileName,(""),0,PropertyType(Prop_Transient|Prop_ReadOnly),"The path to the file where the document is saved to"); ADD_PROPERTY_TYPE(CreatedBy,(Author.c_str()),0,Prop_None,"The creator of the document"); ADD_PROPERTY_TYPE(CreationDate,(CreationDateString.c_str()),0,Prop_ReadOnly,"Date of creation"); ADD_PROPERTY_TYPE(LastModifiedBy,(""),0,Prop_None,0); ADD_PROPERTY_TYPE(LastModifiedDate,("Unknown"),0,Prop_ReadOnly,"Date of last modification"); ADD_PROPERTY_TYPE(Company,(AuthorComp.c_str()),0,Prop_None,"Additional tag to save the name of the company"); ADD_PROPERTY_TYPE(Comment,(""),0,Prop_None,"Additional tag to save a comment"); ADD_PROPERTY_TYPE(Meta,(),0,Prop_None,"Map with additional meta information"); ADD_PROPERTY_TYPE(Material,(),0,Prop_None,"Map with material properties"); // create the uuid for the document Base::Uuid id; ADD_PROPERTY_TYPE(Id,(""),0,Prop_None,"ID of the document"); ADD_PROPERTY_TYPE(Uid,(id),0,Prop_ReadOnly,"UUID of the document"); // license stuff ADD_PROPERTY_TYPE(License,("CC-BY 3.0"),0,Prop_None,"License string of the Item"); ADD_PROPERTY_TYPE(LicenseURL,("http://creativecommons.org/licenses/by/3.0/"),0,Prop_None,"URL to the license text/contract"); // license stuff int licenseId = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetInt("prefLicenseType",0); std::string license; std::string licenseUrl; switch (licenseId) { case 0: license = "All rights reserved"; licenseUrl = "http://en.wikipedia.org/wiki/All_rights_reserved"; break; case 1: license = "CreativeCommons Attribution"; licenseUrl = "http://creativecommons.org/licenses/by/4.0/"; break; case 2: license = "CreativeCommons Attribution-ShareAlike"; licenseUrl = "http://creativecommons.org/licenses/by-sa/4.0/"; break; case 3: license = "CreativeCommons Attribution-NoDerivatives"; licenseUrl = "http://creativecommons.org/licenses/by-nd/4.0/"; break; case 4: license = "CreativeCommons Attribution-NonCommercial"; licenseUrl = "http://creativecommons.org/licenses/by-nc/4.0/"; break; case 5: license = "CreativeCommons Attribution-NonCommercial-ShareAlike"; licenseUrl = "http://creativecommons.org/licenses/by-nc-sa/4.0/"; break; case 6: license = "CreativeCommons Attribution-NonCommercial-NoDerivatives"; licenseUrl = "http://creativecommons.org/licenses/by-nc-nd/4.0/"; break; case 7: license = "Public Domain"; licenseUrl = "http://en.wikipedia.org/wiki/Public_domain"; break; case 8: license = "FreeArt"; licenseUrl = "http://artlibre.org/licence/lal"; break; default: license = "Other"; break; } licenseUrl = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetASCII("prefLicenseUrl", licenseUrl.c_str()); ADD_PROPERTY_TYPE(License,(license.c_str()),0,Prop_None,"License string of the Item"); ADD_PROPERTY_TYPE(LicenseURL,(licenseUrl.c_str()),0,Prop_None,"URL to the license text/contract"); // this creates and sets 'TransientDir' in onChanged() ADD_PROPERTY_TYPE(TransientDir,(""),0,PropertyType(Prop_Transient|Prop_ReadOnly), "Transient directory, where the files live while the document is open"); ADD_PROPERTY_TYPE(Tip,(0),0,PropertyType(Prop_Transient), "Link of the tip object of the document"); ADD_PROPERTY_TYPE(TipName,(""),0,PropertyType(Prop_Hidden|Prop_ReadOnly), "Link of the tip object of the document"); Uid.touch(); } Document::~Document() { #ifdef FC_LOGUPDATECHAIN Console().Log("-App::Document: %s %p\n",getName(), this); #endif clearUndos(); std::map::iterator it; #ifdef FC_LOGUPDATECHAIN Console().Log("-Delete Features of %s \n",getName()); #endif d->objectArray.clear(); for (it = d->objectMap.begin(); it != d->objectMap.end(); ++it) { it->second->setStatus(ObjectStatus::Destroy, true); delete(it->second); } // Remark: The API of Py::Object has been changed to set whether the wrapper owns the passed // Python object or not. In the constructor we forced the wrapper to own the object so we need // not to dec'ref the Python object any more. // But we must still invalidate the Python object because it doesn't need to be // destructed right now because the interpreter can own several references to it. Base::PyObjectBase* doc = (Base::PyObjectBase*)DocumentPythonObject.ptr(); // Call before decrementing the reference counter, otherwise a heap error can occur doc->setInvalid(); // remove Transient directory try { Base::FileInfo TransDir(TransientDir.getValue()); TransDir.deleteDirectoryRecursive(); } catch (const Base::Exception& e) { std::cerr << "Removing transient directory failed: " << e.what() << std::endl; } delete d; } std::string Document::getTransientDirectoryName(const std::string& uuid, const std::string& filename) const { // Create a directory name of the form: {ExeName}_Doc_{UUID}_{HASH}_{PID} std::stringstream s; QCryptographicHash hash(QCryptographicHash::Sha1); hash.addData(filename.c_str(), filename.size()); s << App::Application::getTempPath() << GetApplication().getExecutableName() << "_Doc_" << uuid << "_" << hash.result().toHex().left(6).constData() << "_" << QCoreApplication::applicationPid(); return s.str(); } //-------------------------------------------------------------------------- // Exported functions //-------------------------------------------------------------------------- void Document::Save (Base::Writer &writer) const { writer.Stream() << "" << endl << "" << endl; writer.Stream() << "" << endl; PropertyContainer::Save(writer); // writing the features types writeObjects(d->objectArray, writer); writer.Stream() << "" << endl; } void Document::Restore(Base::XMLReader &reader) { int i,Cnt; Base::ObjectStatusLocker restoreBit(Status::Restoring, this); reader.readElement("Document"); long scheme = reader.getAttributeAsInteger("SchemaVersion"); reader.DocumentSchema = scheme; if (reader.hasAttribute("ProgramVersion")) { reader.ProgramVersion = reader.getAttribute("ProgramVersion"); } else { reader.ProgramVersion = "pre-0.14"; } if (reader.hasAttribute("FileVersion")) { reader.FileVersion = reader.getAttributeAsUnsigned("FileVersion"); } else { reader.FileVersion = 0; } // When this document was created the FileName and Label properties // were set to the absolute path or file name, respectively. To save // the document to the file it was loaded from or to show the file name // in the tree view we must restore them after loading the file because // they will be overridden. // Note: This does not affect the internal name of the document in any way // that is kept in Application. std::string FilePath = FileName.getValue(); std::string DocLabel = Label.getValue(); // read the Document Properties, when reading in Uid the transient directory gets renamed automatically PropertyContainer::Restore(reader); // We must restore the correct 'FileName' property again because the stored // value could be invalid. FileName.setValue(FilePath.c_str()); Label.setValue(DocLabel.c_str()); // SchemeVersion "2" if ( scheme == 2 ) { // read the feature types reader.readElement("Features"); Cnt = reader.getAttributeAsInteger("Count"); for (i=0 ;isetStatus(ObjectStatus::Restore, true); pObj->Restore(reader); pObj->setStatus(ObjectStatus::Restore, false); } reader.readEndElement("Feature"); } reader.readEndElement("FeatureData"); } // SchemeVersion "3" or higher else if ( scheme >= 3 ) { // read the feature types readObjects(reader); // tip object handling. First the whole document has to be read, then we // can restore the Tip link out of the TipName Property: Tip.setValue(getObject(TipName.getValue())); } reader.readEndElement("Document"); } void Document::exportObjects(const std::vector& obj, std::ostream& out) { Base::ZipWriter writer(out); writer.putNextEntry("Document.xml"); writer.Stream() << "" << endl; writer.Stream() << "" << endl; // Add this block to have the same layout as for normal documents writer.Stream() << "" << endl; writer.Stream() << "" << endl; // writing the object types writeObjects(obj, writer); writer.Stream() << "" << endl; // Hook for others to add further data. signalExportObjects(obj, writer); // write additional files writer.writeFiles(); } void Document::writeObjects(const std::vector& obj, Base::Writer &writer) const { // writing the features types writer.incInd(); // indentation for 'Objects count' writer.Stream() << writer.ind() << "" << endl; writer.incInd(); // indentation for 'Object type' std::vector::const_iterator it; for (it = obj.begin(); it != obj.end(); ++it) { writer.Stream() << writer.ind() << "getTypeId().getName() << "\" " << "name=\"" << (*it)->getNameInDocument() << "\" "; // See DocumentObjectPy::getState if ((*it)->testStatus(ObjectStatus::Touch)) writer.Stream() << "Touched=\"1\" "; if ((*it)->testStatus(ObjectStatus::Error)) writer.Stream() << "Invalid=\"1\" "; writer.Stream() << "/>" << endl; } writer.decInd(); // indentation for 'Object type' writer.Stream() << writer.ind() << "" << endl; // writing the features itself writer.Stream() << writer.ind() << "" << endl; writer.incInd(); // indentation for 'Object name' for (it = obj.begin(); it != obj.end(); ++it) { writer.Stream() << writer.ind() << "getNameInDocument() << "\""; if((*it)->hasExtensions()) writer.Stream() << " Extensions=\"True\""; writer.Stream() << ">" << endl; (*it)->Save(writer); writer.Stream() << writer.ind() << "" << endl; } writer.decInd(); // indentation for 'Object name' writer.Stream() << writer.ind() << "" << endl; writer.decInd(); // indentation for 'Objects count' } std::vector Document::readObjects(Base::XMLReader& reader) { bool keepDigits = testStatus(Document::KeepTrailingDigits); setStatus(Document::KeepTrailingDigits, !reader.doNameMapping()); std::vector objs; // read the object types reader.readElement("Objects"); int Cnt = reader.getAttributeAsInteger("Count"); for (int i=0 ;igetNameInDocument()); // restore touch/error status flags if (reader.hasAttribute("Touched")) obj->setStatus(ObjectStatus::Touch, reader.getAttributeAsInteger("Touched") != 0); if (reader.hasAttribute("Invalid")) obj->setStatus(ObjectStatus::Error, reader.getAttributeAsInteger("Invalid") != 0); } } catch (const Base::Exception& e) { Base::Console().Error("Cannot create object '%s': (%s)\n", name.c_str(), e.what()); } } reader.readEndElement("Objects"); setStatus(Document::KeepTrailingDigits, keepDigits); // read the features itself reader.readElement("ObjectData"); Cnt = reader.getAttributeAsInteger("Count"); for (int i=0 ;isetStatus(ObjectStatus::Restore, true); pObj->Restore(reader); pObj->setStatus(ObjectStatus::Restore, false); } reader.readEndElement("Object"); } reader.readEndElement("ObjectData"); return objs; } std::vector Document::importObjects(Base::XMLReader& reader) { setStatus(Document::Restoring, true); reader.readElement("Document"); long scheme = reader.getAttributeAsInteger("SchemaVersion"); reader.DocumentSchema = scheme; if (reader.hasAttribute("ProgramVersion")) { reader.ProgramVersion = reader.getAttribute("ProgramVersion"); } else { reader.ProgramVersion = "pre-0.14"; } if (reader.hasAttribute("FileVersion")) { reader.FileVersion = reader.getAttributeAsUnsigned("FileVersion"); } else { reader.FileVersion = 0; } std::vector objs = readObjects(reader); reader.readEndElement("Document"); signalImportObjects(objs, reader); // reset all touched for (std::vector::iterator it= objs.begin();it!=objs.end();++it) { (*it)->onDocumentRestored(); (*it)->ExpressionEngine.onDocumentRestored(); (*it)->purgeTouched(); } setStatus(Document::Restoring, false); return objs; } unsigned int Document::getMemSize (void) const { unsigned int size = 0; // size of the DocObjects in the document std::vector::const_iterator it; for (it = d->objectArray.begin(); it != d->objectArray.end(); ++it) size += (*it)->getMemSize(); // size of the document properties... size += PropertyContainer::getMemSize(); // Undo Redo size size += getUndoMemSize(); return size; } bool Document::saveAs(const char* file) { Base::FileInfo fi(file); if (this->FileName.getStrValue() != file) { this->FileName.setValue(file); this->Label.setValue(fi.fileNamePure()); this->Uid.touch(); // this forces a rename of the transient directory } return save(); } bool Document::saveCopy(const char* file) { std::string originalFileName = this->FileName.getStrValue(); std::string originalLabel = this->Label.getStrValue(); Base::FileInfo fi(file); if (this->FileName.getStrValue() != file) { this->FileName.setValue(file); this->Label.setValue(fi.fileNamePure()); this->Uid.touch(); // this forces a rename of the transient directory bool result = save(); this->FileName.setValue(originalFileName); this->Label.setValue(originalLabel); this->Uid.touch(); return result; } return false; } // Save the document under the name it has been opened bool Document::save (void) { auto hGrp = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/Document"); int compression = hGrp->GetInt("CompressionLevel",3); compression = Base::clamp(compression, Z_NO_COMPRESSION, Z_BEST_COMPRESSION); if (*(FileName.getValue()) != '\0') { // Save the name of the tip object in order to handle in Restore() if(Tip.getValue()) { TipName.setValue(Tip.getValue()->getNameInDocument()); } std::string LastModifiedDateString = Base::TimeInfo::currentDateTimeString(); LastModifiedDate.setValue(LastModifiedDateString.c_str()); // set author if needed bool saveAuthor = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetBool("prefSetAuthorOnSave",false); if (saveAuthor) { std::string Author = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetASCII("prefAuthor",""); LastModifiedBy.setValue(Author.c_str()); } // make a tmp. file where to save the project data first and then rename to // the actual file name. This may be useful if overwriting an existing file // fails so that the data of the work up to now isn't lost. std::string uuid = Base::Uuid::createUuid(); std::string fn = FileName.getValue(); fn += "."; fn += uuid; Base::FileInfo tmp(fn); // open extra scope to close ZipWriter properly { Base::ofstream file(tmp, std::ios::out | std::ios::binary); Base::ZipWriter writer(file); writer.setComment("FreeCAD Document"); writer.setLevel(compression); writer.putNextEntry("Document.xml"); if (hGrp->GetBool("SaveBinaryBrep", false)) writer.setMode("BinaryBrep"); Document::Save(writer); // Special handling for Gui document. signalSaveDocument(writer); // write additional files writer.writeFiles(); if (writer.hasErrors()) { throw Base::FileException("Failed to write all data to file", tmp); } GetApplication().signalSaveDocument(*this); } // if saving the project data succeeded rename to the actual file name Base::FileInfo fi(FileName.getValue()); if (fi.exists()) { bool backup = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetBool("CreateBackupFiles",true); int count_bak = App::GetApplication().GetParameterGroupByPath ("User parameter:BaseApp/Preferences/Document")->GetInt("CountBackupFiles",1); if (backup) { int nSuff = 0; std::string fn = fi.fileName(); Base::FileInfo di(fi.dirPath()); std::vector backup; std::vector files = di.getDirectoryContent(); for (std::vector::iterator it = files.begin(); it != files.end(); ++it) { std::string file = it->fileName(); if (file.substr(0,fn.length()) == fn) { // starts with the same file name std::string suf(file.substr(fn.length())); if (suf.size() > 0) { std::string::size_type nPos = suf.find_first_not_of("0123456789"); if (nPos==std::string::npos) { // store all backup files backup.push_back(*it); nSuff = std::max(nSuff, std::atol(suf.c_str())); } } } } if (!backup.empty() && (int)backup.size() >= count_bak) { // delete the oldest backup file we found Base::FileInfo del = backup.front(); for (std::vector::iterator it = backup.begin(); it != backup.end(); ++it) { if (it->lastModified() < del.lastModified()) del = *it; } del.deleteFile(); fn = del.filePath(); } else { // create a new backup file std::stringstream str; str << fi.filePath() << (nSuff + 1); fn = str.str(); } if (fi.renameFile(fn.c_str()) == false) Base::Console().Warning("Cannot rename project file to backup file\n"); } else { fi.deleteFile(); } } if (tmp.renameFile(FileName.getValue()) == false) Base::Console().Warning("Cannot rename file from '%s' to '%s'\n", fn.c_str(), FileName.getValue()); return true; } return false; } // Open the document void Document::restore (void) { // clean up if the document is not empty // !TODO mind exceptions while restoring! clearUndos(); // first notify the objects to being deleted and then delete them in a second loop (#0002521) // FIXME: To delete every object individually is inefficient. Add a new signal 'signalClear' // and then clear everything in one go. for (std::vector::iterator obj = d->objectArray.begin(); obj != d->objectArray.end(); ++obj) { signalDeletedObject(*(*obj)); signalTransactionRemove(*(*obj), 0); } for (std::vector::iterator obj = d->objectArray.begin(); obj != d->objectArray.end(); ++obj) { (*obj)->setStatus(ObjectStatus::Destroy, true); delete *obj; } d->objectArray.clear(); d->objectMap.clear(); d->activeObject = 0; Base::FileInfo fi(FileName.getValue()); Base::ifstream file(fi, std::ios::in | std::ios::binary); std::streambuf* buf = file.rdbuf(); std::streamoff size = buf->pubseekoff(0, std::ios::end, std::ios::in); buf->pubseekoff(0, std::ios::beg, std::ios::in); if (size < 22) // an empty zip archive has 22 bytes throw Base::FileException("Invalid project file",FileName.getValue()); zipios::ZipInputStream zipstream(file); Base::XMLReader reader(FileName.getValue(), zipstream); if (!reader.isValid()) throw Base::FileException("Error reading compression file",FileName.getValue()); GetApplication().signalStartRestoreDocument(*this); setStatus(Document::Restoring, true); try { Document::Restore(reader); } catch (const Base::Exception& e) { Base::Console().Error("Invalid Document.xml: %s\n", e.what()); } // Special handling for Gui document, the view representations must already // exist, what is done in Restore(). // Note: This file doesn't need to be available if the document has been created // without GUI. But if available then follow after all data files of the App document. signalRestoreDocument(reader); reader.readFiles(zipstream); // reset all touched for (std::map::iterator It= d->objectMap.begin();It!=d->objectMap.end();++It) { It->second->connectRelabelSignals(); try { It->second->onDocumentRestored(); It->second->ExpressionEngine.onDocumentRestored(); } catch (const Base::Exception& e) { Base::Console().Error("Error in %s: %s\n", It->second->Label.getValue(), e.what()); } It->second->purgeTouched(); } GetApplication().signalFinishRestoreDocument(*this); setStatus(Document::Restoring, false); } bool Document::isSaved() const { std::string name = FileName.getValue(); return !name.empty(); } /** Label is the visible name of a document shown e.g. in the windows title * or in the tree view. The label almost (but not always e.g. if you manually change it) * matches with the file name where the document is stored to. * In contrast to Label the method getName() returns the internal name of the document that only * matches with Label when loading or creating a document because then both are set to the same value. * Since the internal name cannot be changed during runtime it must differ from the Label after saving * the document the first time or saving it under a new file name. * @ note More than one document can have the same label name. * @ note The internal is always guaranteed to be unique because @ref Application::newDocument() checks * for a document with the same name and makes it unique if needed. Hence you cannot rely on that the * internal name matches with the name you passed to Application::newDoument(). You should use the * method getName() instead. */ const char* Document::getName() const { return GetApplication().getDocumentName(this); } /// Remove all modifications. After this call The document becomes valid again. void Document::purgeTouched() { for (std::vector::iterator It = d->objectArray.begin();It != d->objectArray.end();++It) (*It)->purgeTouched(); } bool Document::isTouched() const { for (std::vector::const_iterator It = d->objectArray.begin();It != d->objectArray.end();++It) if ((*It)->isTouched()) return true; return false; } vector Document::getTouched(void) const { vector result; for (std::vector::const_iterator It = d->objectArray.begin();It != d->objectArray.end();++It) if ((*It)->isTouched()) result.push_back(*It); return result; } void Document::setClosable(bool c) { setStatus(Document::Closable, c); } bool Document::isClosable() const { return testStatus(Document::Closable); } int Document::countObjects(void) const { return static_cast(d->objectArray.size()); } std::vector Document::getInList(const DocumentObject* me) const { // result list std::vector result; // go through all objects for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { // get the outList and search if me is in that list std::vector OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) if (*It2 && *It2 == me) // add the parent object result.push_back(It->second); } return result; } #ifdef USE_OLD_DAG namespace boost { // recursive helper function to get all dependencies void out_edges_recursive(const Vertex& v, const DependencyList& g, std::set& out) { DependencyList::out_edge_iterator j, jend; for (boost::tie(j, jend) = boost::out_edges(v, g); j != jend; ++j) { Vertex n = boost::target(*j, g); std::pair::iterator, bool> i = out.insert(n); if (i.second) out_edges_recursive(n, g, out); } } } std::vector Document::getDependencyList(const std::vector& objs) const { DependencyList DepList; std::map ObjectMap; std::map VertexMap; // Filling up the adjacency List for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end();++it) { // add the object as Vertex and remember the index Vertex v = add_vertex(DepList); ObjectMap[*it] = v; VertexMap[v] = *it; } for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end();++it) { std::vector outList = (*it)->getOutList(); for (std::vector::const_iterator jt = outList.begin(); jt != outList.end();++jt) { if (*jt) { std::map::const_iterator i = ObjectMap.find(*jt); if (i == ObjectMap.end()) { Vertex v = add_vertex(DepList); ObjectMap[*jt] = v; VertexMap[v] = *jt; } } } } // add the edges for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end();++it) { std::vector outList = (*it)->getOutList(); for (std::vector::const_iterator jt = outList.begin(); jt != outList.end();++jt) { if (*jt) { add_edge(ObjectMap[*it],ObjectMap[*jt],DepList); } } } std::list make_order; DependencyList::out_edge_iterator j, jend; try { // this sort gives the execute boost::topological_sort(DepList, std::front_inserter(make_order)); } catch (const std::exception& e) { std::stringstream ss; ss << "Gathering all dependencies failed, probably due to circular dependencies. Error: "; ss << e.what(); throw Base::RuntimeError(ss.str().c_str()); } std::set out; for (std::vector::const_iterator it = objs.begin(); it != objs.end(); ++it) { std::map::iterator jt = ObjectMap.find(*it); // ok, object is part of this graph if (jt != ObjectMap.end()) { out.insert(jt->second); out_edges_recursive(jt->second, DepList, out); } } std::vector ary; ary.reserve(out.size()); for (std::set::iterator it = out.begin(); it != out.end(); ++it) ary.push_back(VertexMap[*it]); return ary; } #endif void Document::_rebuildDependencyList(void) { #ifdef USE_OLD_DAG d->VertexObjectList.clear(); d->DepList.clear(); // Filling up the adjacency List for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { // add the object as Vertex and remember the index d->VertexObjectList[It->second] = add_vertex(d->DepList); } // add the edges for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { std::vector OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) { if (*It2) { std::map::iterator i = d->VertexObjectList.find(*It2); if (i == d->VertexObjectList.end()) d->VertexObjectList[*It2] = add_vertex(d->DepList); } } } // add the edges for (std::map::const_iterator It = d->objectMap.begin(); It != d->objectMap.end();++It) { std::vector OutList = It->second->getOutList(); for (std::vector::const_iterator It2=OutList.begin();It2!=OutList.end();++It2) { if (*It2) add_edge(d->VertexObjectList[It->second],d->VertexObjectList[*It2],d->DepList); } } #endif } #ifndef USE_OLD_DAG std::vector Document::getDependencyList(const std::vector& objs) const { std::vector dep; for (auto obj : objs){ if(!obj) continue; std::vector objDep = obj->getOutListRecursive(); dep.insert(dep.end(), objDep.begin(), objDep.end()); dep.push_back(obj); } // remove duplicate entries and resize the vector std::sort(dep.begin(), dep.end()); auto newEnd = std::unique(dep.begin(), dep.end()); dep.resize(std::distance(dep.begin(), newEnd)); return dep; } #endif // USE_OLD_DAG /** * @brief Signal that object identifiers, typically a property or document object has been renamed. * * This function iterates through all document object in the document, and calls its * renameObjectIdentifiers functions. * * @param paths Map with current and new names */ void Document::renameObjectIdentifiers(const std::map &paths, const std::function & selector) { std::map extendedPaths; std::map::const_iterator it = paths.begin(); while (it != paths.end()) { extendedPaths[it->first.canonicalPath()] = it->second.canonicalPath(); ++it; } for (std::vector::iterator it = d->objectArray.begin(); it != d->objectArray.end(); ++it) if (selector(*it)) (*it)->renameObjectIdentifiers(extendedPaths); } #ifdef USE_OLD_DAG int Document::recompute() { if (testStatus(Document::Recomputing)) { // this is clearly a bug in the calling instance throw Base::RuntimeError("Nested recomputes of a document are not allowed"); } int objectCount = 0; // The 'SkipRecompute' flag can be (tmp.) set to avoid too many // time expensive recomputes bool skip = testStatus(Document::SkipRecompute); if (skip) return 0; ObjectStatusLocker exe(Document::Recomputing, this); // delete recompute log for (std::vector::iterator it=_RecomputeLog.begin();it!=_RecomputeLog.end();++it) delete *it; _RecomputeLog.clear(); // updates the dependency graph _rebuildDependencyList(); std::list make_order; DependencyList::out_edge_iterator j, jend; try { // this sort gives the execute boost::topological_sort(d->DepList, std::front_inserter(make_order)); } catch (const std::exception& e) { std::cerr << "Document::recompute: " << e.what() << std::endl; return -1; } // caching vertex to DocObject for (std::map::const_iterator It1= d->VertexObjectList.begin();It1 != d->VertexObjectList.end(); ++It1) d->vertexMap[It1->second] = It1->first; #ifdef FC_LOGFEATUREUPDATE std::clog << "make ordering: " << std::endl; #endif std::set recomputeList; for (std::list::reverse_iterator i = make_order.rbegin();i != make_order.rend(); ++i) { DocumentObject* Cur = d->vertexMap[*i]; if (!Cur || !isIn(Cur)) continue; #ifdef FC_LOGFEATUREUPDATE std::clog << Cur->getNameInDocument() << " dep on:" ; #endif bool NeedUpdate = false; // ask the object if it should be recomputed if (Cur->mustExecute() == 1 || Cur->ExpressionEngine.depsAreTouched()) { #ifdef FC_LOGFEATUREUPDATE std::clog << "[touched]"; #endif NeedUpdate = true; } else {// if (Cur->mustExecute() == -1) // update if one of the dependencies is touched for (boost::tie(j, jend) = out_edges(*i, d->DepList); j != jend; ++j) { DocumentObject* Test = d->vertexMap[target(*j, d->DepList)]; if (!Test) continue; #ifdef FC_LOGFEATUREUPDATE std::clog << " " << Test->getNameInDocument(); #endif if (Test->isTouched()) { NeedUpdate = true; #ifdef FC_LOGFEATUREUPDATE std::clog << "[touched]"; #endif } } } // if one touched recompute if (NeedUpdate) { Cur->touch(); #ifdef FC_LOGFEATUREUPDATE std::clog << " => Recompute feature"; #endif recomputeList.insert(Cur); } #ifdef FC_LOGFEATUREUPDATE std::clog << std::endl; #endif } #ifdef FC_LOGFEATUREUPDATE std::clog << "Have to recompute the following document objects" << std::endl; for (std::set::const_iterator it = recomputeList.begin(); it != recomputeList.end(); ++it) { std::clog << " " << (*it)->getNameInDocument() << std::endl; } #endif for (std::list::reverse_iterator i = make_order.rbegin();i != make_order.rend(); ++i) { DocumentObject* Cur = d->vertexMap[*i]; if (!Cur || !isIn(Cur)) continue; if (recomputeList.find(Cur) != recomputeList.end() || Cur->ExpressionEngine.depsAreTouched()) { if ( _recomputeFeature(Cur)) { // if something happened break execution of recompute d->vertexMap.clear(); return -1; } ++objectCount; } } // reset all touched for (std::map::iterator it = d->vertexMap.begin(); it != d->vertexMap.end(); ++it) { if ((it->second) && isIn(it->second)) it->second->purgeTouched(); } d->vertexMap.clear(); signalRecomputed(*this); return objectCount; } #else //ifdef USE_OLD_DAG int Document::recompute() { if (testStatus(Document::Recomputing)) { // this is clearly a bug in the calling instance throw Base::RuntimeError("Nested recomputes of a document are not allowed"); } int objectCount = 0; // The 'SkipRecompute' flag can be (tmp.) set to avoid too many // time expensive recomputes bool skip = testStatus(Document::SkipRecompute); if (skip) return 0; Base::ObjectStatusLocker exe(Document::Recomputing, this); // delete recompute log for (auto LogEntry: _RecomputeLog) delete LogEntry; _RecomputeLog.clear(); //do we have anything to do? if(d->objectMap.empty()) return 0; // get the sorted vector of all objects in the document and go though it from the end vector topoSortedObjects = topologicalSort(); if (topoSortedObjects.size() != d->objectArray.size()){ cerr << "App::Document::recompute(): cyclic dependency detected" << endl; topoSortedObjects = d->partialTopologicalSort(d->objectArray); } for (auto objIt = topoSortedObjects.rbegin(); objIt != topoSortedObjects.rend(); ++objIt){ // ask the object if it should be recomputed if ((*objIt)->isTouched() || (*objIt)->mustExecute() == 1){ objectCount++; if (_recomputeFeature(*objIt)) { // if something happened break execution of recompute return -1; } else{ (*objIt)->purgeTouched(); // set all dependent object touched to force recompute for (auto inObjIt : (*objIt)->getInList()) inObjIt->touch(); } } } #ifdef FC_DEBUG // check if all objects are recalculated which were thouched for (auto objectIt : d->objectArray) { if (objectIt->isTouched()) cerr << "Document::recompute(): " << objectIt->getNameInDocument() << " still touched after recompute" << endl; } #endif signalRecomputed(*this); return objectCount; } #endif // USE_OLD_DAG /*! Does almost the same as topologicalSort() until no object with an input degree of zero can be found. It then searches for objects with an output degree of zero until neither an object with input or output degree can be found. The remaining objects form one or multiple cycles. An alternative to this method might be: https://en.wikipedia.org/wiki/Tarjan%E2%80%99s_strongly_connected_components_algorithm */ std::vector DocumentP::partialTopologicalSort(const std::vector& objects) const { vector < App::DocumentObject* > ret; ret.reserve(objects.size()); // pairs of input and output degree map < App::DocumentObject*, std::pair > countMap; for (auto objectIt : objects) { //we need inlist with unique entries auto in = objectIt->getInList(); std::sort(in.begin(), in.end()); in.erase(std::unique(in.begin(), in.end()), in.end()); //we need outlist with unique entries auto out = objectIt->getOutList(); std::sort(out.begin(), out.end()); out.erase(std::unique(out.begin(), out.end()), out.end()); countMap[objectIt] = std::make_pair(in.size(), out.size()); } std::list degIn; std::list degOut; bool removeVertex = true; while (removeVertex) { removeVertex = false; // try input degree auto degInIt = find_if(countMap.begin(), countMap.end(), [](pair< App::DocumentObject*, pair > vertex)->bool { return vertex.second.first == 0; }); if (degInIt != countMap.end()) { removeVertex = true; degIn.push_back(degInIt->first); degInIt->second.first = degInIt->second.first - 1; //we need outlist with unique entries auto out = degInIt->first->getOutList(); std::sort(out.begin(), out.end()); out.erase(std::unique(out.begin(), out.end()), out.end()); for (auto outListIt : out) { auto outListMapIt = countMap.find(outListIt); if (outListMapIt != countMap.end()) outListMapIt->second.first = outListMapIt->second.first - 1; } } } // make the output degree negative if input degree is negative // to mark the vertex as processed for (auto& countIt : countMap) { if (countIt.second.first < 0) { countIt.second.second = -1; } } removeVertex = degIn.size() != objects.size(); while (removeVertex) { removeVertex = false; auto degOutIt = find_if(countMap.begin(), countMap.end(), [](pair< App::DocumentObject*, pair > vertex)->bool { return vertex.second.second == 0; }); if (degOutIt != countMap.end()) { removeVertex = true; degOut.push_front(degOutIt->first); degOutIt->second.second = degOutIt->second.second - 1; //we need inlist with unique entries auto in = degOutIt->first->getInList(); std::sort(in.begin(), in.end()); in.erase(std::unique(in.begin(), in.end()), in.end()); for (auto inListIt : in) { auto inListMapIt = countMap.find(inListIt); if (inListMapIt != countMap.end()) inListMapIt->second.second = inListMapIt->second.second - 1; } } } // at this point we have no root object any more for (auto countIt : countMap) { if (countIt.second.first > 0 && countIt.second.second > 0) { degIn.push_back(countIt.first); } } ret.insert(ret.end(), degIn.begin(), degIn.end()); ret.insert(ret.end(), degOut.begin(), degOut.end()); return ret; } std::vector DocumentP::topologicalSort(const std::vector& objects) const { // topological sort algorithm described here: // https://de.wikipedia.org/wiki/Topologische_Sortierung#Algorithmus_f.C3.BCr_das_Topologische_Sortieren vector < App::DocumentObject* > ret; ret.reserve(objects.size()); map < App::DocumentObject*,int > countMap; for (auto objectIt : objects) { //we need inlist with unique entries auto in = objectIt->getInList(); std::sort(in.begin(), in.end()); in.erase(std::unique(in.begin(), in.end()), in.end()); countMap[objectIt] = in.size(); } auto rootObjeIt = find_if(countMap.begin(), countMap.end(), [](pair < App::DocumentObject*, int > count)->bool { return count.second == 0; }); if (rootObjeIt == countMap.end()){ cerr << "DocumentP::topologicalSort: cyclic dependency detected (no root object)" << endl; return ret; } while (rootObjeIt != countMap.end()){ rootObjeIt->second = rootObjeIt->second - 1; //we need outlist with unique entries auto out = rootObjeIt->first->getOutList(); std::sort(out.begin(), out.end()); out.erase(std::unique(out.begin(), out.end()), out.end()); for (auto outListIt : out) { auto outListMapIt = countMap.find(outListIt); outListMapIt->second = outListMapIt->second - 1; } ret.push_back(rootObjeIt->first); rootObjeIt = find_if(countMap.begin(), countMap.end(), [](pair < App::DocumentObject*, int > count)->bool { return count.second == 0; }); } return ret; } std::vector Document::topologicalSort() const { return d->topologicalSort(d->objectArray); } const char * Document::getErrorDescription(const App::DocumentObject*Obj) const { for (std::vector::const_iterator it=_RecomputeLog.begin();it!=_RecomputeLog.end();++it) if ((*it)->Which == Obj) return (*it)->Why.c_str(); return 0; } // call the recompute of the Feature and handle the exceptions and errors. bool Document::_recomputeFeature(DocumentObject* Feat) { #ifdef FC_LOGFEATUREUPDATE std::clog << "Solv: Executing Feature: " << Feat->getNameInDocument() << std::endl;; #endif DocumentObjectExecReturn *returnCode = 0; try { returnCode = Feat->ExpressionEngine.execute(); if (returnCode != DocumentObject::StdReturn) { returnCode->Which = Feat; _RecomputeLog.push_back(returnCode); #ifdef FC_DEBUG Base::Console().Error("%s\n",returnCode->Why.c_str()); #endif Feat->setError(); return true; } returnCode = Feat->recompute(); } catch(Base::AbortException &e){ e.ReportException(); _RecomputeLog.push_back(new DocumentObjectExecReturn("User abort",Feat)); Feat->setError(); return true; } catch (const Base::MemoryException& e) { Base::Console().Error("Memory exception in feature '%s' thrown: %s\n",Feat->getNameInDocument(),e.what()); _RecomputeLog.push_back(new DocumentObjectExecReturn("Out of memory exception",Feat)); Feat->setError(); return true; } catch (Base::Exception &e) { e.ReportException(); _RecomputeLog.push_back(new DocumentObjectExecReturn(e.what(),Feat)); Feat->setError(); return false; } catch (std::exception &e) { Base::Console().Warning("exception in Feature \"%s\" thrown: %s\n",Feat->getNameInDocument(),e.what()); _RecomputeLog.push_back(new DocumentObjectExecReturn(e.what(),Feat)); Feat->setError(); return false; } #ifndef FC_DEBUG catch (...) { Base::Console().Error("App::Document::_RecomputeFeature(): Unknown exception in Feature \"%s\" thrown\n",Feat->getNameInDocument()); _RecomputeLog.push_back(new DocumentObjectExecReturn("Unknown exception!")); Feat->setError(); return true; } #endif // error code if (returnCode == DocumentObject::StdReturn) { Feat->resetError(); } else { returnCode->Which = Feat; _RecomputeLog.push_back(returnCode); #ifdef FC_DEBUG Base::Console().Error("%s\n",returnCode->Why.c_str()); #endif Feat->setError(); } return false; } void Document::recomputeFeature(DocumentObject* Feat) { // delete recompute log for (std::vector::iterator it=_RecomputeLog.begin();it!=_RecomputeLog.end();++it) delete *it; _RecomputeLog.clear(); // verify that the feature is (active) part of the document if (Feat->getNameInDocument()) _recomputeFeature(Feat); } DocumentObject * Document::addObject(const char* sType, const char* pObjectName, bool isNew) { Base::BaseClass* base = static_cast(Base::Type::createInstanceByName(sType,true)); string ObjectName; if (!base) return 0; if (!base->getTypeId().isDerivedFrom(App::DocumentObject::getClassTypeId())) { delete base; std::stringstream str; str << "'" << sType << "' is not a document object type"; throw Base::TypeError(str.str()); } App::DocumentObject* pcObject = static_cast(base); pcObject->setDocument(this); // do no transactions if we do a rollback! if (!d->rollback) { // Undo stuff if (d->activeUndoTransaction) d->activeUndoTransaction->addObjectDel(pcObject); } // get Unique name if (pObjectName && pObjectName[0] != '\0') ObjectName = getUniqueObjectName(pObjectName); else ObjectName = getUniqueObjectName(sType); d->activeObject = pcObject; // insert in the name map d->objectMap[ObjectName] = pcObject; // cache the pointer to the name string in the Object (for performance of DocumentObject::getNameInDocument()) pcObject->pcNameInDocument = &(d->objectMap.find(ObjectName)->first); // insert in the vector d->objectArray.push_back(pcObject); // insert in the adjacence list and reference through the ConectionMap //_DepConMap[pcObject] = add_vertex(_DepList); // If we are restoring, don't set the Label object now; it will be restored later. This is to avoid potential duplicate // label conflicts later. if (!d->StatusBits.test(Restoring)) pcObject->Label.setValue( ObjectName ); // Call the object-specific initialization if (!d->undoing && !d->rollback && isNew) { pcObject->setupObject (); } // mark the object as new (i.e. set status bit 2) and send the signal pcObject->setStatus(ObjectStatus::New, true); signalNewObject(*pcObject); // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { signalTransactionAppend(*pcObject, d->activeUndoTransaction); } signalActivatedObject(*pcObject); // return the Object return pcObject; } std::vector Document::addObjects(const char* sType, const std::vector& objectNames, bool isNew) { Base::Type::importModule(sType); Base::Type type = Base::Type::fromName(sType); if (!type.isDerivedFrom(App::DocumentObject::getClassTypeId())) { std::stringstream str; str << "'" << sType << "' is not a document object type"; throw Base::TypeError(str.str()); } std::vector objects; objects.resize(objectNames.size()); std::generate(objects.begin(), objects.end(), [&]{ return static_cast(type.createInstance()); }); // get all existing object names std::vector reservedNames; reservedNames.reserve(d->objectMap.size()); for (auto pos = d->objectMap.begin();pos != d->objectMap.end();++pos) { reservedNames.push_back(pos->first); } for (auto it = objects.begin(); it != objects.end(); ++it) { auto index = std::distance(objects.begin(), it); App::DocumentObject* pcObject = *it; pcObject->setDocument(this); // do no transactions if we do a rollback! if (!d->rollback) { // Undo stuff if (d->activeUndoTransaction) { d->activeUndoTransaction->addObjectDel(pcObject); } } // get unique name std::string ObjectName = objectNames[index]; if (ObjectName.empty()) ObjectName = sType; ObjectName = Base::Tools::getIdentifier(ObjectName); if (d->objectMap.find(ObjectName) != d->objectMap.end()) { // remove also trailing digits from clean name which is to avoid to create lengthy names // like 'Box001001' if (!testStatus(KeepTrailingDigits)) { std::string::size_type index = ObjectName.find_last_not_of("0123456789"); if (index+1 < ObjectName.size()) { ObjectName = ObjectName.substr(0,index+1); } } ObjectName = Base::Tools::getUniqueName(ObjectName, reservedNames, 3); } reservedNames.push_back(ObjectName); // insert in the name map d->objectMap[ObjectName] = pcObject; // cache the pointer to the name string in the Object (for performance of DocumentObject::getNameInDocument()) pcObject->pcNameInDocument = &(d->objectMap.find(ObjectName)->first); // insert in the vector d->objectArray.push_back(pcObject); pcObject->Label.setValue(ObjectName); // Call the object-specific initialization if (!d->undoing && !d->rollback && isNew) { pcObject->setupObject(); } // mark the object as new (i.e. set status bit 2) and send the signal pcObject->setStatus(ObjectStatus::New, true); signalNewObject(*pcObject); // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { signalTransactionAppend(*pcObject, d->activeUndoTransaction); } } if (!objects.empty()) { d->activeObject = objects.back(); signalActivatedObject(*objects.back()); } return objects; } void Document::addObject(DocumentObject* pcObject, const char* pObjectName) { if (pcObject->getDocument()) { throw Base::RuntimeError("Document object is already added to a document"); } pcObject->setDocument(this); // do no transactions if we do a rollback! if (!d->rollback) { // Undo stuff if (d->activeUndoTransaction) d->activeUndoTransaction->addObjectDel(pcObject); } // get unique name string ObjectName; if (pObjectName && pObjectName[0] != '\0') ObjectName = getUniqueObjectName(pObjectName); else ObjectName = getUniqueObjectName(pcObject->getTypeId().getName()); d->activeObject = pcObject; // insert in the name map d->objectMap[ObjectName] = pcObject; // cache the pointer to the name string in the Object (for performance of DocumentObject::getNameInDocument()) pcObject->pcNameInDocument = &(d->objectMap.find(ObjectName)->first); // insert in the vector d->objectArray.push_back(pcObject); pcObject->Label.setValue( ObjectName ); // mark the object as new (i.e. set status bit 2) and send the signal pcObject->setStatus(ObjectStatus::New, true); signalNewObject(*pcObject); // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { signalTransactionAppend(*pcObject, d->activeUndoTransaction); } signalActivatedObject(*pcObject); } void Document::_addObject(DocumentObject* pcObject, const char* pObjectName) { std::string ObjectName = getUniqueObjectName(pObjectName); d->objectMap[ObjectName] = pcObject; d->objectArray.push_back(pcObject); // cache the pointer to the name string in the Object (for performance of DocumentObject::getNameInDocument()) pcObject->pcNameInDocument = &(d->objectMap.find(ObjectName)->first); // do no transactions if we do a rollback! if (!d->rollback) { // Undo stuff if (d->activeUndoTransaction) d->activeUndoTransaction->addObjectDel(pcObject); } // send the signal signalNewObject(*pcObject); // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { signalTransactionAppend(*pcObject, d->activeUndoTransaction); } d->activeObject = pcObject; signalActivatedObject(*pcObject); } /// Remove an object out of the document void Document::removeObject(const char* sName) { std::map::iterator pos = d->objectMap.find(sName); // name not found? if (pos == d->objectMap.end()) return; _checkTransaction(pos->second); if (d->activeObject == pos->second) d->activeObject = 0; // Mark the object as about to be deleted pos->second->setStatus(ObjectStatus::Remove, true); if (!d->undoing && !d->rollback) { pos->second->unsetupObject(); } signalDeletedObject(*(pos->second)); // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { // in this case transaction delete or save the object signalTransactionRemove(*pos->second, d->activeUndoTransaction); } else { // if not saved in undo -> delete object signalTransactionRemove(*pos->second, 0); } #ifdef USE_OLD_DAG if (!d->vertexMap.empty()) { // recompute of document is running for (std::map::iterator it = d->vertexMap.begin(); it != d->vertexMap.end(); ++it) { if (it->second == pos->second) { it->second = 0; // just nullify the pointer break; } } } #endif //USE_OLD_DAG // Before deleting we must nullify all dependent objects breakDependency(pos->second, true); //and remove the tip if needed if (Tip.getValue() && strcmp(Tip.getValue()->getNameInDocument(), sName)==0) { Tip.setValue(nullptr); TipName.setValue(""); } // do no transactions if we do a rollback! std::unique_ptr tobedestroyed; if (!d->rollback) { // Undo stuff if (d->activeUndoTransaction) { // in this case transaction delete or save the object d->activeUndoTransaction->addObjectNew(pos->second); } else { // if not saved in undo -> delete object later std::unique_ptr delobj(pos->second); tobedestroyed.swap(delobj); tobedestroyed->setStatus(ObjectStatus::Destroy, true); } } for (std::vector::iterator obj = d->objectArray.begin(); obj != d->objectArray.end(); ++obj) { if (*obj == pos->second) { d->objectArray.erase(obj); break; } } pos->second->setStatus(ObjectStatus::Remove, false); // Unset the bit to be on the safe side d->objectMap.erase(pos); } /// Remove an object out of the document (internal) void Document::_removeObject(DocumentObject* pcObject) { // TODO Refactoring: share code with Document::removeObject() (2015-09-01, Fat-Zer) _checkTransaction(pcObject); std::map::iterator pos = d->objectMap.find(pcObject->getNameInDocument()); if (d->activeObject == pcObject) d->activeObject = 0; // Mark the object as about to be removed pcObject->setStatus(ObjectStatus::Remove, true); if (!d->undoing && !d->rollback) { pcObject->unsetupObject(); } signalDeletedObject(*pcObject); // TODO Check me if it's needed (2015-09-01, Fat-Zer) //remove the tip if needed if (Tip.getValue() == pcObject) { Tip.setValue(nullptr); TipName.setValue(""); } // do no transactions if we do a rollback! if (!d->rollback && d->activeUndoTransaction) { // Undo stuff signalTransactionRemove(*pcObject, d->activeUndoTransaction); d->activeUndoTransaction->addObjectNew(pcObject); } else { // for a rollback delete the object signalTransactionRemove(*pcObject, 0); breakDependency(pcObject, true); } // remove from map pcObject->setStatus(ObjectStatus::Remove, false); // Unset the bit to be on the safe side d->objectMap.erase(pos); for (std::vector::iterator it = d->objectArray.begin(); it != d->objectArray.end(); ++it) { if (*it == pcObject) { d->objectArray.erase(it); break; } } // for a rollback delete the object if (d->rollback) { pcObject->setStatus(ObjectStatus::Destroy, true); delete pcObject; } } void Document::breakDependency(DocumentObject* pcObject, bool clear) { // Nullify all dependent objects std::vector docObjs; pcObject->ExpressionEngine.getDocumentObjectDeps(docObjs); for (std::map::iterator it = d->objectMap.begin(); it != d->objectMap.end(); ++it) { std::map Map; it->second->getPropertyMap(Map); // search for all properties that could have a link to the object for (std::map::iterator pt = Map.begin(); pt != Map.end(); ++pt) { if (pt->second->getTypeId().isDerivedFrom(PropertyLink::getClassTypeId())) { PropertyLink* link = static_cast(pt->second); if (link->getValue() == pcObject) link->setValue(0); else if (link->getContainer() == pcObject && clear) link->setValue(0); } else if (pt->second->getTypeId().isDerivedFrom(PropertyLinkSub::getClassTypeId())) { PropertyLinkSub* link = static_cast(pt->second); if (link->getValue() == pcObject) link->setValue(0); else if (link->getContainer() == pcObject && clear) link->setValue(0); } else if (pt->second->getTypeId().isDerivedFrom(PropertyLinkList::getClassTypeId())) { PropertyLinkList* link = static_cast(pt->second); if (link->getContainer() == pcObject && clear) { link->setValues(std::vector()); } else { const auto &links = link->getValues(); if (std::find(links.begin(), links.end(), pcObject) != links.end()) { std::vector newLinks; for(auto obj : links) { if (obj != pcObject) newLinks.push_back(obj); } link->setValues(newLinks); } } } else if (pt->second->getTypeId().isDerivedFrom(PropertyLinkSubList::getClassTypeId())) { PropertyLinkSubList* link = static_cast(pt->second); if (link->getContainer() == pcObject && clear) { link->setValues(std::vector(), std::vector()); } else { const std::vector& links = link->getValues(); const std::vector& sub = link->getSubValues(); std::vector newLinks; std::vector newSub; if (std::find(links.begin(), links.end(), pcObject) != links.end()) { std::vector::const_iterator jt; std::vector::const_iterator kt; for (jt = links.begin(),kt = sub.begin(); jt != links.end() && kt != sub.end(); ++jt, ++kt) { if (*jt != pcObject) { newLinks.push_back(*jt); newSub.push_back(*kt); } } link->setValues(newLinks, newSub); } } } } if (std::find(docObjs.begin(), docObjs.end(), it->second) != docObjs.end()) { std::vector paths; pcObject->ExpressionEngine.getPathsToDocumentObject(it->second, paths); for (std::vector::iterator jt = paths.begin(); jt != paths.end(); ++jt) { pcObject->ExpressionEngine.setValue(*jt, nullptr); } } } } DocumentObject* Document::copyObject(DocumentObject* obj, bool recursive) { std::vector objs; objs.push_back(obj); MergeDocuments md(this); // if not copying recursively then suppress possible warnings md.setVerbose(recursive); if (recursive) { objs = obj->getDocument()->getDependencyList(objs); } unsigned int memsize=1000; // ~ for the meta-information for (std::vector::iterator it = objs.begin(); it != objs.end(); ++it) memsize += (*it)->getMemSize(); QByteArray res; res.reserve(memsize); Base::ByteArrayOStreambuf obuf(res); std::ostream ostr(&obuf); this->exportObjects(objs, ostr); Base::ByteArrayIStreambuf ibuf(res); std::istream istr(0); istr.rdbuf(&ibuf); std::vector newObj = md.importObjects(istr); if (newObj.empty()) return 0; else return newObj.back(); } DocumentObject* Document::moveObject(DocumentObject* obj, bool recursive) { Document* that = obj->getDocument(); if (that == this) return 0; // nothing todo // all object of the other document that refer to this object must be nullified that->breakDependency(obj, false); std::string objname = getUniqueObjectName(obj->getNameInDocument()); that->_removeObject(obj); this->_addObject(obj, objname.c_str()); obj->setDocument(this); std::map props; obj->getPropertyMap(props); for (std::map::iterator it = props.begin(); it != props.end(); ++it) { if (it->second->getTypeId().isDerivedFrom(PropertyLink::getClassTypeId())) { DocumentObject* link = static_cast(it->second)->getValue(); if (recursive) { moveObject(link, recursive); static_cast(it->second)->setValue(link); } else { static_cast(it->second)->setValue(0); } } else if (it->second->getTypeId().isDerivedFrom(PropertyLinkList::getClassTypeId())) { std::vector links = static_cast(it->second)->getValues(); if (recursive) { for (std::vector::iterator jt = links.begin(); jt != links.end(); ++jt) moveObject(*jt, recursive); static_cast(it->second)->setValues(links); } else { static_cast(it->second)->setValues(std::vector()); } } } return obj; } DocumentObject * Document::getActiveObject(void) const { return d->activeObject; } DocumentObject * Document::getObject(const char *Name) const { std::map::const_iterator pos; pos = d->objectMap.find(Name); if (pos != d->objectMap.end()) return pos->second; else return 0; } // Note: This method is only used in Tree.cpp slotChangeObject(), see explanation there bool Document::isIn(const DocumentObject *pFeat) const { for (std::map::const_iterator o = d->objectMap.begin(); o != d->objectMap.end(); ++o) { if (o->second == pFeat) return true; } return false; } const char * Document::getObjectName(DocumentObject *pFeat) const { std::map::const_iterator pos; for (pos = d->objectMap.begin();pos != d->objectMap.end();++pos) { if (pos->second == pFeat) return pos->first.c_str(); } return 0; } std::string Document::getUniqueObjectName(const char *Name) const { if (!Name || *Name == '\0') return std::string(); std::string CleanName = Base::Tools::getIdentifier(Name); // name in use? std::map::const_iterator pos; pos = d->objectMap.find(CleanName); if (pos == d->objectMap.end()) { // if not, name is OK return CleanName; } else { // remove also trailing digits from clean name which is to avoid to create lengthy names // like 'Box001001' if (!testStatus(KeepTrailingDigits)) { std::string::size_type index = CleanName.find_last_not_of("0123456789"); if (index+1 < CleanName.size()) { CleanName = CleanName.substr(0,index+1); } } std::vector names; names.reserve(d->objectMap.size()); for (pos = d->objectMap.begin();pos != d->objectMap.end();++pos) { names.push_back(pos->first); } return Base::Tools::getUniqueName(CleanName, names, 3); } } std::string Document::getStandardObjectName(const char *Name, int d) const { std::vector mm = getObjects(); std::vector labels; labels.reserve(mm.size()); for (std::vector::const_iterator it = mm.begin(); it != mm.end(); ++it) { std::string label = (*it)->Label.getValue(); labels.push_back(label); } return Base::Tools::getUniqueName(Name, labels, d); } std::vector Document::getObjects() const { return d->objectArray; } std::vector Document::getObjectsOfType(const Base::Type& typeId) const { std::vector Objects; for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end(); ++it) { if ((*it)->getTypeId().isDerivedFrom(typeId)) Objects.push_back(*it); } return Objects; } std::vector< DocumentObject* > Document::getObjectsWithExtension(const Base::Type& typeId, bool derived) const { std::vector Objects; for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end(); ++it) { if ((*it)->hasExtension(typeId, derived)) Objects.push_back(*it); } return Objects; } std::vector Document::findObjects(const Base::Type& typeId, const char* objname) const { boost::regex rx(objname); boost::cmatch what; std::vector Objects; for (std::vector::const_iterator it = d->objectArray.begin(); it != d->objectArray.end(); ++it) { if ((*it)->getTypeId().isDerivedFrom(typeId)) { if (boost::regex_match((*it)->getNameInDocument(), what, rx)) Objects.push_back(*it); } } return Objects; } int Document::countObjectsOfType(const Base::Type& typeId) const { int ct=0; for (std::map::const_iterator it = d->objectMap.begin(); it != d->objectMap.end(); ++it) { if (it->second->getTypeId().isDerivedFrom(typeId)) ct++; } return ct; } PyObject * Document::getPyObject(void) { return Py::new_reference_to(DocumentPythonObject); } std::vector Document::getRootObjects() const { std::vector < App::DocumentObject* > ret; for (auto objectIt : d->objectArray) { if (objectIt->getInList().empty()) ret.push_back(objectIt); } return ret; } void DocumentP::findAllPathsAt(const std::vector &all_nodes, size_t id, std::vector &all_paths, Path tmp) { if (std::find(tmp.begin(), tmp.end(), id) != tmp.end()) { Path tmp2(tmp); tmp2.push_back(id); all_paths.push_back(tmp2); return; // a cycle } tmp.push_back(id); if (all_nodes[id].empty()) { all_paths.push_back(tmp); return; } for (size_t i=0; i < all_nodes[id].size(); i++) { Path tmp2(tmp); findAllPathsAt(all_nodes, all_nodes[id][i], all_paths, tmp2); } } std::vector > Document::getPathsByOutList(const App::DocumentObject* from, const App::DocumentObject* to) const { std::map indexMap; for (size_t i=0; iobjectArray.size(); ++i) { indexMap[d->objectArray[i]] = i; } std::vector all_nodes(d->objectArray.size()); for (size_t i=0; iobjectArray.size(); ++i) { DocumentObject* obj = d->objectArray[i]; std::vector outList = obj->getOutList(); for (auto it : outList) { all_nodes[i].push_back(indexMap[it]); } } std::vector > array; if (from == to) return array; size_t index_from = indexMap[from]; size_t index_to = indexMap[to]; Path tmp; std::vector all_paths; DocumentP::findAllPathsAt(all_nodes, index_from, all_paths, tmp); for (std::vector::iterator it = all_paths.begin(); it != all_paths.end(); ++it) { Path::iterator jt = std::find(it->begin(), it->end(), index_to); if (jt != it->end()) { std::list path; for (Path::iterator kt = it->begin(); kt != jt; ++kt) { path.push_back(d->objectArray[*kt]); } path.push_back(d->objectArray[*jt]); array.push_back(path); } } // remove duplicates std::sort(array.begin(), array.end()); array.erase(std::unique(array.begin(), array.end()), array.end()); return array; }