MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / renameFile

Method renameFile

MiniZincIDE/ide.cpp:601–613  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

599}
600
601void IDE::renameFile(const QString& oldPath, const QString& newPath)
602{
603 DMap::iterator it = documents.find(oldPath);
604 if (it == documents.end()) {
605 qDebug() << "internal error: document " << oldPath << " not found";
606 } else {
607 Doc* doc = it.value();
608 documents.remove(oldPath);
609 fsWatch.removePath(oldPath);
610 documents.insert(newPath, doc);
611 fsWatch.addPath(newPath);
612 }
613}
614
615void
616IDE::versionCheckFinished(void) {

Callers 1

fileRenamedMethod · 0.80

Calls 4

findMethod · 0.80
removeMethod · 0.80
endMethod · 0.45
valueMethod · 0.45

Tested by

no test coverage detected