Home
last modified time | relevance | path

Searched defs:oldElement (Results 1 – 2 of 2) sorted by relevance

/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/misc/
DOrderedHashSet.java52 T oldElement = elements.get(i); in set() local
/external/chromium-trace/catapult/third_party/vinn/third_party/parse5/lib/tree_construction/
Dopen_element_stack.js140 OpenElementStack.prototype.replace = function (oldElement, newElement) { argument