Changeset 1238
- Timestamp:
- 06/08/08 19:53:46 (3 months ago)
- Files:
-
- redlandmm/redlandmm/World.hpp (modified) (1 diff)
- redlandmm/src/World.cpp (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
redlandmm/redlandmm/World.hpp
r1237 r1238 58 58 59 59 std::set<std::string> _blank_ids; 60 size_t _next_blank_id; 60 61 }; 61 62 redlandmm/src/World.cpp
r1237 r1238 35 35 */ 36 36 World::World() 37 : _next_blank_id(0) 37 38 { 38 39 _c_obj = librdf_new_world(); … … 86 87 World::blank_id(const string base_name) 87 88 { 88 /* 89 std::ostringstream ss; 90 ss << "b" << _next_blank_id++; 89 string name; 91 90 92 if (base_name != "") 93 ss << "_" << base_name; 94 95 Node result = Node(*this, Node::BLANK, ss.str()); 96 assert(result.to_string() == ss.str()); 97 return result; 98 */ 99 100 string name = base_name; 101 for (unsigned i = 2; _blank_ids.find(name) != _blank_ids.end(); ++i) { 91 if (base_name != "" && base_name != "b") { 92 name = base_name; 93 for (unsigned i = 2; _blank_ids.find(name) != _blank_ids.end(); ++i) { 94 std::ostringstream ss; 95 ss << "_" << i; 96 name = ss.str(); 97 } 98 } else { 102 99 std::ostringstream ss; 103 ss << " _" << i;100 ss << "b" << _next_blank_id++; 104 101 name = ss.str(); 105 102 } 106 103 107 104 Node result = Node(*this, Node::BLANK, name); 108 105 assert(result.to_string() == name);
