Home
last modified time | relevance | path

Searched refs:WildTy (Results 1 – 13 of 13) sorted by relevance

/external/turbine/java/com/google/turbine/processing/
DTurbineTypes.java52 import com.google.turbine.type.Type.WildTy;
53 import com.google.turbine.type.Type.WildTy.BoundKind;
132 return isSameWildType((WildTy) a, b); in isSameType()
224 private boolean isSameWildType(WildTy a, Type other) { in isSameWildType()
237 WildTy b = (WildTy) other; in isSameWildType()
272 WildTy w = (WildTy) other; in isSameClassType()
564 return substWildTy((WildTy) type, mapping); in subst()
569 private Type substWildTy(WildTy type, Map<TyVarSymbol, Type> mapping) { in substWildTy()
714 WildTy w1 = (WildTy) t1; in containedBy()
720 WildTy w2 = (WildTy) t2; in containedBy()
[all …]
DTurbineTypeMirror.java42 import com.google.turbine.type.Type.WildTy;
43 import com.google.turbine.type.Type.WildTy.BoundKind;
551 private final WildTy type;
553 public TurbineWildcardType(ModelFactory factory, WildTy type) { in TurbineWildcardType()
DModelFactory.java74 import com.google.turbine.type.Type.WildTy;
176 return new TurbineWildcardType(this, (WildTy) type); in createTypeMirror()
/external/turbine/java/com/google/turbine/types/
DErasure.java32 import com.google.turbine.type.Type.WildTy;
47 return eraseWildTy((Type.WildTy) ty, tenv); in erase()
96 private static Type eraseWildTy(WildTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseWildTy()
DCanonicalize.java36 import com.google.turbine.type.Type.WildTy;
106 return canonicalizeWildTy(base, (WildTy) type); in canonicalize()
290 return instantiateWildTy(mapping, (WildTy) type); in instantiate()
312 private static Type instantiateWildTy(Map<TyVarSymbol, Type> mapping, WildTy type) { in instantiateWildTy()
368 private Type canonicalizeWildTy(ClassSymbol base, WildTy type) { in canonicalizeWildTy()
/external/turbine/java/com/google/turbine/type/
DType.java334 abstract class WildTy implements Type { class
357 abstract class WildUpperBoundedTy extends WildTy {
391 abstract class WildLowerBoundedTy extends WildTy {
425 abstract class WildUnboundedTy extends WildTy {
/external/turbine/java/com/google/turbine/lower/
DLowerSignature.java44 import com.google.turbine.type.Type.WildTy;
69 return wildTy((WildTy) ty); in signature()
114 private TySig wildTy(WildTy ty) { in wildTy()
DLower.java76 import com.google.turbine.type.Type.WildTy;
734 lowerWildTyTypeAnnotations((WildTy) type, path); in lowerTypeAnnotations()
757 private void lowerWildTyTypeAnnotations(WildTy type, TypePath path) { in lowerWildTyTypeAnnotations()
/external/turbine/java/com/google/turbine/binder/
DConstBinder.java53 import com.google.turbine.type.Type.WildTy;
325 WildTy wildTy = (WildTy) type; in bindType()
DTypeBinder.java619 return bindWildTy(scope, (Tree.WildTy) ty); in bindTyArg()
714 private Type bindWildTy(CompoundScope scope, Tree.WildTy t) { in bindWildTy()
/external/turbine/java/com/google/turbine/parse/
DParser.java59 import com.google.turbine.tree.Tree.WildTy;
1153 new WildTy(position, typeAnnos, Optional.of(upper), Optional.<Type>empty())); in tyargs()
1159 new WildTy(position, typeAnnos, Optional.<Type>empty(), Optional.of(lower))); in tyargs()
1163 new WildTy( in tyargs()
1170 new WildTy( in tyargs()
/external/turbine/java/com/google/turbine/tree/
DTree.java140 public static class WildTy extends Type { class in Tree
144 public WildTy( in WildTy() method in Tree.WildTy
1266 O visitWildTy(WildTy visitor, I input); in visitWildTy()
DPretty.java90 public Void visitWildTy(Tree.WildTy wildTy, Void input) { in visitWildTy()