Home
last modified time | relevance | path

Searched refs:TyVarInfo (Results 1 – 10 of 10) sorted by relevance

/external/turbine/java/com/google/turbine/types/
DErasure.java22 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
33 public static Type erase(Type ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in erase()
52 IntersectionTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseIntersectionTy()
57 TyVar ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseTyVar()
58 SourceTypeBoundClass.TyVarInfo info = tenv.apply(ty.sym()); in eraseTyVar()
63 Type.ArrayTy ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseArrayTy()
/external/turbine/java/com/google/turbine/binder/
DCanonicalTypeBinder.java26 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
64 ImmutableMap<TyVarSymbol, TyVarInfo> typParamTypes = in bind()
117 ImmutableMap<TyVarSymbol, TyVarInfo> tps = in methods()
156 private static ImmutableMap<TyVarSymbol, TyVarInfo> typeParameters( in typeParameters()
161 Map<TyVarSymbol, TyVarInfo> tps) { in typeParameters()
162 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in typeParameters()
163 for (Map.Entry<TyVarSymbol, TyVarInfo> e : tps.entrySet()) { in typeParameters()
164 TyVarInfo info = e.getValue(); in typeParameters()
166 result.put(e.getKey(), new TyVarInfo((IntersectionTy) bound, info.annotations())); in typeParameters()
DConstBinder.java30 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
281 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTypeParameters( in bindTypeParameters()
282 ImmutableMap<TyVarSymbol, TyVarInfo> typarams) { in bindTypeParameters()
283 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in bindTypeParameters()
284 for (Map.Entry<TyVarSymbol, TyVarInfo> entry : typarams.entrySet()) { in bindTypeParameters()
285 TyVarInfo info = entry.getValue(); in bindTypeParameters()
288 new TyVarInfo( in bindTypeParameters()
DTypeBinder.java28 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
176 final ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes = in bind()
384 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTyParams( in bindTyParams()
386 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in bindTyParams()
398 result.put(sym, new TyVarInfo(IntersectionTy.create(bounds.build()), annotations)); in bindTyParams()
428 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes = in bindMethod()
/external/turbine/java/com/google/turbine/binder/bound/
DTypeBoundClass.java41 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes(); in typeParameterTypes()
59 class TyVarInfo { class
63 public TyVarInfo(IntersectionTy bound, ImmutableList<AnnoInfo> annotations) { in TyVarInfo() method in TypeBoundClass.TyVarInfo
143 private final ImmutableMap<TyVarSymbol, TyVarInfo> tyParams;
155 ImmutableMap<TyVarSymbol, TyVarInfo> tyParams, in MethodInfo()
187 public ImmutableMap<TyVarSymbol, TyVarInfo> tyParams() { in tyParams()
DSourceTypeBoundClass.java44 private final ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes;
60 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes, in SourceTypeBoundClass()
172 public ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes() { in typeParameterTypes()
/external/turbine/java/com/google/turbine/binder/bytecode/
DBytecodeBoundClass.java310 private final Supplier<ImmutableMap<TyVarSymbol, TyVarInfo>> typeParameterTypes =
312 new Supplier<ImmutableMap<TyVarSymbol, TyVarInfo>>() {
314 public ImmutableMap<TyVarSymbol, TyVarInfo> get() {
318 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> tparams = ImmutableMap.builder();
327 private static TyVarInfo bindTyParam(Sig.TyParamSig sig, Function<String, TyVarSymbol> scope) { in bindTyParam()
335 return new TyVarInfo(IntersectionTy.create(bounds.build()), ImmutableList.of()); in bindTyParam()
339 public ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes() { in typeParameterTypes()
397 ImmutableMap<TyVarSymbol, TyVarInfo> tyParamTypes; in bindMethod()
399 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> tparams = ImmutableMap.builder(); in bindMethod()
/external/turbine/java/com/google/turbine/lower/
DLower.java41 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
292 Function<TyVarSymbol, TyVarInfo> tenv = new TyVarEnv(m.tyParams()); in lowerMethod()
362 private String methodDescriptor(MethodInfo m, Function<TyVarSymbol, TyVarInfo> tenv) { in methodDescriptor()
375 Function<TyVarSymbol, TyVarInfo> tenv = new TyVarEnv(ImmutableMap.of()); in lowerField()
464 class TyVarEnv implements Function<TyVarSymbol, TyVarInfo> {
466 private final Map<TyVarSymbol, TyVarInfo> tyParams;
469 public TyVarEnv(Map<TyVarSymbol, TyVarInfo> tyParams) { in TyVarEnv()
474 public TyVarInfo apply(TyVarSymbol sym) { in apply()
475 TyVarInfo result = tyParams.get(sym); in apply()
660 Iterable<TyVarInfo> typeParameters, in typeParameterAnnotations()
[all …]
DLowerSignature.java22 import com.google.turbine.binder.bound.TypeBoundClass.TyVarInfo;
273 Map<TyVarSymbol, TyVarInfo> px, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig()
275 for (Map.Entry<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> entry : px.entrySet()) { in tyParamSig()
282 TyVarSymbol sym, SourceTypeBoundClass.TyVarInfo info, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig()
/external/turbine/javatests/com/google/turbine/lower/
DLowerTest.java95 ImmutableMap<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tps = in hello()
98 new SourceTypeBoundClass.TyVarInfo( in hello()
126 new SourceTypeBoundClass.TyVarInfo( in hello()
137 new SourceTypeBoundClass.TyVarInfo( in hello()