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