Home
last modified time | relevance | path

Searched refs:TyVarSymbol (Results 1 – 24 of 24) sorted by relevance

/external/turbine/java/com/google/turbine/binder/bytecode/
DBytecodeBoundClass.java36 import com.google.turbine.binder.sym.TyVarSymbol;
204 private final Supplier<ImmutableMap<String, TyVarSymbol>> tyParams =
206 new Supplier<ImmutableMap<String, TyVarSymbol>>() {
208 public ImmutableMap<String, TyVarSymbol> get() {
213 ImmutableMap.Builder<String, TyVarSymbol> result = ImmutableMap.builder();
215 result.put(p.name(), new TyVarSymbol(sym, p.name()));
222 public ImmutableMap<String, TyVarSymbol> typeParameters() { in typeParameters()
297 Function<String, TyVarSymbol> scope = makeScope(env, sym, ImmutableMap.of());
311 private final Supplier<ImmutableMap<TyVarSymbol, TyVarInfo>> typeParameterTypes =
313 new Supplier<ImmutableMap<TyVarSymbol, TyVarInfo>>() {
[all …]
DBytecodeBinder.java27 import com.google.turbine.binder.sym.TyVarSymbol;
54 static Type.ClassTy bindClassTy(Sig.ClassTySig sig, Function<String, TyVarSymbol> scope) { in bindClassTy()
74 private static Type wildTy(WildTySig sig, Function<String, TyVarSymbol> scope) { in wildTy()
88 static Type bindTy(Sig.TySig sig, Function<String, TyVarSymbol> scope) { in bindTy()
106 private static Type bindArrayTy(Sig.ArrayTySig arrayTySig, Function<String, TyVarSymbol> scope) { in bindArrayTy()
/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
56 if (!(obj instanceof TyVarSymbol)) { in equals()
59 TyVarSymbol other = (TyVarSymbol) obj; in equals()
/external/turbine/java/com/google/turbine/types/
DErasure.java24 import com.google.turbine.binder.sym.TyVarSymbol;
36 public static Type erase(Type ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in erase() argument
60 ImmutableList<Type> types, Function<TyVarSymbol, TyVarInfo> tenv) { in erase() argument
69 IntersectionTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseIntersectionTy() argument
74 TyVar ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseTyVar() argument
80 Type.ArrayTy ty, Function<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tenv) { in eraseArrayTy() argument
96 private static Type eraseWildTy(WildTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in eraseWildTy() argument
107 private static Type erasureMethodTy(MethodTy ty, Function<TyVarSymbol, TyVarInfo> tenv) { in erasureMethodTy() argument
DCanonicalize.java24 import com.google.turbine.binder.sym.TyVarSymbol;
184 for (TyVarSymbol p : getInfo(owner).typeParameterTypes().keySet()) { in uninstantiated()
222 Map<TyVarSymbol, Type> mapping = new LinkedHashMap<>(); in canonOne()
241 private void addInstantiation(Map<TyVarSymbol, Type> mapping, ClassTy.SimpleClassTy simpleType) { in addInstantiation() argument
242 Collection<TyVarSymbol> symbols = getInfo(simpleType.sym()).typeParameters().values(); in addInstantiation()
245 for (TyVarSymbol sym : symbols) { in addInstantiation()
253 for (TyVarSymbol sym : symbols) { in addInstantiation()
264 Map<TyVarSymbol, Type> mapping, ClassSymbol classSymbol) { in instantiate() argument
266 for (TyVarSymbol sym : getInfo(classSymbol).typeParameterTypes().keySet()) { in instantiate()
284 private static Type instantiate(Map<TyVarSymbol, Type> mapping, Type type) { in instantiate() argument
[all …]
/external/turbine/java/com/google/turbine/binder/bound/
DSourceTypeBoundClass.java24 import com.google.turbine.binder.sym.TyVarSymbol;
42 private final ImmutableMap<String, TyVarSymbol> typeParameters;
44 private final ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes;
60 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes, in SourceTypeBoundClass() argument
67 ImmutableMap<String, TyVarSymbol> typeParameters, in SourceTypeBoundClass()
138 public ImmutableMap<String, TyVarSymbol> typeParameters() { in typeParameters()
172 public ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes() { in typeParameterTypes()
DSourceHeaderBoundClass.java24 import com.google.turbine.binder.sym.TyVarSymbol;
35 private final ImmutableMap<String, TyVarSymbol> typeParameters;
41 ImmutableMap<String, TyVarSymbol> typeParameters) { in SourceHeaderBoundClass()
80 public ImmutableMap<String, TyVarSymbol> typeParameters() { in typeParameters()
DTypeBoundClass.java25 import com.google.turbine.binder.sym.TyVarSymbol;
45 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes(); in typeParameterTypes()
159 private final ImmutableMap<TyVarSymbol, TyVarInfo> tyParams;
171 ImmutableMap<TyVarSymbol, TyVarInfo> tyParams, in MethodInfo() argument
203 public ImmutableMap<TyVarSymbol, TyVarInfo> tyParams() { in tyParams()
DHeaderBoundClass.java22 import com.google.turbine.binder.sym.TyVarSymbol;
33 public ImmutableMap<String, TyVarSymbol> typeParameters(); in typeParameters()
/external/turbine/java/com/google/turbine/processing/
DTurbineTypes.java33 import com.google.turbine.binder.sym.TyVarSymbol;
151 ImmutableMap<TyVarSymbol, Type> mapping = getMapping(a, b); in isSameMethodType()
168 MethodTy a, MethodTy b, ImmutableMap<TyVarSymbol, Type> mapping) { in sameTypeParameterBounds() argument
172 Iterator<TyVarSymbol> ax = a.tyParams().iterator(); in sameTypeParameterBounds()
173 Iterator<TyVarSymbol> bx = b.tyParams().iterator(); in sameTypeParameterBounds()
175 TyVarSymbol x = ax.next(); in sameTypeParameterBounds()
176 TyVarSymbol y = bx.next(); in sameTypeParameterBounds()
503 ImmutableMap<TyVarSymbol, Type> mapping = getMapping(ty); in isClassSubtype()
546 private Type subst(Type type, Map<TyVarSymbol, Type> mapping) { in subst() argument
569 private Type substWildTy(WildTy type, Map<TyVarSymbol, Type> mapping) { in substWildTy() argument
[all …]
DModelFactory.java44 import com.google.turbine.binder.sym.TyVarSymbol;
113 private final Map<TyVarSymbol, TurbineTypeParameterElement> tyParamCache = new HashMap<>();
226 return typeParameterElement((TyVarSymbol) symbol); in element()
266 TurbineTypeParameterElement typeParameterElement(TyVarSymbol sym) { in typeParameterElement()
344 TyVarInfo getTyVarInfo(TyVarSymbol tyVar) { in getTyVarInfo()
347 ImmutableMap<TyVarSymbol, TyVarInfo> tyParams; in getTyVarInfo()
366 return enclosingClass(((TyVarSymbol) sym).owner()); in enclosingClass()
DTurbineMessager.java31 import com.google.turbine.binder.sym.TyVarSymbol;
125 return tyParamPosition((TyVarSymbol) sym); in getPosition()
177 private int tyParamPosition(TyVarSymbol sym) { in tyParamPosition()
178 TyVarSymbol tyVarSymbol = sym; in tyParamPosition()
180 ImmutableMap<TyVarSymbol, TyVarInfo> tyVars; in tyParamPosition()
DTurbineElement.java43 import com.google.turbine.binder.sym.TyVarSymbol;
311 for (TyVarSymbol p : infoNonNull().typeParameters().values()) {
348 for (TyVarSymbol t : info.typeParameters().values()) {
554 private final TyVarSymbol sym;
556 public TurbineTypeParameterElement(ModelFactory factory, TyVarSymbol sym) { in TurbineTypeParameterElement()
627 public TyVarSymbol sym() { in sym()
691 for (Map.Entry<TyVarSymbol, TyVarInfo> p : info().tyParams().entrySet()) { in getTypeParameters()
DTurbineTypeMirror.java29 import com.google.turbine.binder.sym.TyVarSymbol;
727 for (TyVarSymbol tyVar : type.tyParams()) { in getTypeVariables()
/external/turbine/java/com/google/turbine/binder/
DCanonicalTypeBinder.java29 import com.google.turbine.binder.sym.TyVarSymbol;
64 ImmutableMap<TyVarSymbol, TyVarInfo> typParamTypes = in bind()
117 ImmutableMap<TyVarSymbol, TyVarInfo> tps = in methods()
156 private static ImmutableMap<TyVarSymbol, TyVarInfo> typeParameters( in typeParameters() argument
161 Map<TyVarSymbol, TyVarInfo> tps) { in typeParameters()
162 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in typeParameters()
163 for (Map.Entry<TyVarSymbol, TyVarInfo> e : tps.entrySet()) { in typeParameters()
DTypeBinder.java39 import com.google.turbine.binder.sym.TyVarSymbol;
177 final ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes = in bind()
393 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTyParams( in bindTyParams()
394 ImmutableList<Tree.TyParam> trees, CompoundScope scope, Map<String, TyVarSymbol> symbols) { in bindTyParams()
395 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in bindTyParams()
397 TyVarSymbol sym = symbols.get(tree.name().value()); in bindTyParams()
426 ImmutableMap<String, TyVarSymbol> typeParameters; in bindMethod()
428 ImmutableMap.Builder<String, TyVarSymbol> builder = ImmutableMap.builder(); in bindMethod()
430 builder.put(pt.name().value(), new TyVarSymbol(sym, pt.name().value())); in bindMethod()
437 ImmutableMap<TyVarSymbol, TyVarInfo> typeParameterTypes = in bindMethod()
[all …]
DHierarchyBinder.java30 import com.google.turbine.binder.sym.TyVarSymbol;
108 ImmutableMap.Builder<String, TyVarSymbol> typeParameters = ImmutableMap.builder(); in bind()
110 typeParameters.put(p.name().value(), new TyVarSymbol(origin, p.name().value())); in bind()
DConstBinder.java35 import com.google.turbine.binder.sym.TyVarSymbol;
297 private ImmutableMap<TyVarSymbol, TyVarInfo> bindTypeParameters( in bindTypeParameters() argument
298 ImmutableMap<TyVarSymbol, TyVarInfo> typarams) { in bindTypeParameters()
299 ImmutableMap.Builder<TyVarSymbol, TyVarInfo> result = ImmutableMap.builder(); in bindTypeParameters()
300 for (Map.Entry<TyVarSymbol, TyVarInfo> entry : typarams.entrySet()) { in bindTypeParameters()
/external/turbine/javatests/com/google/turbine/lower/
DLowerTest.java37 import com.google.turbine.binder.sym.TyVarSymbol;
92 new TyVarSymbol(new ClassSymbol("test/Test"), "V"), in hello()
96 ImmutableMap<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> tps = in hello()
98 new TyVarSymbol(new ClassSymbol("test/Test"), "V"), in hello()
127 new TyVarSymbol(new MethodSymbol(-1, new ClassSymbol("test/Test"), "g"), "V"), in hello()
139 new TyVarSymbol(new MethodSymbol(-1, new ClassSymbol("test/Test"), "g"), "E"), in hello()
161 new TyVarSymbol( in hello()
181 ImmutableMap<String, TyVarSymbol> tyParams = in hello()
182 ImmutableMap.of("V", new TyVarSymbol(new ClassSymbol("test/Test"), "V")); in hello()
DLowerSignatureTest.java23 import com.google.turbine.binder.sym.TyVarSymbol;
135 new TyVarSymbol(ClassSymbol.OBJECT, "X"), ImmutableList.of())))) in tyVar()
/external/turbine/java/com/google/turbine/type/
DType.java29 import com.google.turbine.binder.sym.TyVarSymbol;
267 public static TyVar create(TyVarSymbol sym, ImmutableList<AnnoInfo> annos) { in create()
272 public abstract TyVarSymbol sym(); in sym()
486 public abstract ImmutableSet<TyVarSymbol> tyParams(); in tyParams()
499 ImmutableSet<TyVarSymbol> tyParams, in create()
/external/turbine/java/com/google/turbine/lower/
DLowerSignature.java25 import com.google.turbine.binder.sym.TyVarSymbol;
263 Map<TyVarSymbol, TyVarInfo> px, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig() argument
265 for (Map.Entry<TyVarSymbol, SourceTypeBoundClass.TyVarInfo> entry : px.entrySet()) { in tyParamSig()
272 TyVarSymbol sym, SourceTypeBoundClass.TyVarInfo info, Env<ClassSymbol, TypeBoundClass> env) { in tyParamSig()
DLower.java47 import com.google.turbine.binder.sym.TyVarSymbol;
291 Function<TyVarSymbol, TyVarInfo> tenv = new TyVarEnv(m.tyParams()); in lowerMethod()
361 private String methodDescriptor(MethodInfo m, Function<TyVarSymbol, TyVarInfo> tenv) { in methodDescriptor() argument
374 Function<TyVarSymbol, TyVarInfo> tenv = new TyVarEnv(ImmutableMap.of()); in lowerField()
463 class TyVarEnv implements Function<TyVarSymbol, TyVarInfo> {
465 private final Map<TyVarSymbol, TyVarInfo> tyParams;
468 public TyVarEnv(Map<TyVarSymbol, TyVarInfo> tyParams) { in TyVarEnv() argument
473 public TyVarInfo apply(TyVarSymbol sym) { in apply()
/external/turbine/javatests/com/google/turbine/processing/
DTurbineTypeMirrorTest.java27 import com.google.turbine.binder.sym.TyVarSymbol;
118 new TyVarSymbol(new ClassSymbol("java/util/List"), "V"), ImmutableList.of()))) in equals()
154 new TyVarSymbol(new ClassSymbol("java/util/List"), "E"), in roundTrip()