Home
last modified time | relevance | path

Searched defs:TyVarSymbol (Results 1 – 10 of 10) sorted by relevance

/external/turbine/java/com/google/turbine/types/
DErasure.java35 public static Type erase(Type ty, Function<TyVarSymbol, TyVarInfo> tenv) { in erase()
59 ImmutableList<Type> types, Function<TyVarSymbol, TyVarInfo> tenv) { in erase()
68 IntersectionTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseIntersectionTy()
72 private static Type eraseTyVar(TyVar ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseTyVar()
77 private static Type.ArrayTy eraseArrayTy(Type.ArrayTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseArrayTy()
93 private static Type eraseWildTy(WildTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseWildTy()
104 private static Type erasureMethodTy(MethodTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in erasureMethodTy()
DCanonicalize.java244 private void addInstantiation(Map<TyVarSymbol, Type> mapping, ClassTy.SimpleClassTy simpleType) { in addInstantiation()
267 Map<TyVarSymbol, Type> mapping, ClassSymbol classSymbol) { in instantiate()
287 private static @Nullable Type instantiate(Map<TyVarSymbol, Type> mapping, Type type) { in instantiate()
315 private static Type instantiateWildTy(Map<TyVarSymbol, Type> mapping, WildTy type) { in instantiateWildTy()
329 private static Type instantiateClassTy(Map<TyVarSymbol, Type> mapping, ClassTy type) { in instantiateClassTy()
/external/turbine/java/com/google/turbine/binder/sym/
DTyVarSymbol.java25 public class TyVarSymbol implements Symbol { class
30 public TyVarSymbol(Symbol owner, String name) { in TyVarSymbol() method in TyVarSymbol
/external/turbine/java/com/google/turbine/processing/
DTurbineTypes.java163 MethodTy a, MethodTy b, ImmutableMap<TyVarSymbol, Type> mapping) { in sameTypeParameterBounds()
549 private Type subst(Type type, Map<TyVarSymbol, Type> mapping) { in subst()
572 private Type substWildTy(WildTy type, Map<TyVarSymbol, Type> mapping) { in substWildTy()
584 private Type substIntersectionTy(IntersectionTy type, Map<TyVarSymbol, Type> mapping) { in substIntersectionTy()
588 private MethodTy substMethod(MethodTy method, Map<TyVarSymbol, Type> mapping) { in substMethod()
598 ImmutableList<? extends Type> types, Map<TyVarSymbol, Type> mapping) { in substAll()
606 private Type substTyVar(TyVar type, Map<TyVarSymbol, Type> mapping) { in substTyVar()
610 private Type substArrayTy(ArrayTy type, Map<TyVarSymbol, Type> mapping) { in substArrayTy()
614 private ClassTy substClassTy(ClassTy type, Map<TyVarSymbol, Type> mapping) { in substClassTy()
/external/turbine/java/com/google/turbine/binder/bound/
DSourceTypeBoundClass.java63 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes, in SourceTypeBoundClass()
DTypeBoundClass.java179 ImmutableMap<TyVarSymbol, TyVarInfo> tyParams, in MethodInfo()
/external/turbine/java/com/google/turbine/binder/
DCanonicalTypeBinder.java189 private static ImmutableMap<TyVarSymbol, TyVarInfo> typeParameters( in typeParameters()
DConstBinder.java325 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTypeParameters( in bindTypeParameters()
/external/turbine/java/com/google/turbine/lower/
DLowerSignature.java256 Map<TyVarSymbol, TyVarInfo> px, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig()
DLower.java419 private String methodDescriptor(MethodInfo m, Function<TyVarSymbol, TyVarInfo> tenv) { in methodDescriptor()
572 public TyVarEnv(Map<TyVarSymbol, TyVarInfo> tyParams) { in TyVarEnv()