Searched refs:suppExts (Results 1 – 1 of 1) sorted by relevance
454 Set<String> suppExts = in depthFirstSearchForward() local456 if (suppExts != null) { in depthFirstSearchForward()457 unresCritExts.removeAll(suppExts); in depthFirstSearchForward()