Home
last modified time | relevance | path

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

/external/turbine/java/com/google/turbine/binder/bound/
DTypeBoundClass.java32 import com.google.turbine.type.Type.IntersectionTy;
64 private final IntersectionTy upperBound;
69 IntersectionTy upperBound, @Nullable Type lowerBound, ImmutableList<AnnoInfo> annotations) { in TyVarInfo()
79 public IntersectionTy upperBound() { in upperBound()
/external/turbine/java/com/google/turbine/processing/
DTurbineTypes.java47 import com.google.turbine.type.Type.IntersectionTy;
135 && isSameIntersectionType((IntersectionTy) a, (IntersectionTy) b); in isSameType()
200 private boolean isSameIntersectionType(IntersectionTy a, IntersectionTy b) { in isSameIntersectionType()
204 private ImmutableList<Type> getBounds(IntersectionTy a) { in getBounds()
208 static ImmutableList<Type> getBounds(ModelFactory factory, IntersectionTy type) { in getBounds()
329 for (Type bound : getBounds((IntersectionTy) b)) { in isSubtype()
348 return isIntersectionSubtype((IntersectionTy) a, b, strict); in isSubtype()
374 private boolean isIntersectionSubtype(IntersectionTy a, Type b, boolean strict) { in isIntersectionSubtype()
562 return substIntersectionTy((IntersectionTy) type, mapping); in subst()
581 private Type substIntersectionTy(IntersectionTy type, Map<TyVarSymbol, Type> mapping) { in substIntersectionTy()
[all …]
DModelFactory.java70 import com.google.turbine.type.Type.IntersectionTy;
180 IntersectionTy intersectionTy = (IntersectionTy) type; in createTypeMirror()
DTurbineTypeMirror.java38 import com.google.turbine.type.Type.IntersectionTy;
602 private final IntersectionTy type;
604 TurbineIntersectionType(ModelFactory factory, IntersectionTy type) { in TurbineIntersectionType()
/external/turbine/java/com/google/turbine/types/
DErasure.java29 import com.google.turbine.type.Type.IntersectionTy;
45 return eraseIntersectionTy((Type.IntersectionTy) ty, tenv); in erase()
69 IntersectionTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseIntersectionTy()
DCanonicalize.java33 import com.google.turbine.type.Type.IntersectionTy;
115 return canonicalizeIntersectionTy(base, (IntersectionTy) type); in canonicalize()
380 private Type canonicalizeIntersectionTy(ClassSymbol base, IntersectionTy type) { in canonicalizeIntersectionTy()
385 return IntersectionTy.create(bounds.build()); in canonicalizeIntersectionTy()
/external/turbine/java/com/google/turbine/binder/
DCanonicalTypeBinder.java33 import com.google.turbine.type.Type.IntersectionTy;
165 IntersectionTy upperBound = in typeParameters()
166 (IntersectionTy) Canonicalize.canonicalize(source, position, env, sym, info.upperBound()); in typeParameters()
DConstBinder.java49 import com.google.turbine.type.Type.IntersectionTy;
305 (IntersectionTy) bindType(info.upperBound()), in bindTypeParameters()
346 return IntersectionTy.create(bindTypes(((IntersectionTy) type).bounds())); in bindType()
DTypeBinder.java56 import com.google.turbine.type.Type.IntersectionTy;
406 IntersectionTy.create(bounds.build()), /* lowerBound= */ null, annotations)); in bindTyParams()
/external/turbine/javatests/com/google/turbine/lower/
DLowerTest.java49 import com.google.turbine.type.Type.IntersectionTy;
100 IntersectionTy.create( in hello()
129 IntersectionTy.create( in hello()
141 IntersectionTy.create( in hello()
/external/turbine/javatests/com/google/turbine/processing/
DTurbineTypeMirrorTest.java121 Type.IntersectionTy.create( in equals()
194 Type.IntersectionTy.create( in intersection()
/external/turbine/java/com/google/turbine/type/
DType.java459 abstract class IntersectionTy implements Type { class
463 public static IntersectionTy create(ImmutableList<Type> bounds) { in create()
/external/turbine/java/com/google/turbine/binder/bytecode/
DBytecodeBoundClass.java58 import com.google.turbine.type.Type.IntersectionTy;
337 IntersectionTy.create(bounds.build()), /* lowerBound= */ null, ImmutableList.of()); in bindTyParam()