return start_address;
}
- std::string getName() const {
- return name;
- }
+ std::string getName() const
+ { return name; }
+ void setName(const std::string& new_name)
+ { name = new_name; }
InformationManager* getManager() const {
return manager;
_blocks.insert(std::make_pair(block->getStartAddress(), block));
}
- std::map<uint64_t, BasicBlock*>& blocks() {
+ const std::map<uint64_t, BasicBlock*>& blocks() {
return _blocks;
}
private: