Searched refs:devTreePath (Results 1 – 1 of 1) sorted by relevance
55 IPath devTreePath = null; in getProject() local57 devTreePath = new Path(devTree); in getProject()75 if (devTreePath == null || devTreePath.isPrefixOf(p.getLocation())) { in getProject()