Searched refs:undefinedElementTypeTable_ (Results 1 – 1 of 1) sorted by relevance
111 NamedTable<ElementType> undefinedElementTypeTable_; variable265 return undefinedElementTypeTable_.lookup(name); in lookupElementType()275 return undefinedElementTypeTable_.lookup(name); in lookupElementType()287 return undefinedElementTypeTable_.insert(e); in insertUndefinedElementType()