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