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.java36 public static Type erase(Type ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in erase()
60 ImmutableList<Type> types, Function<TyVarSymbol, TyVarInfo> tenv) { in erase()
69 IntersectionTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseIntersectionTy()
74 TyVar ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseTyVar()
80 Type.ArrayTy ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseArrayTy()
96 private static Type eraseWildTy(WildTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseWildTy()
107 private static Type erasureMethodTy(MethodTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in erasureMethodTy()
DCanonicalize.java241 private void addInstantiation(Map<TyVarSymbol, Type> mapping, ClassTy.SimpleClassTy simpleType) { in addInstantiation()
264 Map<TyVarSymbol, Type> mapping, ClassSymbol classSymbol) { in instantiate()
284 private static Type instantiate(Map<TyVarSymbol, Type> mapping, Type type) { in instantiate()
312 private static Type instantiateWildTy(Map<TyVarSymbol, Type> mapping, WildTy type) { in instantiateWildTy()
326 private static Type instantiateClassTy(Map<TyVarSymbol, Type> mapping, ClassTy type) { in instantiateClassTy()
/external/turbine/java/com/google/turbine/binder/sym/
DTyVarSymbol.java24 public class TyVarSymbol implements Symbol { class
29 public TyVarSymbol(Symbol owner, String name) { in TyVarSymbol() method in TyVarSymbol
/external/turbine/java/com/google/turbine/processing/
DTurbineTypes.java168 MethodTy a, MethodTy b, ImmutableMap<TyVarSymbol, Type> mapping) { in sameTypeParameterBounds()
546 private Type subst(Type type, Map<TyVarSymbol, Type> mapping) { in subst()
569 private Type substWildTy(WildTy type, Map<TyVarSymbol, Type> mapping) { in substWildTy()
581 private Type substIntersectionTy(IntersectionTy type, Map<TyVarSymbol, Type> mapping) { in substIntersectionTy()
585 private MethodTy substMethod(MethodTy method, Map<TyVarSymbol, Type> mapping) { in substMethod()
595 ImmutableList<? extends Type> types, Map<TyVarSymbol, Type> mapping) { in substAll()
603 private Type substTyVar(TyVar type, Map<TyVarSymbol, Type> mapping) { in substTyVar()
607 private Type substArrayTy(ArrayTy type, Map<TyVarSymbol, Type> mapping) { in substArrayTy()
611 private ClassTy substClassTy(ClassTy type, Map<TyVarSymbol, Type> mapping) { in substClassTy()
/external/turbine/java/com/google/turbine/binder/
DCanonicalTypeBinder.java156 private static ImmutableMap<TyVarSymbol, TyVarInfo> typeParameters( in typeParameters()
DConstBinder.java297 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTypeParameters( in bindTypeParameters()
/external/turbine/java/com/google/turbine/binder/bound/
DSourceTypeBoundClass.java60 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes, in SourceTypeBoundClass()
DTypeBoundClass.java171 ImmutableMap<TyVarSymbol, TyVarInfo> tyParams, in MethodInfo()
/external/turbine/java/com/google/turbine/lower/
DLowerSignature.java263 Map<TyVarSymbol, TyVarInfo> px, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig()
DLower.java361 private String methodDescriptor(MethodInfo m, Function<TyVarSymbol, TyVarInfo> tenv) { in methodDescriptor()
468 public TyVarEnv(Map<TyVarSymbol, TyVarInfo> tyParams) { in TyVarEnv()