int (@NotNull VirtualFile vFile) { if (!(vFile instanceof VirtualFileWithId)) { throw new IllegalArgumentException(vFile + " must be VirtualFileWithId"); } VirtualFileWithId fileWithId = (VirtualFileWithId)vFile; return fileWithId.getId(); }