OSDN Git Service

* jcf-parse.c (get_constant) [CONSTANT_String]: String values are
[pf3gnuchains/gcc-fork.git] / gcc / java / jcf-parse.c
1 /* Parser for Java(TM) .class files.
2    Copyright (C) 1996, 1998, 1999, 2000, 2001, 2002
3    Free Software Foundation, Inc.
4
5 This file is part of GNU CC.
6
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING.  If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA.
21
22 Java and all Java-based marks are trademarks or registered trademarks
23 of Sun Microsystems, Inc. in the United States and other countries.
24 The Free Software Foundation is independent of Sun Microsystems, Inc.  */
25
26 /* Written by Per Bothner <bothner@cygnus.com> */
27
28 #include "config.h"
29 #include "system.h"
30 #include "tree.h"
31 #include "obstack.h"
32 #include "flags.h"
33 #include "java-except.h"
34 #include "input.h"
35 #include "java-tree.h"
36 #include "toplev.h"
37 #include "parse.h"
38 #include "ggc.h"
39 #include "debug.h"
40 #include "assert.h"
41
42 #ifdef HAVE_LOCALE_H
43 #include <locale.h>
44 #endif
45
46 #ifdef HAVE_NL_LANGINFO
47 #include <langinfo.h>
48 #endif
49
50 /* A CONSTANT_Utf8 element is converted to an IDENTIFIER_NODE at parse time. */
51 #define JPOOL_UTF(JCF, INDEX) CPOOL_UTF(&(JCF)->cpool, INDEX)
52 #define JPOOL_UTF_LENGTH(JCF, INDEX) IDENTIFIER_LENGTH (JPOOL_UTF (JCF, INDEX))
53 #define JPOOL_UTF_DATA(JCF, INDEX) \
54   ((const unsigned char *) IDENTIFIER_POINTER (JPOOL_UTF (JCF, INDEX)))
55 #define HANDLE_CONSTANT_Utf8(JCF, INDEX, LENGTH) \
56   do { \
57     unsigned char save;  unsigned char *text; \
58     JCF_FILL (JCF, (LENGTH)+1); /* Make sure we read 1 byte beyond string. */ \
59     text = (JCF)->read_ptr; \
60     save = text[LENGTH]; \
61     text[LENGTH] = 0; \
62     (JCF)->cpool.data[INDEX] = (jword) get_identifier (text); \
63     text[LENGTH] = save; \
64     JCF_SKIP (JCF, LENGTH); } while (0)
65
66 #include "jcf.h"
67
68 extern struct obstack *saveable_obstack;
69 extern struct obstack temporary_obstack;
70 extern struct obstack permanent_obstack;
71
72 /* Set to non-zero value in order to emit class initilization code
73    before static field references.  */
74 extern int always_initialize_class_p;
75
76 static tree parse_roots[3] = { NULL_TREE, NULL_TREE, NULL_TREE };
77
78 /* The FIELD_DECL for the current field.  */
79 #define current_field parse_roots[0]
80
81 /* The METHOD_DECL for the current method.  */
82 #define current_method parse_roots[1]
83
84 /* A list of file names.  */
85 #define current_file_list parse_roots[2]
86
87 /* The Java archive that provides main_class;  the main input file. */
88 static struct JCF main_jcf[1];
89
90 static struct ZipFile *localToFile;
91
92 /* Declarations of some functions used here.  */
93 static void handle_innerclass_attribute PARAMS ((int count, JCF *));
94 static tree give_name_to_class PARAMS ((JCF *jcf, int index));
95 static void parse_zip_file_entries PARAMS ((void));
96 static void process_zip_dir PARAMS ((FILE *));
97 static void parse_source_file_1 PARAMS ((tree, FILE *));
98 static void parse_source_file_2 PARAMS ((void));
99 static void parse_class_file PARAMS ((void));
100 static void set_source_filename PARAMS ((JCF *, int));
101 static void ggc_mark_jcf PARAMS ((void**));
102 static void jcf_parse PARAMS ((struct JCF*));
103 static void load_inner_classes PARAMS ((tree));
104
105 /* Mark (for garbage collection) all the tree nodes that are
106    referenced from JCF's constant pool table. Do that only if the JCF
107    hasn't been marked finished.  */
108
109 static void
110 ggc_mark_jcf (elt)
111      void **elt;
112 {
113   JCF *jcf = *(JCF**) elt;
114   if (jcf != NULL && !jcf->finished)
115     {
116       CPool *cpool = &jcf->cpool;
117       int size = CPOOL_COUNT(cpool);
118       int index;
119       for (index = 1; index < size;  index++)
120         {
121           int tag = JPOOL_TAG (jcf, index);
122           if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
123             ggc_mark_tree ((tree) cpool->data[index]);
124         }
125     }
126 }
127
128 /* Handle "SourceFile" attribute. */
129
130 static void
131 set_source_filename (jcf, index)
132      JCF *jcf;
133      int index;
134 {
135   tree sfname_id = get_name_constant (jcf, index);
136   const char *sfname = IDENTIFIER_POINTER (sfname_id);
137   if (input_filename != NULL)
138     {
139       int old_len = strlen (input_filename);
140       int new_len = IDENTIFIER_LENGTH (sfname_id);
141       /* Use the current input_filename (derived from the class name)
142          if it has a directory prefix, but otherwise matches sfname. */
143       if (old_len > new_len
144           && strcmp (sfname, input_filename + old_len - new_len) == 0
145           && (input_filename[old_len - new_len - 1] == '/'
146               || input_filename[old_len - new_len - 1] == '\\'))
147         return;
148     }
149   input_filename = sfname;
150   DECL_SOURCE_FILE (TYPE_NAME (current_class)) = sfname;
151   if (current_class == main_class) main_input_filename = input_filename;
152 }
153
154 #define HANDLE_SOURCEFILE(INDEX) set_source_filename (jcf, INDEX)
155
156 #define HANDLE_CLASS_INFO(ACCESS_FLAGS, THIS, SUPER, INTERFACES_COUNT) \
157 { tree super_class = SUPER==0 ? NULL_TREE : get_class_constant (jcf, SUPER); \
158   current_class = give_name_to_class (jcf, THIS); \
159   set_super_info (ACCESS_FLAGS, current_class, super_class, INTERFACES_COUNT);}
160
161 #define HANDLE_CLASS_INTERFACE(INDEX) \
162   add_interface (current_class, get_class_constant (jcf, INDEX))
163
164 #define HANDLE_START_FIELD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
165 { int sig_index = SIGNATURE; \
166   current_field = add_field (current_class, get_name_constant (jcf, NAME), \
167                              parse_signature (jcf, sig_index), ACCESS_FLAGS); \
168  set_java_signature (TREE_TYPE (current_field), JPOOL_UTF (jcf, sig_index)); \
169  if ((ACCESS_FLAGS) & ACC_FINAL) \
170    MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (current_field); \
171 }
172
173 #define HANDLE_END_FIELDS() \
174   (current_field = NULL_TREE)
175
176 #define HANDLE_CONSTANTVALUE(INDEX) \
177 { tree constant;  int index = INDEX; \
178   if (! flag_emit_class_files && JPOOL_TAG (jcf, index) == CONSTANT_String) { \
179     tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index)); \
180     constant = build_utf8_ref (name); \
181   } \
182   else \
183     constant = get_constant (jcf, index); \
184   set_constant_value (current_field, constant); }
185
186 #define HANDLE_METHOD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
187  (current_method = add_method (current_class, ACCESS_FLAGS, \
188                                get_name_constant (jcf, NAME), \
189                                get_name_constant (jcf, SIGNATURE)), \
190   DECL_LOCALVARIABLES_OFFSET (current_method) = 0, \
191   DECL_LINENUMBERS_OFFSET (current_method) = 0)
192
193 #define HANDLE_END_METHODS() \
194 { tree handle_type = CLASS_TO_HANDLE_TYPE (current_class); \
195   if (handle_type != current_class) layout_type (handle_type); \
196   current_method = NULL_TREE; }
197
198 #define HANDLE_CODE_ATTRIBUTE(MAX_STACK, MAX_LOCALS, CODE_LENGTH) \
199 { DECL_MAX_STACK (current_method) = (MAX_STACK); \
200   DECL_MAX_LOCALS (current_method) = (MAX_LOCALS); \
201   DECL_CODE_LENGTH (current_method) = (CODE_LENGTH); \
202   DECL_CODE_OFFSET (current_method) = JCF_TELL (jcf); }
203
204 #define HANDLE_LOCALVARIABLETABLE_ATTRIBUTE(COUNT) \
205 { int n = (COUNT); \
206   DECL_LOCALVARIABLES_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
207   JCF_SKIP (jcf, n * 10); }
208
209 #define HANDLE_LINENUMBERTABLE_ATTRIBUTE(COUNT) \
210 { int n = (COUNT); \
211   DECL_LINENUMBERS_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
212   JCF_SKIP (jcf, n * 4); }
213
214 #define HANDLE_EXCEPTIONS_ATTRIBUTE(COUNT) \
215 { \
216   int n = COUNT; \
217   tree list = DECL_FUNCTION_THROWS (current_method); \
218   while (--n >= 0) \
219     { \
220       tree thrown_class = get_class_constant (jcf, JCF_readu2 (jcf)); \
221       list = tree_cons (NULL_TREE, thrown_class, list); \
222     } \
223   DECL_FUNCTION_THROWS (current_method) = nreverse (list); \
224 }
225
226 /* Link seen inner classes to their outer context and register the
227    inner class to its outer context. They will be later loaded.  */
228 #define HANDLE_INNERCLASSES_ATTRIBUTE(COUNT) \
229   handle_innerclass_attribute (COUNT, jcf)
230
231 #define HANDLE_SYNTHETIC_ATTRIBUTE()                                    \
232 {                                                                       \
233   /* Irrelevant decls should have been nullified by the END macros.     \
234      We only handle the `Synthetic' attribute on method DECLs.          \
235      DECL_ARTIFICIAL on fields is used for something else (See          \
236      PUSH_FIELD in java-tree.h) */                                      \
237   if (current_method)                                                   \
238     DECL_ARTIFICIAL (current_method) = 1;                               \
239 }
240
241 #define HANDLE_GCJCOMPILED_ATTRIBUTE()          \
242 {                                               \
243   if (current_class == object_type_node)        \
244     jcf->right_zip = 1;                         \
245 }
246
247 #include "jcf-reader.c"
248
249 static int yydebug;
250
251 tree
252 parse_signature (jcf, sig_index)
253      JCF *jcf;
254      int sig_index;
255 {
256   if (sig_index <= 0 || sig_index >= JPOOL_SIZE (jcf)
257       || JPOOL_TAG (jcf, sig_index) != CONSTANT_Utf8)
258     abort ();
259   else
260     return parse_signature_string (JPOOL_UTF_DATA (jcf, sig_index),
261                                    JPOOL_UTF_LENGTH (jcf, sig_index));
262 }
263
264 void
265 java_set_yydebug (value)
266      int value;
267 {
268   yydebug = value;
269 }
270
271 tree
272 get_constant (jcf, index)
273   JCF *jcf;
274   int index;
275 {
276   tree value;
277   int tag;
278   if (index <= 0 || index >= JPOOL_SIZE(jcf))
279     goto bad;
280   tag = JPOOL_TAG (jcf, index);
281   if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
282     return (tree) jcf->cpool.data[index];
283   switch (tag)
284     {
285     case CONSTANT_Integer:
286       {
287         jint num = JPOOL_INT(jcf, index);
288         value = build_int_2 (num, num < 0 ? -1 : 0);
289         TREE_TYPE (value) = int_type_node;
290         break;
291       }
292     case CONSTANT_Long:
293       {
294         jint num = JPOOL_INT (jcf, index);
295         HOST_WIDE_INT lo, hi;
296         lshift_double (num, 0, 32, 64, &lo, &hi, 0);
297         num = JPOOL_INT (jcf, index+1) & 0xffffffff;
298         add_double (lo, hi, num, 0, &lo, &hi);
299         value = build_int_2 (lo, hi);
300         TREE_TYPE (value) = long_type_node;
301         force_fit_type (value, 0);
302         break;
303       }
304 #if TARGET_FLOAT_FORMAT == IEEE_FLOAT_FORMAT
305     case CONSTANT_Float:
306       {
307         jint num = JPOOL_INT(jcf, index);
308         REAL_VALUE_TYPE d;
309         d = REAL_VALUE_FROM_TARGET_SINGLE (num);
310         value = build_real (float_type_node, d);
311         break;
312       }
313     case CONSTANT_Double:
314       {
315         HOST_WIDE_INT num[2];
316         REAL_VALUE_TYPE d;
317         HOST_WIDE_INT lo, hi;
318         num[0] = JPOOL_INT (jcf, index);
319         lshift_double (num[0], 0, 32, 64, &lo, &hi, 0);
320         num[0] = JPOOL_INT (jcf, index+1);
321         add_double (lo, hi, num[0], 0, &lo, &hi);
322
323         /* Since ereal_from_double expects an array of HOST_WIDE_INT
324            in the target's format, we swap the elements for big endian
325            targets, unless HOST_WIDE_INT is sufficiently large to
326            contain a target double, in which case the 2nd element
327            is ignored.
328
329            FIXME: Is this always right for cross targets? */
330         if (FLOAT_WORDS_BIG_ENDIAN && sizeof(num[0]) < 8)
331           {
332             num[0] = hi;
333             num[1] = lo;
334           }
335         else
336           {
337             num[0] = lo;
338             num[1] = hi;
339           }
340         d = REAL_VALUE_FROM_TARGET_DOUBLE (num);
341         value = build_real (double_type_node, d);
342         break;
343       }
344 #endif /* TARGET_FLOAT_FORMAT == IEEE_FLOAT_FORMAT */
345     case CONSTANT_String:
346       {
347         tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index));
348         const char *utf8_ptr = IDENTIFIER_POINTER (name);
349         int utf8_len = IDENTIFIER_LENGTH (name);
350         unsigned char *str_ptr;
351         unsigned char *str;
352         const unsigned char *utf8;
353         int i;
354
355         /* Check for a malformed Utf8 string.  */
356         utf8 = (const unsigned char *) utf8_ptr;
357         i = utf8_len;
358         while (i > 0)
359           {
360             int char_len = UT8_CHAR_LENGTH (*utf8);
361             if (char_len < 0 || char_len > 3 || char_len > i)
362               fatal_error ("bad string constant");
363
364             utf8 += char_len;
365             i -= char_len;
366           }
367
368         /* Allocate a new string value.  */
369         value = build_string (utf8_len, utf8_ptr);
370         TREE_TYPE (value) = build_pointer_type (string_type_node);
371       }
372       break;
373     default:
374       goto bad;
375     }
376   JPOOL_TAG (jcf, index) = tag | CONSTANT_ResolvedFlag;
377   jcf->cpool.data [index] = (jword) value;
378   return value;
379  bad:
380   internal_error ("bad value constant type %d, index %d", 
381                   JPOOL_TAG (jcf, index), index);
382 }
383
384 tree
385 get_name_constant (jcf, index)
386   JCF *jcf;
387   int index;
388 {
389   tree name = get_constant (jcf, index);
390
391   if (TREE_CODE (name) != IDENTIFIER_NODE)
392     abort ();
393
394   return name;
395 }
396
397 /* Handle reading innerclass attributes. If a non zero entry (denoting
398    a non anonymous entry) is found, We augment the inner class list of
399    the outer context with the newly resolved innerclass.  */
400
401 static void
402 handle_innerclass_attribute (count, jcf)
403      int count;
404      JCF *jcf;
405 {
406   int c = (count);
407   while (c--)
408     {
409       /* Read inner_class_info_index. This may be 0 */
410       int icii = JCF_readu2 (jcf);
411       /* Read outer_class_info_index. If the innerclasses attribute
412          entry isn't a member (like an inner class) the value is 0. */
413       int ocii = JCF_readu2 (jcf);
414       /* Read inner_name_index. If the class we're dealing with is
415          an annonymous class, it must be 0. */
416       int ini = JCF_readu2 (jcf);
417       /* Read the access flag. */
418       int acc = JCF_readu2 (jcf);
419       /* If icii is 0, don't try to read the class. */
420       if (icii >= 0)
421         {
422           tree class = get_class_constant (jcf, icii);
423           tree decl = TYPE_NAME (class);
424           /* Skip reading further if ocii is null */
425           if (DECL_P (decl) && !CLASS_COMPLETE_P (decl) && ocii)
426             {
427               tree outer = TYPE_NAME (get_class_constant (jcf, ocii));
428               tree alias = (ini ? get_name_constant (jcf, ini) : NULL_TREE);
429               set_class_decl_access_flags (acc, decl);
430               DECL_CONTEXT (decl) = outer;
431               DECL_INNER_CLASS_LIST (outer) =
432                 tree_cons (decl, alias, DECL_INNER_CLASS_LIST (outer));
433               CLASS_COMPLETE_P (decl) = 1;
434             }
435         }
436     }
437 }
438
439 static tree
440 give_name_to_class (jcf, i)
441      JCF *jcf;
442      int i;
443 {
444   if (i <= 0 || i >= JPOOL_SIZE (jcf)
445       || JPOOL_TAG (jcf, i) != CONSTANT_Class)
446     abort ();
447   else
448     {
449       tree this_class;
450       int j = JPOOL_USHORT1 (jcf, i);
451       /* verify_constant_pool confirmed that j is a CONSTANT_Utf8. */
452       tree class_name = unmangle_classname (JPOOL_UTF_DATA (jcf, j),
453                                             JPOOL_UTF_LENGTH (jcf, j));
454       this_class = lookup_class (class_name);
455       input_filename = DECL_SOURCE_FILE (TYPE_NAME (this_class));
456       lineno = 0;
457       if (main_input_filename == NULL && jcf == main_jcf)
458         main_input_filename = input_filename;
459
460       jcf->cpool.data[i] = (jword) this_class;
461       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
462       return this_class;
463     }
464 }
465
466 /* Get the class of the CONSTANT_Class whose constant pool index is I. */
467
468 tree
469 get_class_constant (JCF *jcf , int i)
470 {
471   tree type;
472   if (i <= 0 || i >= JPOOL_SIZE (jcf)
473       || (JPOOL_TAG (jcf, i) & ~CONSTANT_ResolvedFlag) != CONSTANT_Class)
474     abort ();
475
476   if (JPOOL_TAG (jcf, i) != CONSTANT_ResolvedClass)
477     {
478       int name_index = JPOOL_USHORT1 (jcf, i);
479       /* verify_constant_pool confirmed that name_index is a CONSTANT_Utf8. */
480       const char *name = JPOOL_UTF_DATA (jcf, name_index);
481       int nlength = JPOOL_UTF_LENGTH (jcf, name_index);
482
483       if (name[0] == '[')  /* Handle array "classes". */
484           type = TREE_TYPE (parse_signature_string (name, nlength));
485       else
486         { 
487           tree cname = unmangle_classname (name, nlength);
488           type = lookup_class (cname);
489         }
490       jcf->cpool.data[i] = (jword) type;
491       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
492     }
493   else
494     type = (tree) jcf->cpool.data[i];
495   return type;
496 }
497
498 /* Read a class with the fully qualified-name NAME.
499    Return 1 iff we read the requested file.
500    (It is still possible we failed if the file did not
501    define the class it is supposed to.) */
502
503 int
504 read_class (name)
505      tree name;
506 {
507   JCF this_jcf, *jcf;
508   tree icv, class = NULL_TREE;
509   tree save_current_class = current_class;
510   const char *save_input_filename = input_filename;
511   JCF *save_current_jcf = current_jcf;
512
513   if ((icv = IDENTIFIER_CLASS_VALUE (name)) != NULL_TREE)
514     {
515       class = TREE_TYPE (icv);
516       jcf = TYPE_JCF (class);
517     }
518   else
519     jcf = NULL;
520
521   if (jcf == NULL)
522     {
523       this_jcf.zipd = NULL;
524       jcf = &this_jcf;
525       if (find_class (IDENTIFIER_POINTER (name), IDENTIFIER_LENGTH (name),
526                       &this_jcf, 1) == 0)
527         return 0;
528     }
529
530   current_jcf = jcf;
531
532   if (current_jcf->java_source)
533     {
534       const char *filename = current_jcf->filename;
535       tree file;
536       FILE *finput;
537       int generate;
538
539       java_parser_context_save_global ();
540       java_push_parser_context ();
541       BUILD_FILENAME_IDENTIFIER_NODE (file, filename);
542       generate = IS_A_COMMAND_LINE_FILENAME_P (file);
543       if (wfl_operator == NULL_TREE)
544         wfl_operator = build_expr_wfl (NULL_TREE, NULL, 0, 0);
545       EXPR_WFL_FILENAME_NODE (wfl_operator) = file;
546       input_filename = ggc_strdup (filename);
547       current_class = NULL_TREE;
548       current_function_decl = NULL_TREE;
549       if (!HAS_BEEN_ALREADY_PARSED_P (file))
550         {
551           if (!(finput = fopen (input_filename, "r")))
552             fatal_io_error ("can't reopen %s", input_filename);
553           parse_source_file_1 (file, finput);
554           parse_source_file_2 ();
555           if (fclose (finput))
556             fatal_io_error ("can't close %s", input_filename);
557         }
558       JCF_FINISH (current_jcf);
559       java_pop_parser_context (generate);
560       java_parser_context_restore_global ();
561     }
562   else
563     {
564       if (class == NULL_TREE || ! CLASS_PARSED_P (class))
565         {
566           java_parser_context_save_global ();
567           java_push_parser_context ();
568           current_class = class;
569           input_filename = current_jcf->filename;
570           if (JCF_SEEN_IN_ZIP (current_jcf))
571             read_zip_member(current_jcf,
572                             current_jcf->zipd, current_jcf->zipd->zipf);
573           jcf_parse (current_jcf);
574           class = current_class;
575           java_pop_parser_context (0);
576           java_parser_context_restore_global ();
577         }
578       layout_class (class);
579       load_inner_classes (class);
580     }
581
582   current_class = save_current_class;
583   input_filename = save_input_filename;
584   current_jcf = save_current_jcf;
585   return 1;
586 }
587
588 /* Load CLASS_OR_NAME. CLASS_OR_NAME can be a mere identifier if
589    called from the parser, otherwise it's a RECORD_TYPE node. If
590    VERBOSE is 1, print error message on failure to load a class. */
591
592 /* Replace calls to load_class by having callers call read_class directly
593    - and then perhaps rename read_class to load_class.  FIXME */
594
595 void
596 load_class (class_or_name, verbose)
597      tree class_or_name;
598      int verbose;
599 {
600   tree name, saved;
601   int class_loaded;
602
603   /* class_or_name can be the name of the class we want to load */
604   if (TREE_CODE (class_or_name) == IDENTIFIER_NODE)
605     name = class_or_name;
606   /* In some cases, it's a dependency that we process earlier that
607      we though */
608   else if (TREE_CODE (class_or_name) == TREE_LIST)
609     name = TYPE_NAME (TREE_PURPOSE (class_or_name));
610   /* Or it's a type in the making */
611   else
612     name = DECL_NAME (TYPE_NAME (class_or_name));
613
614   saved = name;
615   while (1)
616     {
617       char *separator;
618
619       if ((class_loaded = read_class (name)))
620         break;
621
622       /* We failed loading name. Now consider that we might be looking
623          for a inner class. */
624       if ((separator = strrchr (IDENTIFIER_POINTER (name), '$'))
625           || (separator = strrchr (IDENTIFIER_POINTER (name), '.')))
626         {
627           int c = *separator;
628           *separator = '\0';
629           name = get_identifier (IDENTIFIER_POINTER (name));
630           *separator = c;
631         }
632       /* Otherwise, we failed, we bail. */
633       else
634         break;
635     }
636
637   if (!class_loaded && verbose)
638     error ("cannot find file for class %s", IDENTIFIER_POINTER (saved));
639 }
640
641 /* Parse the .class file JCF. */
642
643 void
644 jcf_parse (jcf)
645      JCF* jcf;
646 {
647   int i, code;
648
649   if (jcf_parse_preamble (jcf) != 0)
650     fatal_error ("not a valid Java .class file");
651   code = jcf_parse_constant_pool (jcf);
652   if (code != 0)
653     fatal_error ("error while parsing constant pool");
654   code = verify_constant_pool (jcf);
655   if (code > 0)
656     fatal_error ("error in constant pool entry #%d\n", code);
657
658   jcf_parse_class (jcf);
659   if (main_class == NULL_TREE)
660     main_class = current_class;
661   if (! quiet_flag && TYPE_NAME (current_class))
662     fprintf (stderr, " %s %s",
663              (jcf->access_flags & ACC_INTERFACE) ? "interface" : "class", 
664              IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))));
665   if (CLASS_PARSED_P (current_class))
666     {
667       /* FIXME - where was first time */
668       fatal_error ("reading class %s for the second time from %s",
669                    IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))),
670                    jcf->filename);
671     }
672   CLASS_PARSED_P (current_class) = 1;
673
674   for (i = 1; i < JPOOL_SIZE(jcf); i++)
675     {
676       switch (JPOOL_TAG (jcf, i))
677         {
678         case CONSTANT_Class:
679           get_class_constant (jcf, i);
680           break;
681         }
682     }
683   
684   code = jcf_parse_fields (jcf);
685   if (code != 0)
686     fatal_error ("error while parsing fields");
687   code = jcf_parse_methods (jcf);
688   if (code != 0)
689     fatal_error ("error while parsing methods");
690   code = jcf_parse_final_attributes (jcf);
691   if (code != 0)
692     fatal_error ("error while parsing final attributes");
693
694   /* The fields of class_type_node are already in correct order. */
695   if (current_class != class_type_node && current_class != object_type_node)
696     TYPE_FIELDS (current_class) = nreverse (TYPE_FIELDS (current_class));
697
698   if (current_class == object_type_node)
699     {
700       layout_class_methods (object_type_node);
701       /* If we don't have the right archive, emit a verbose warning.
702          If we're generating bytecode, emit the warning only if
703          -fforce-classes-archive-check was specified. */
704       if (!jcf->right_zip
705           && (!flag_emit_class_files || flag_force_classes_archive_check))
706         fatal_error ("the `java.lang.Object' that was found in `%s' didn't have the special zero-length `gnu.gcj.gcj-compiled' attribute.  This generally means that your classpath is incorrectly set.  Use `info gcj \"Input Options\"' to see the info page describing how to set the classpath", jcf->filename);
707     }
708   else
709     all_class_list = tree_cons (NULL_TREE,
710                                 TYPE_NAME (current_class), all_class_list );
711 }
712
713 /* If we came across inner classes, load them now. */
714 static void
715 load_inner_classes (cur_class)
716      tree cur_class;
717 {
718   tree current;
719   for (current = DECL_INNER_CLASS_LIST (TYPE_NAME (cur_class)); current;
720        current = TREE_CHAIN (current))
721     {
722       tree name = DECL_NAME (TREE_PURPOSE (current));
723       tree decl = IDENTIFIER_GLOBAL_VALUE (name);
724       if (decl && ! CLASS_LOADED_P (TREE_TYPE (decl))
725           && !CLASS_BEING_LAIDOUT (TREE_TYPE (decl)))
726         load_class (name, 1);
727     }
728 }
729
730 void
731 init_outgoing_cpool ()
732 {
733   current_constant_pool_data_ref = NULL_TREE;
734   outgoing_cpool = (struct CPool *)xmalloc (sizeof (struct CPool));
735   memset (outgoing_cpool, 0, sizeof (struct CPool));
736 }
737
738 static void
739 parse_class_file ()
740 {
741   tree method, field;
742   const char *save_input_filename = input_filename;
743   int save_lineno = lineno;
744
745   java_layout_seen_class_methods ();
746
747   input_filename = DECL_SOURCE_FILE (TYPE_NAME (current_class));
748   lineno = 0;
749   (*debug_hooks->start_source_file) (lineno, input_filename);
750   init_outgoing_cpool ();
751
752   /* Currently we always have to emit calls to _Jv_InitClass when
753      compiling from class files.  */
754   always_initialize_class_p = 1;
755
756   for (field = TYPE_FIELDS (CLASS_TO_HANDLE_TYPE (current_class));
757        field != NULL_TREE; field = TREE_CHAIN (field))
758     if (FIELD_STATIC (field))
759       DECL_EXTERNAL (field) = 0;
760
761   for (method = TYPE_METHODS (CLASS_TO_HANDLE_TYPE (current_class));
762        method != NULL_TREE; method = TREE_CHAIN (method))
763     {
764       JCF *jcf = current_jcf;
765
766       if (METHOD_ABSTRACT (method))
767         continue;
768
769       if (METHOD_NATIVE (method))
770         {
771           tree arg;
772           int  decl_max_locals;
773
774           if (! flag_jni)
775             continue;
776           /* We need to compute the DECL_MAX_LOCALS. We need to take
777              the wide types into account too. */
778           for (arg = TYPE_ARG_TYPES (TREE_TYPE (method)), decl_max_locals = 0; 
779                arg != end_params_node;
780                arg = TREE_CHAIN (arg), decl_max_locals += 1)
781             {
782               if (TREE_VALUE (arg) && TYPE_IS_WIDE (TREE_VALUE (arg)))
783                 decl_max_locals += 1;
784             }
785           DECL_MAX_LOCALS (method) = decl_max_locals;
786           start_java_method (method);
787           give_name_to_locals (jcf);
788           expand_expr_stmt (build_jni_stub (method));
789           end_java_method ();
790           continue;
791         }
792
793       if (DECL_CODE_OFFSET (method) == 0)
794         {
795           current_function_decl = method;
796           error ("missing Code attribute");
797           continue;
798         }
799
800       lineno = 0;
801       if (DECL_LINENUMBERS_OFFSET (method))
802         {
803           register int i;
804           register unsigned char *ptr;
805           JCF_SEEK (jcf, DECL_LINENUMBERS_OFFSET (method));
806           linenumber_count = i = JCF_readu2 (jcf);
807           linenumber_table = ptr = jcf->read_ptr;
808
809           for (ptr += 2; --i >= 0; ptr += 4)
810             {
811               int line = GET_u2 (ptr);
812               /* Set initial lineno lineno to smallest linenumber.
813                * Needs to be set before init_function_start. */
814               if (lineno == 0 || line < lineno)
815                 lineno = line;
816             }  
817         }
818       else
819         {
820           linenumber_table = NULL;
821           linenumber_count = 0;
822         }
823
824       start_java_method (method);
825
826       note_instructions (jcf, method);
827
828       give_name_to_locals (jcf);
829
830       /* Actually generate code. */
831       expand_byte_code (jcf, method);
832
833       end_java_method ();
834     }
835
836   if (flag_emit_class_files)
837     write_classfile (current_class);
838
839   finish_class ();
840
841   (*debug_hooks->end_source_file) (save_lineno);
842   input_filename = save_input_filename;
843   lineno = save_lineno;
844 }
845
846 /* Parse a source file, as pointed by the current value of INPUT_FILENAME. */
847
848 static void
849 parse_source_file_1 (file, finput)
850      tree file;
851      FILE *finput;
852 {
853   int save_error_count = java_error_count;
854   /* Mark the file as parsed */
855   HAS_BEEN_ALREADY_PARSED_P (file) = 1;
856
857   jcf_dependency_add_file (input_filename, 0);
858
859   lang_init_source (1);             /* Error msgs have no method prototypes */
860
861   /* There's no point in trying to find the current encoding unless we
862      are going to do something intelligent with it -- hence the test
863      for iconv.  */
864 #if defined (HAVE_LOCALE_H) && defined (HAVE_ICONV) && defined (HAVE_NL_LANGINFO)
865   setlocale (LC_CTYPE, "");
866   if (current_encoding == NULL)
867     current_encoding = nl_langinfo (CODESET);
868 #endif 
869   if (current_encoding == NULL || *current_encoding == '\0')
870     current_encoding = DEFAULT_ENCODING;
871
872   /* Initialize the parser */
873   java_init_lex (finput, current_encoding);
874   java_parse_abort_on_error ();
875
876   java_parse ();                    /* Parse and build partial tree nodes. */
877   java_parse_abort_on_error ();
878 }
879
880 /* Process a parsed source file, resolving names etc. */
881
882 static void
883 parse_source_file_2 ()
884 {
885   int save_error_count = java_error_count;
886   java_complete_class ();           /* Parse unsatisfied class decl. */
887   java_parse_abort_on_error ();
888   java_check_circular_reference (); /* Check on circular references */
889   java_parse_abort_on_error ();
890   java_fix_constructors ();         /* Fix the constructors */
891   java_parse_abort_on_error ();
892   java_reorder_fields ();           /* Reorder the fields */
893 }
894
895 void
896 add_predefined_file (name)
897      tree name;
898 {
899   predef_filenames = tree_cons (NULL_TREE, name, predef_filenames);
900 }
901
902 int
903 predefined_filename_p (node)
904      tree node;
905 {
906   tree iter;
907
908   for (iter = predef_filenames; iter != NULL_TREE; iter = TREE_CHAIN (iter))
909     {
910       if (TREE_VALUE (iter) == node)
911         return 1;
912     }
913   return 0;
914 }
915
916 int
917 yyparse ()
918 {
919   int filename_count = 0;
920   char *list, *next;
921   tree node;
922   FILE *finput = NULL;
923
924   if (flag_filelist_file)
925     {
926       int avail = 2000;
927       finput = fopen (input_filename, "r");
928       if (finput == NULL)
929         fatal_io_error ("can't open %s", input_filename);
930       list = xmalloc(avail);
931       next = list;
932       for (;;)
933         {
934           int count;
935           if (avail < 500)
936             {
937               count = next - list;
938               avail = 2 * (count + avail);
939               list = xrealloc (list, avail);
940               next = list + count;
941               avail = avail - count;
942             }
943           /* Subtract to to guarantee space for final '\0'. */
944           count = fread (next, 1, avail - 1, finput);
945           if (count == 0)
946             {
947               if (! feof (finput))
948                 fatal_io_error ("error closing %s", input_filename);
949               *next = '\0';
950               break;
951             }
952           avail -= count;
953           next += count;
954         }
955       fclose (finput);
956       finput = NULL;
957     }
958   else
959     list = xstrdup (input_filename);
960
961   do 
962     {
963       for (next = list; ; )
964         {
965           char ch = *next;
966           if (ch == '\n' || ch == '\r' || ch == '\t' || ch == ' '
967               || ch == '&' /* FIXME */)
968             {
969               if (next == list)
970                 {
971                   next++;
972                   list = next;
973                   continue;
974                 }
975               else
976                 {
977                   *next++ = '\0';
978                   break;
979                 }
980             }
981           if (ch == '\0')
982             {
983               next = NULL;
984               break;
985             }
986           next++;
987         }
988
989       if (list[0]) 
990         {
991           char *value;
992           tree id;
993           int twice = 0;
994
995           int len = strlen (list);
996
997           if (*list != '/' && filename_count > 0)
998             obstack_grow (&temporary_obstack, "./", 2);
999
1000           obstack_grow0 (&temporary_obstack, list, len);
1001           value = obstack_finish (&temporary_obstack);
1002
1003           filename_count++;
1004
1005           /* Exclude file that we see twice on the command line. For
1006              all files except {Class,Error,Object,RuntimeException,String,
1007              Throwable}.java we can rely on maybe_get_identifier. For
1008              these files, we need to do a linear search of
1009              current_file_list. This search happens only for these
1010              files, presumably only when we're recompiling libgcj. */
1011              
1012           if ((id = maybe_get_identifier (value)))
1013             {
1014               if (predefined_filename_p (id))
1015                 {
1016                   tree c;
1017                   for (c = current_file_list; c; c = TREE_CHAIN (c))
1018                     if (TREE_VALUE (c) == id)
1019                       twice = 1;
1020                 }
1021               else
1022                 twice = 1;
1023             }
1024
1025           if (twice)
1026             {
1027               const char *saved_input_filename = input_filename;
1028               input_filename = value;
1029               warning ("source file seen twice on command line and will be compiled only once");
1030               input_filename = saved_input_filename;
1031             }
1032           else
1033             {
1034               BUILD_FILENAME_IDENTIFIER_NODE (node, value);
1035               IS_A_COMMAND_LINE_FILENAME_P (node) = 1;
1036               current_file_list = tree_cons (NULL_TREE, node, 
1037                                              current_file_list);
1038             }
1039         }
1040       list = next;
1041     }
1042   while (next);
1043
1044   if (filename_count == 0)
1045     warning ("no input file specified");
1046
1047   if (resource_name)
1048     {
1049       const char *resource_filename;
1050       
1051       /* Only one resource file may be compiled at a time.  */
1052       assert (TREE_CHAIN (current_file_list) == NULL);
1053
1054       resource_filename = IDENTIFIER_POINTER (TREE_VALUE (current_file_list));
1055       compile_resource_file (resource_name, resource_filename);
1056       
1057       java_expand_classes ();
1058       if (!java_report_errors ())
1059         emit_register_classes ();
1060       return 0;
1061     }
1062
1063   current_jcf = main_jcf;
1064   current_file_list = nreverse (current_file_list);
1065   for (node = current_file_list; node; node = TREE_CHAIN (node))
1066     {
1067       unsigned char magic_string[4];
1068       uint32 magic = 0;
1069       tree name = TREE_VALUE (node);
1070
1071       /* Skip already parsed files */
1072       if (HAS_BEEN_ALREADY_PARSED_P (name))
1073         continue;
1074       
1075       /* Close previous descriptor, if any */
1076       if (finput && fclose (finput))
1077         fatal_io_error ("can't close input file %s", main_input_filename);
1078       
1079       finput = fopen (IDENTIFIER_POINTER (name), "rb");
1080       if (finput == NULL)
1081         fatal_io_error ("can't open %s", IDENTIFIER_POINTER (name));
1082       
1083 #ifdef IO_BUFFER_SIZE
1084       setvbuf (finput, (char *) xmalloc (IO_BUFFER_SIZE),
1085                _IOFBF, IO_BUFFER_SIZE);
1086 #endif
1087       input_filename = IDENTIFIER_POINTER (name);
1088
1089       /* Figure what kind of file we're dealing with */
1090       if (fread (magic_string, 1, 4, finput) == 4)
1091         {
1092           fseek (finput, 0L, SEEK_SET);
1093           magic = GET_u4 (magic_string);
1094         }
1095       if (magic == 0xcafebabe)
1096         {
1097           CLASS_FILE_P (node) = 1;
1098           current_jcf = ALLOC (sizeof (JCF));
1099           JCF_ZERO (current_jcf);
1100           current_jcf->read_state = finput;
1101           current_jcf->filbuf = jcf_filbuf_from_stdio;
1102           jcf_parse (current_jcf);
1103           TYPE_JCF (current_class) = current_jcf;
1104           CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
1105           TREE_PURPOSE (node) = current_class;
1106         }
1107       else if (magic == (JCF_u4)ZIPMAGIC)
1108         {
1109           ZIP_FILE_P (node) = 1;
1110           JCF_ZERO (main_jcf);
1111           main_jcf->read_state = finput;
1112           main_jcf->filbuf = jcf_filbuf_from_stdio;
1113           if (open_in_zip (main_jcf, input_filename, NULL, 0) <  0)
1114             fatal_error ("bad zip/jar file %s", IDENTIFIER_POINTER (name));
1115           localToFile = SeenZipFiles;
1116           /* Register all the class defined there.  */
1117           process_zip_dir (main_jcf->read_state);
1118           parse_zip_file_entries ();
1119           /*
1120           for (each entry)
1121             CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
1122           */
1123         }
1124       else
1125         {
1126           JAVA_FILE_P (node) = 1;
1127           java_push_parser_context ();
1128           java_parser_context_save_global ();
1129           parse_source_file_1 (name, finput);
1130           java_parser_context_restore_global ();
1131           java_pop_parser_context (1);
1132         }
1133     }
1134
1135   for (ctxp = ctxp_for_generation;  ctxp;  ctxp = ctxp->next)
1136     {
1137       input_filename = ctxp->filename;
1138       parse_source_file_2 ();
1139     }
1140   for (node = current_file_list; node; node = TREE_CHAIN (node))
1141     {
1142       input_filename = IDENTIFIER_POINTER (TREE_VALUE (node));
1143       if (CLASS_FILE_P (node))
1144         {
1145           current_class = TREE_PURPOSE (node);
1146           current_jcf = TYPE_JCF (current_class);
1147           layout_class (current_class);
1148           load_inner_classes (current_class);
1149           parse_class_file ();
1150           JCF_FINISH (current_jcf);
1151         }
1152     }
1153   input_filename = main_input_filename;
1154
1155   java_expand_classes ();
1156   if (!java_report_errors () && !flag_syntax_only)
1157     {
1158       emit_register_classes ();
1159       if (flag_indirect_dispatch)
1160         emit_offset_symbol_table ();
1161     }
1162   return 0;
1163 }
1164
1165 /* Process all class entries found in the zip file.  */
1166 static void
1167 parse_zip_file_entries (void)
1168 {
1169   struct ZipDirectory *zdir;
1170   int i;
1171
1172   for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
1173        i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
1174     {
1175       tree class;
1176       
1177       /* We don't need to consider those files.  */
1178       if (!zdir->size || !zdir->filename_offset)
1179         continue;
1180
1181       class = lookup_class (get_identifier (ZIPDIR_FILENAME (zdir)));
1182       current_jcf = TYPE_JCF (class);
1183       current_class = class;
1184
1185       if ( !CLASS_LOADED_P (class))
1186         {
1187           if (! CLASS_PARSED_P (class))
1188             {
1189               read_zip_member(current_jcf, zdir, localToFile);
1190               jcf_parse (current_jcf);
1191             }
1192           layout_class (current_class);
1193           load_inner_classes (current_class);
1194         }
1195
1196       if (TYPE_SIZE (current_class) != error_mark_node)
1197         {
1198           input_filename = current_jcf->filename;
1199           parse_class_file ();
1200           FREE (current_jcf->buffer); /* No longer necessary */
1201           /* Note: there is a way to free this buffer right after a
1202              class seen in a zip file has been parsed. The idea is the
1203              set its jcf in such a way that buffer will be reallocated
1204              the time the code for the class will be generated. FIXME. */
1205         }
1206     }
1207 }
1208
1209 /* Read all the entries of the zip file, creates a class and a JCF. Sets the
1210    jcf up for further processing and link it to the created class.  */
1211
1212 static void
1213 process_zip_dir (FILE *finput)
1214 {
1215   int i;
1216   ZipDirectory *zdir;
1217
1218   for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
1219        i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
1220     {
1221       char *class_name, *file_name, *class_name_in_zip_dir;
1222       tree class;
1223       JCF  *jcf;
1224       int   j;
1225
1226       class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
1227
1228       /* We choose to not to process entries with a zero size or entries
1229          not bearing the .class extension.  */
1230       if (!zdir->size || !zdir->filename_offset ||
1231           strncmp (&class_name_in_zip_dir[zdir->filename_length-6], 
1232                    ".class", 6))
1233         {
1234           /* So it will be skipped in parse_zip_file_entries  */
1235           zdir->size = 0;  
1236           continue;
1237         }
1238
1239       class_name = ALLOC (zdir->filename_length+1-6);
1240       file_name  = ALLOC (zdir->filename_length+1);
1241       jcf = ALLOC (sizeof (JCF));
1242       JCF_ZERO (jcf);
1243
1244       strncpy (class_name, class_name_in_zip_dir, zdir->filename_length-6);
1245       class_name [zdir->filename_length-6] = '\0';
1246       strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
1247       file_name [zdir->filename_length] = '\0';
1248
1249       for (j=0; class_name[j]; j++)
1250         class_name [j] = (class_name [j] == '/' ? '.' : class_name [j]);
1251
1252       /* Yes, we write back the true class name into the zip directory.  */
1253       strcpy (class_name_in_zip_dir, class_name);
1254       zdir->filename_length = j;
1255       class = lookup_class (get_identifier (class_name));
1256
1257       jcf->read_state  = finput;
1258       jcf->filbuf      = jcf_filbuf_from_stdio;
1259       jcf->java_source = 0;
1260       jcf->classname   = class_name;
1261       jcf->filename    = file_name;
1262       jcf->zipd        = zdir;
1263
1264       TYPE_JCF (class) = jcf;
1265     }
1266 }
1267
1268 /* Initialization.  */
1269
1270 void
1271 init_jcf_parse ()
1272 {
1273   /* Register roots with the garbage collector.  */
1274   ggc_add_tree_root (parse_roots, ARRAY_SIZE (parse_roots));
1275
1276   ggc_add_root (&current_jcf, 1, sizeof (JCF), (void (*)(void *))ggc_mark_jcf);
1277
1278   init_src_parse ();
1279 }