Lines Matching defs:symbols
55 private final Map<String, Set<Integer>> symbols;
60 symbols = new HashMap<String, Set<Integer>>();
66 * Get all symbols used in definitions.
67 * @return a set containing all the symbols
70 return symbols.keySet();
79 return symbols.containsKey(symbol);
90 Set<Integer> lines = symbols.get(symbol);
119 Set<Integer> lines = symbols.get(symbol);
124 * Return the number of distinct symbols.
125 * @return number of distinct symbols
128 return symbols.size();
165 Set<Integer> lines = symbols.get(symbol);
168 symbols.put(symbol, lines);