Home
last modified time | relevance | path

Searched refs:stringSymbols (Results 1 – 9 of 9) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DsharedPrint.cc55 return !(stringSymbols.empty()); in ambiguous()
H A DdagNodePrint.cc209 (stringSymbols.size() > 1 || overloadedStrings.count(strValue)); in handleString()
H A DtermPrint.cc187 (stringSymbols.size() > 1 || overloadedStrings.count(strValue)); in handleString()
H A DmixfixModule.cc804 stringSymbols.find(component->getIndexWithinModule()); in findStringSymbol()
805 return (i == stringSymbols.end()) ? 0 : in findStringSymbol()
H A DbufferPrint.cc178 …bool needDisambig = !rangeKnown && (stringSymbols.size() > 1 || overloadedStrings.count(strValue)); in handleString()
H A Dentry.cc429 stringSymbols[c->getIndexWithinModule()] = symbol; in addOpDeclaration()
H A DmixfixModule.hh612 map<int, Symbol*> stringSymbols; member in MixfixModule
H A DChangeLog11586 * prettyPrint.cc (prettyPrint): use stringSymbols.size() rather
11589 * entry.cc (addOpDeclaration): fill out stringSymbols rather than
11592 * mixfixModule.hh (class MixfixModule): added stringSymbols,
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/
H A DJavaModelManager.java289 private WeakHashSet stringSymbols = new WeakHashSet(5); field in JavaModelManager
3375 return (String) this.stringSymbols.add(s); in intern()