1 | |
|
2 | |
|
3 | |
|
4 | |
|
5 | |
|
6 | |
|
7 | |
|
8 | |
|
9 | |
|
10 | |
|
11 | |
|
12 | |
|
13 | |
|
14 | |
|
15 | |
|
16 | |
|
17 | |
|
18 | |
|
19 | |
|
20 | |
|
21 | |
|
22 | |
|
23 | |
|
24 | |
|
25 | |
|
26 | |
package com.sun.tools.javafx.comp; |
27 | |
|
28 | |
import java.io.*; |
29 | |
import java.util.IdentityHashMap; |
30 | |
import com.sun.tools.javac.jvm.ClassReader; |
31 | |
import com.sun.tools.javac.code.*; |
32 | |
import com.sun.tools.javac.code.Type.*; |
33 | |
import com.sun.tools.javac.code.Symbol.*; |
34 | |
import com.sun.tools.javac.util.*; |
35 | |
import com.sun.tools.javac.util.List; |
36 | |
|
37 | |
import static com.sun.tools.javac.code.Flags.*; |
38 | |
import static com.sun.tools.javac.code.Kinds.*; |
39 | |
import static com.sun.tools.javac.code.TypeTags.*; |
40 | |
import com.sun.tools.javafx.code.JavafxClassSymbol; |
41 | |
import com.sun.tools.javafx.code.JavafxSymtab; |
42 | |
import com.sun.tools.javafx.code.JavafxFlags; |
43 | |
import static com.sun.tools.javafx.comp.JavafxDefs.*; |
44 | |
|
45 | |
import static javax.tools.StandardLocation.*; |
46 | |
|
47 | |
import static com.sun.tools.javafx.code.JavafxVarSymbol.*; |
48 | |
|
49 | |
|
50 | |
|
51 | |
|
52 | |
|
53 | |
|
54 | |
|
55 | |
|
56 | |
|
57 | |
|
58 | |
|
59 | |
|
60 | |
|
61 | |
|
62 | |
|
63 | |
|
64 | |
|
65 | |
|
66 | |
|
67 | 12 | public class JavafxClassReader extends ClassReader { |
68 | 12 | protected static final Context.Key<ClassReader> backendClassReaderKey = |
69 | |
new Context.Key<ClassReader>(); |
70 | |
|
71 | |
private final JavafxDefs defs; |
72 | |
|
73 | |
|
74 | |
public ClassReader jreader; |
75 | |
|
76 | |
private final Name functionClassPrefixName; |
77 | |
|
78 | |
public static void registerBackendReader(final Context context, final ClassReader jreader) { |
79 | 399 | context.put(backendClassReaderKey, jreader); |
80 | 399 | } |
81 | |
|
82 | |
public static void preRegister(final Context context, final ClassReader jreader) { |
83 | 399 | registerBackendReader(context, jreader); |
84 | 399 | preRegister(context); |
85 | 399 | } |
86 | |
public static void preRegister(final Context context) { |
87 | 399 | context.put(classReaderKey, new Context.Factory<ClassReader>() { |
88 | |
public JavafxClassReader make() { |
89 | 399 | JavafxClassReader reader = new JavafxClassReader(context, true); |
90 | 399 | reader.jreader = context.get(backendClassReaderKey); |
91 | 399 | return reader; |
92 | |
} |
93 | |
}); |
94 | 399 | } |
95 | |
|
96 | |
public static JavafxClassReader instance(Context context) { |
97 | 1995 | JavafxClassReader instance = (JavafxClassReader) context.get(classReaderKey); |
98 | 1995 | if (instance == null) |
99 | 0 | instance = new JavafxClassReader(context, true); |
100 | 1995 | return instance; |
101 | |
} |
102 | |
|
103 | |
|
104 | |
|
105 | |
|
106 | |
protected JavafxClassReader(Context context, boolean definitive) { |
107 | 399 | super(context, definitive); |
108 | 399 | defs = JavafxDefs.instance(context); |
109 | 399 | functionClassPrefixName = names.fromString(JavafxSymtab.functionClassPrefix); |
110 | 399 | } |
111 | |
|
112 | |
public Name.Table getNames() { |
113 | 0 | return names; |
114 | |
} |
115 | |
|
116 | |
public JavafxClassSymbol enterClass(ClassSymbol jsymbol) { |
117 | 472540 | Name className = jsymbol.flatname; |
118 | 472540 | boolean compound = className.endsWith(defs.interfaceSuffixName); |
119 | 472540 | if (compound) |
120 | 841 | className = className.subName(0, className.len - defs.interfaceSuffixName.len); |
121 | 472540 | JavafxClassSymbol cSym = (JavafxClassSymbol) enterClass(className); |
122 | 472540 | if (compound) |
123 | 841 | cSym.flags_field |= JavafxFlags.COMPOUND_CLASS; |
124 | |
else { |
125 | 471699 | if (cSym.fullname != jsymbol.fullname && |
126 | |
cSym.owner.kind == PCK && jsymbol.owner.kind == TYP) { |
127 | |
|
128 | |
|
129 | 793 | cSym.owner.members().remove(cSym); |
130 | 793 | cSym.name = jsymbol.name; |
131 | 793 | ClassSymbol owner = enterClass(((ClassSymbol) jsymbol.owner).flatname); |
132 | 793 | cSym.owner = owner; |
133 | 793 | cSym.fullname = ClassSymbol.formFullName(cSym.name, owner); |
134 | |
} |
135 | 471699 | cSym.jsymbol = jsymbol; |
136 | |
} |
137 | 472540 | return cSym; |
138 | |
} |
139 | |
|
140 | |
|
141 | |
|
142 | |
public ClassSymbol defineClass(Name name, Symbol owner) { |
143 | 442299 | ClassSymbol c = new JavafxClassSymbol(0, name, owner); |
144 | 442299 | if (owner.kind == PCK) |
145 | 441982 | assert classes.get(c.flatname) == null : c; |
146 | 442299 | c.completer = this; |
147 | 442299 | return c; |
148 | |
} |
149 | |
|
150 | |
|
151 | |
|
152 | |
|
153 | |
|
154 | |
|
155 | |
|
156 | |
|
157 | |
|
158 | |
|
159 | |
|
160 | |
|
161 | |
|
162 | |
|
163 | |
|
164 | |
|
165 | |
|
166 | |
|
167 | |
|
168 | |
|
169 | |
|
170 | |
|
171 | |
|
172 | |
|
173 | |
|
174 | |
|
175 | |
|
176 | |
|
177 | |
|
178 | |
|
179 | |
|
180 | |
|
181 | |
|
182 | |
|
183 | |
|
184 | |
|
185 | |
|
186 | |
|
187 | |
|
188 | |
|
189 | |
|
190 | |
|
191 | |
|
192 | |
|
193 | |
|
194 | |
|
195 | |
|
196 | |
|
197 | |
|
198 | |
|
199 | |
|
200 | |
|
201 | |
|
202 | |
|
203 | |
|
204 | |
|
205 | |
|
206 | |
|
207 | |
|
208 | |
|
209 | |
|
210 | |
|
211 | |
|
212 | |
|
213 | |
|
214 | |
|
215 | |
|
216 | |
|
217 | |
|
218 | |
|
219 | |
|
220 | |
|
221 | |
|
222 | |
|
223 | |
|
224 | |
|
225 | 399 | IdentityHashMap<Object,Object> typeMap = new IdentityHashMap<Object,Object>(); |
226 | |
|
227 | |
|
228 | |
List<Type> translateTypes (List<Type> types) { |
229 | 341333 | if (types == null) |
230 | 3355 | return null; |
231 | 337978 | List<Type> ts = (List<Type>) typeMap.get(types); |
232 | 337978 | if (ts != null) |
233 | 198922 | return ts; |
234 | 139056 | ListBuffer<Type> rs = new ListBuffer<Type>(); |
235 | 139056 | for (List<Type> t = types; |
236 | 335492 | t.tail != null; |
237 | 196436 | t = t.tail) |
238 | 196436 | rs.append(translateType(t.head)); |
239 | 139056 | ts = rs.toList(); |
240 | 139056 | typeMap.put(types, ts); |
241 | 139056 | return ts; |
242 | |
} |
243 | |
|
244 | |
|
245 | |
Type translateType (Type type) { |
246 | 589334 | if (type == null) |
247 | 0 | return null; |
248 | 589334 | Type t = (Type) typeMap.get(type); |
249 | 589334 | if (t != null) |
250 | 347585 | return t; |
251 | 241749 | switch (type.tag) { |
252 | |
case VOID: |
253 | 373 | t = syms.voidType; |
254 | 373 | break; |
255 | |
case BOOLEAN: |
256 | 373 | t = syms.booleanType; |
257 | 373 | break; |
258 | |
case CHAR: |
259 | 357 | t = syms.charType; |
260 | 357 | break; |
261 | |
case BYTE: |
262 | 358 | t = syms.byteType; |
263 | 358 | break; |
264 | |
case SHORT: |
265 | 187 | t = syms.shortType; |
266 | 187 | break; |
267 | |
case INT: |
268 | 373 | t = syms.intType; |
269 | 373 | break; |
270 | |
case LONG: |
271 | 373 | t = syms.longType; |
272 | 373 | break; |
273 | |
case DOUBLE: |
274 | 358 | t = syms.doubleType; |
275 | 358 | break; |
276 | |
case FLOAT: |
277 | 358 | t = syms.floatType; |
278 | 358 | break; |
279 | |
case TYPEVAR: |
280 | 2122 | TypeVar tv = (TypeVar) type; |
281 | 2122 | TypeVar tx = new TypeVar(null, (Type) null, (Type) null); |
282 | 2122 | typeMap.put(type, tx); |
283 | 2122 | tx.bound = translateType(tv.bound); |
284 | 2122 | tx.lower = translateType(tv.lower); |
285 | 2122 | tx.tsym = new TypeSymbol(0, tv.tsym.name, tx, translateSymbol(tv.tsym.owner)); |
286 | 2122 | return tx; |
287 | |
case FORALL: |
288 | 1252 | ForAll tf = (ForAll) type; |
289 | 1252 | t = new ForAll(translateTypes(tf.tvars), translateType(tf.qtype)); |
290 | 1252 | break; |
291 | |
case WILDCARD: |
292 | 9667 | WildcardType wt = (WildcardType) type; |
293 | 9667 | t = new WildcardType(translateType(wt.type), wt.kind, |
294 | |
translateTypeSymbol(wt.tsym)); |
295 | 9667 | break; |
296 | |
case CLASS: |
297 | 57776 | TypeSymbol tsym = type.tsym; |
298 | 57776 | if (tsym instanceof ClassSymbol) { |
299 | 57776 | if (tsym.name.endsWith(defs.interfaceSuffixName)) { |
300 | 800 | t = enterClass((ClassSymbol) tsym).type; |
301 | 800 | break; |
302 | |
} |
303 | 56976 | final ClassType ctype = (ClassType) type; |
304 | 56976 | if (ctype.isCompound()) { |
305 | 0 | t = types.makeCompoundType(translateTypes(ctype.interfaces_field), translateType(ctype.supertype_field)); |
306 | 0 | break; |
307 | |
} |
308 | 56976 | Name flatname = ((ClassSymbol) tsym).flatname; |
309 | 56976 | Type deloc = defs.delocationize(flatname); |
310 | 56976 | if (deloc != null) { |
311 | 18249 | if (deloc == syms.intType || deloc == syms.doubleType || deloc == syms.booleanType) { |
312 | 4943 | return deloc; |
313 | |
} |
314 | 13306 | if (ctype.typarams_field != null && ctype.typarams_field.size() == 1) { |
315 | 13290 | if (deloc == syms.objectType) { |
316 | 12791 | return translateType(ctype.typarams_field.head); |
317 | |
} |
318 | 499 | if (deloc == ((JavafxSymtab) syms).javafx_SequenceType) { |
319 | 499 | Type tparam = translateType(ctype.typarams_field.head); |
320 | 499 | WildcardType tpType = new WildcardType(tparam, BoundKind.EXTENDS, tparam.tsym); |
321 | 499 | t = new ClassType(Type.noType, List.<Type>of(tpType), ((JavafxSymtab) syms).javafx_SequenceType.tsym); |
322 | 499 | break; |
323 | |
} |
324 | |
} |
325 | |
} |
326 | 38743 | if (flatname.startsWith(functionClassPrefixName) |
327 | |
&& flatname != functionClassPrefixName) { |
328 | 2756 | t = ((JavafxSymtab) syms).makeFunctionType(translateTypes(ctype.typarams_field)); |
329 | 2756 | break; |
330 | |
} |
331 | 35987 | TypeSymbol sym = translateTypeSymbol(tsym); |
332 | |
ClassType ntype; |
333 | 35987 | if (tsym.type == type) |
334 | 2713 | ntype = (ClassType) sym.type; |
335 | |
else |
336 | 33274 | ntype = new ClassType(null, null, sym) { |
337 | 33274 | boolean completed = false; |
338 | |
public Type getEnclosingType() { |
339 | 40276 | if (!completed) { |
340 | 2547 | completed = true; |
341 | 2547 | tsym.complete(); |
342 | 2547 | super.setEnclosingType(translateType(ctype.getEnclosingType())); |
343 | |
} |
344 | 40276 | return super.getEnclosingType(); |
345 | |
} |
346 | |
public void setEnclosingType(Type outer) { |
347 | 0 | throw new UnsupportedOperationException(); |
348 | |
} |
349 | |
}; |
350 | 35987 | typeMap.put(type, ntype); |
351 | 35987 | ntype.typarams_field = translateTypes(type.getTypeArguments()); |
352 | 35987 | return ntype; |
353 | |
} |
354 | |
break; |
355 | |
case ARRAY: |
356 | 19168 | t = new ArrayType(translateType(((ArrayType) type).elemtype), syms.arrayClass); |
357 | 19168 | break; |
358 | |
case METHOD: |
359 | 147911 | t = new MethodType(translateTypes(type.getParameterTypes()), |
360 | |
translateType(type.getReturnType()), |
361 | |
translateTypes(type.getThrownTypes()), |
362 | |
syms.methodClass); |
363 | 147911 | break; |
364 | |
default: |
365 | 743 | t = type; |
366 | |
} |
367 | 185906 | typeMap.put(type, t); |
368 | 185906 | return t; |
369 | |
} |
370 | |
|
371 | |
TypeSymbol translateTypeSymbol(TypeSymbol tsym) { |
372 | 46441 | if (tsym == syms.predefClass) |
373 | 0 | return tsym; |
374 | 46441 | ClassSymbol csym = (ClassSymbol) tsym; |
375 | 46441 | return enterClass(csym); |
376 | |
} |
377 | |
Symbol translateSymbol(Symbol sym) { |
378 | 3538 | if (sym == null) |
379 | 0 | return null; |
380 | 3538 | Symbol s = (Symbol) typeMap.get(sym); |
381 | 3538 | if (s != null) |
382 | 2122 | return s; |
383 | 1416 | if (sym instanceof PackageSymbol) |
384 | 0 | s = enterPackage(((PackageSymbol) sym).fullname); |
385 | 1416 | else if (sym instanceof MethodSymbol) { |
386 | 629 | Name name = sym.name; |
387 | 629 | long flags = sym.flags_field; |
388 | 629 | Symbol owner = translateSymbol(sym.owner); |
389 | 629 | Type type = translateType(sym.type); |
390 | 629 | String nameString = name.toString(); |
391 | 629 | int boundStringIndex = nameString.indexOf(JavafxDefs.boundFunctionDollarSuffix); |
392 | 629 | if (boundStringIndex != -1) { |
393 | |
|
394 | |
|
395 | 8 | name = names.fromString(nameString.substring(0, boundStringIndex)); |
396 | 8 | flags |= JavafxFlags.BOUND; |
397 | |
} |
398 | 629 | MethodSymbol m = new MethodSymbol(flags, name, type, owner); |
399 | 629 | ((ClassSymbol) owner).members_field.enter(m); |
400 | 629 | s = m; |
401 | 629 | } |
402 | |
else |
403 | 787 | s = translateTypeSymbol((TypeSymbol) sym); |
404 | 1416 | typeMap.put(sym, s); |
405 | 1416 | return s; |
406 | |
} |
407 | |
|
408 | |
public void complete(Symbol sym) throws CompletionFailure { |
409 | 10768 | if (sym instanceof PackageSymbol) { |
410 | 3242 | PackageSymbol psym = (PackageSymbol) sym; |
411 | |
PackageSymbol jpackage; |
412 | 3242 | if (psym == syms.unnamedPackage) |
413 | 366 | jpackage = jreader.syms.unnamedPackage; |
414 | |
else |
415 | 2876 | jpackage = jreader.enterPackage(psym.fullname); |
416 | 3242 | jpackage.complete(); |
417 | 3242 | if (psym.members_field == null) psym.members_field = new Scope(psym); |
418 | 3242 | for (Scope.Entry e = jpackage.members_field.elems; |
419 | 969108 | e != null; e = e.sibling) { |
420 | 482933 | if (e.sym instanceof ClassSymbol) { |
421 | 482933 | ClassSymbol jsym = (ClassSymbol) e.sym; |
422 | 482933 | if (jsym.name.endsWith(defs.interfaceSuffixName)) |
423 | 57634 | continue; |
424 | 425299 | JavafxClassSymbol csym = enterClass(jsym); |
425 | 425299 | psym.members_field.enter(csym); |
426 | 425299 | csym.classfile = jsym.classfile; |
427 | 425299 | csym.jsymbol = jsym; |
428 | |
} |
429 | |
} |
430 | 3242 | } else { |
431 | 7526 | sym.owner.complete(); |
432 | 7526 | JavafxClassSymbol csym = (JavafxClassSymbol) sym; |
433 | 7526 | ClassSymbol jsymbol = csym.jsymbol; |
434 | 7526 | csym.jsymbol = jsymbol = jreader.loadClass(csym.flatname); |
435 | 5516 | typeMap.put(jsymbol, csym); |
436 | 5516 | jsymbol.classfile = ((ClassSymbol) sym).classfile; |
437 | |
|
438 | 5516 | ClassType ct = (ClassType)csym.type; |
439 | 5516 | ClassType jt = (ClassType)jsymbol.type; |
440 | 5516 | csym.members_field = new Scope(csym); |
441 | |
|
442 | 5516 | csym.flags_field = jsymbol.flags_field; |
443 | |
|
444 | 5516 | ct.typarams_field = translateTypes(jt.typarams_field); |
445 | 5516 | ct.setEnclosingType(translateType(jt.getEnclosingType())); |
446 | |
|
447 | 5516 | ct.supertype_field = translateType(jt.supertype_field); |
448 | 5516 | ListBuffer<Type> interfaces = new ListBuffer<Type>(); |
449 | 5516 | Type iface = null; |
450 | 5516 | for (List<Type> it = jt.interfaces_field; |
451 | 11289 | it.tail != null; |
452 | 5773 | it = it.tail) { |
453 | 5773 | Type itype = it.head; |
454 | 5773 | if (((ClassSymbol) itype.tsym).flatname == defs.fxObjectName) |
455 | 327 | csym.flags_field |= JavafxFlags.FX_CLASS; |
456 | 5446 | else if (itype.tsym.name.endsWith(defs.interfaceSuffixName)) { |
457 | 322 | assert (csym.fullname.len + defs.interfaceSuffixName.len == |
458 | |
((ClassSymbol) itype.tsym).fullname.len) && |
459 | |
((ClassSymbol) itype.tsym).fullname.startsWith(csym.fullname); |
460 | 322 | iface = itype; |
461 | 322 | csym.flags_field |= JavafxFlags.COMPOUND_CLASS; |
462 | |
} |
463 | |
else { |
464 | 5124 | itype = translateType(itype); |
465 | 5124 | interfaces.append(itype); |
466 | |
} |
467 | |
} |
468 | |
|
469 | 5516 | if (iface != null) { |
470 | 322 | iface.tsym.complete(); |
471 | 322 | for (List<Type> it = ((ClassType) iface.tsym.type).interfaces_field; |
472 | 863 | it.tail != null; |
473 | 541 | it = it.tail) { |
474 | 541 | Type itype = it.head; |
475 | 541 | if (((ClassSymbol) itype.tsym).flatname == defs.fxObjectName) |
476 | 322 | csym.flags_field |= JavafxFlags.FX_CLASS; |
477 | |
else { |
478 | 219 | itype = translateType(itype); |
479 | 219 | interfaces.append(itype); |
480 | 219 | csym.addSuperType(itype); |
481 | |
} |
482 | |
} |
483 | |
} |
484 | 5516 | ct.interfaces_field = interfaces.toList(); |
485 | |
|
486 | |
|
487 | |
|
488 | 5516 | List<Symbol> syms = List.nil(); |
489 | 5516 | for (Scope.Entry e = jsymbol.members_field.elems; |
490 | 404910 | e != null; e = e.sibling) { |
491 | 199697 | if ((e.sym.flags_field & SYNTHETIC) != 0) |
492 | 2209 | continue; |
493 | 197488 | syms = syms.prepend(e.sym); |
494 | |
} |
495 | 203004 | for (List<Symbol> l = syms; l.nonEmpty(); l=l.tail) { |
496 | 197488 | Name name = l.head.name; |
497 | 197488 | long flags = l.head.flags_field; |
498 | 197488 | if ((flags & PRIVATE) != 0) |
499 | 18886 | continue; |
500 | 178602 | if (l.head instanceof MethodSymbol) { |
501 | |
|
502 | |
|
503 | 147911 | Type type = translateType(l.head.type); |
504 | 147911 | String nameString = name.toString(); |
505 | 147911 | int boundStringIndex = nameString.indexOf(JavafxDefs.boundFunctionDollarSuffix); |
506 | 147911 | if (boundStringIndex != -1) { |
507 | |
|
508 | |
|
509 | 733 | name = names.fromString(nameString.substring(0, boundStringIndex)); |
510 | 733 | flags |= JavafxFlags.BOUND; |
511 | |
} |
512 | 147911 | MethodSymbol m = new MethodSymbol(flags, name, type, csym); |
513 | 147911 | csym.members_field.enter(m); |
514 | 147911 | } |
515 | 30691 | else if (l.head instanceof VarSymbol) { |
516 | 29904 | Type type = translateType(l.head.type); |
517 | 29904 | VarSymbol v = new VarSymbol(flags, name, type, csym); |
518 | 29904 | csym.members_field.enter(v); |
519 | 29904 | } |
520 | |
else { |
521 | 787 | csym.members_field.enter(translateSymbol(l.head)); |
522 | |
} |
523 | |
} |
524 | |
} |
525 | 8758 | } |
526 | |
} |