Searched refs:TyVar (Results 1 – 16 of 16) sorted by relevance
| /external/turbine/java/com/google/turbine/types/ |
| D | Erasure.java | 31 import com.google.turbine.type.Type.TyVar;
43 return eraseTyVar((TyVar) ty, tenv); in erase()
74 TyVar ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseTyVar()
|
| D | Canonicalize.java | 35 import com.google.turbine.type.Type.TyVar;
185 targs.add(Type.TyVar.create(p, ImmutableList.of())); in uninstantiated()
268 args.add(Type.TyVar.create(sym, ImmutableList.of())); in instantiate()
302 TyVar tyVar = (TyVar) type; in instantiate()
345 return ((TyVar) type).sym(); in tyVarSym()
|
| /external/turbine/java/com/google/turbine/processing/ |
| D | TurbineTypes.java | 51 import com.google.turbine.type.Type.TyVar;
130 return b.tyKind() == TyKind.TY_VAR && ((TyVar) a).sym().equals(((TyVar) b).sym()); in isSameType()
346 return isTyVarSubtype((TyVar) a, b, strict); in isSubtype()
366 private boolean isTyVarSubtype(TyVar a, Type b, boolean strict) { in isTyVarSubtype()
368 return a.sym().equals(((TyVar) b).sym()); in isTyVarSubtype()
553 return substTyVar((TyVar) type, mapping); in subst()
603 private Type substTyVar(TyVar type, Map<TyVarSymbol, Type> mapping) { in substTyVar()
638 mapping.put(t, TyVar.create(s, ImmutableList.of())); in getMapping()
838 return getBounds(factory.getTyVarInfo(((TyVar) t).sym()).upperBound()); in directSupertypes()
1095 return TyVar.create(((TurbineTypeParameterElement) element).sym(), ImmutableList.of());
|
| D | TurbineTypeMirror.java | 41 import com.google.turbine.type.Type.TyVar;
485 private final TyVar type;
500 TurbineTypeVariable(ModelFactory factory, Type.TyVar type) { in TurbineTypeVariable()
728 result.add((TypeVariable) factory.asTypeMirror(TyVar.create(tyVar, ImmutableList.of()))); in getTypeVariables()
|
| D | ModelFactory.java | 73 import com.google.turbine.type.Type.TyVar;
178 return new TurbineTypeVariable(this, (TyVar) type); in createTypeMirror()
|
| D | TurbineElement.java | 349 args.add(Type.TyVar.create(t, ImmutableList.of()));
593 return factory.asTypeMirror(Type.TyVar.create(sym, info().annotations())); in asType()
|
| /external/turbine/java/com/google/turbine/binder/ |
| D | DisambiguateTypeAnnotations.java | 45 import com.google.turbine.type.Type.TyVar;
235 TyVar tyVar = (TyVar) type; in addAnnotationsToType()
236 return Type.TyVar.create(tyVar.sym(), appendAnnotations(tyVar.annos(), extra)); in addAnnotationsToType()
|
| D | ConstBinder.java | 51 import com.google.turbine.type.Type.TyVar;
315 TyVar tyVar = (TyVar) type; in bindType()
316 return TyVar.create(tyVar.sym(), constEvaluator.evaluateAnnotations(tyVar.annos())); in bindType()
|
| D | TypeBinder.java | 674 return Type.TyVar.create((TyVarSymbol) sym, annos); in bindClassTy()
|
| /external/turbine/javatests/com/google/turbine/lower/ |
| D | LowerSignatureTest.java | 31 import com.google.turbine.type.Type.TyVar;
134 TyVar.create( in tyVar()
|
| D | LowerTest.java | 51 import com.google.turbine.type.Type.TyVar;
91 TyVar.create( in hello()
160 TyVar.create( in hello()
|
| /external/turbine/java/com/google/turbine/lower/ |
| D | LowerSignature.java | 43 import com.google.turbine.type.Type.TyVar;
61 return tyVarSig((TyVar) ty); in signature()
83 private Sig.TyVarSig tyVarSig(TyVar t) { in tyVarSig()
|
| D | Lower.java | 75 import com.google.turbine.type.Type.TyVar;
725 lowerTypeAnnotations(((TyVar) type).annos(), path); in lowerTypeAnnotations()
|
| /external/turbine/javatests/com/google/turbine/processing/ |
| D | TurbineTypeMirrorTest.java | 117 Type.TyVar.create( in equals()
153 Type.TyVar.create( in roundTrip()
|
| /external/turbine/java/com/google/turbine/type/ |
| D | Type.java | 265 abstract class TyVar implements Type { class
267 public static TyVar create(TyVarSymbol sym, ImmutableList<AnnoInfo> annos) { in create()
|
| /external/turbine/java/com/google/turbine/binder/bytecode/ |
| D | BytecodeBinder.java | 95 return Type.TyVar.create(scope.apply(((Sig.TyVarSig) sig).name()), ImmutableList.of()); in bindTy()
|