void (@NotNull FilePath filePath) { if (myEverythingDirty) return; String path = filePath.getPath(); if (isParentOf(path, myRoot, myCaseSensitive)) { markEverythingDirty(); return; } if (!isParentOf(myRoot, path, myCaseSensitive)) { LOG.error(new Throwable(String.format("Invalid dirty path for root %s: %s", myRoot, path))); return; } int startIndex = myRoot.length() + 1; markDirtyRelative(path, startIndex); }