Searched refs:ParentFile (Results 1 – 1 of 1) sorted by relevance
803 FileID ParentFile = SM.getFileID(LCA); in handleFileExit() local804 while (!isNestedIn(MostRecentLocation, ParentFile)) { in handleFileExit()812 ParentFile = SM.getFileID(LCA); in handleFileExit()821 if (!isNestedIn(Loc, ParentFile)) { in handleFileExit()826 while (!SM.isInFileID(Loc, ParentFile)) { in handleFileExit()848 while (isNestedIn(Loc, ParentFile)) { in handleFileExit()