Lines Matching refs:mapping
755 * A mapping that turns all unknown types in this type to fresh
3418 Map<Symbol,Type> mapping;
3423 mapping = new HashMap<Symbol,Type>();
3431 Type val = mapping.get(fromList.head.tsym);
3465 // already a mapping for $source$, in which case
3466 // the old mapping will be merged with the new
3467 Type val = mapping.get(source.tsym);
3483 mapping.put(source.tsym, val);
3527 // Adapt should never fail calculating a mapping from
3801 * A visitor for implementing a mapping from types to types. The
3803 * mapping (mapping a type to itself). This can be overridden in
3807 * type itself) of this mapping; use Void if a second argument is