H A D | TypeHarness.java | 59 * Mapping(X, predef.objectType), 60 * Mapping(Y, predef.objectType))); 215 public Type subst(Type t, Mapping... maps) { 218 for (Mapping tm : maps) { 226 public Mapping Mapping(Type from, Type to) { method in class:TypeHarness 227 return new Mapping(from, to); 230 public static class Mapping { class in class:TypeHarness 233 private Mapping(Type from, Type to) { method in class:TypeHarness.Mapping
|