Searched defs:newRootID (Results 1 – 2 of 2) sorted by relevance
332 int newRootID = adaptor.getUniqueID(newRoot); in becomeRoot() local
436 int newRootID = Integer.parseInt(elements[1]); in dispatch() local