1 /* GLIB - Library of useful routines for C programming
2 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald
4 * GScanner: Flexible lexical scanner for general purpose.
5 * Copyright (C) 1997, 1998 Tim Janik
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2 of the License, or (at your option) any later version.
12 * This library 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 GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the
19 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
20 * Boston, MA 02111-1307, USA.
24 * Modified by the GLib Team and others 1997-2000. See the AUTHORS
25 * file for a list of people on the GLib Team. See the ChangeLog
26 * files for a list of changes. These files are distributed with
27 * GLib at ftp://ftp.gtk.org/pub/gtk/.
47 #include "gprintfint.h"
48 #include "gstrfuncs.h"
50 #include "gtestutils.h"
53 #include <io.h> /* For _read() */
57 #define to_lower(c) ( \
59 ( (((guchar)(c))>='A' && ((guchar)(c))<='Z') * ('a'-'A') ) | \
60 ( (((guchar)(c))>=192 && ((guchar)(c))<=214) * (224-192) ) | \
61 ( (((guchar)(c))>=216 && ((guchar)(c))<=222) * (248-216) ) | \
65 #define READ_BUFFER_SIZE (4000)
68 /* --- typedefs --- */
69 typedef struct _GScannerKey GScannerKey
;
79 /* --- variables --- */
80 static const GScannerConfig g_scanner_config_template
=
84 ) /* cset_skip_characters */,
89 ) /* cset_identifier_first */,
97 ) /* cset_identifier_nth */,
98 ( "#\n" ) /* cpair_comment_single */,
100 FALSE
/* case_sensitive */,
102 TRUE
/* skip_comment_multi */,
103 TRUE
/* skip_comment_single */,
104 TRUE
/* scan_comment_multi */,
105 TRUE
/* scan_identifier */,
106 FALSE
/* scan_identifier_1char */,
107 FALSE
/* scan_identifier_NULL */,
108 TRUE
/* scan_symbols */,
109 FALSE
/* scan_binary */,
110 TRUE
/* scan_octal */,
111 TRUE
/* scan_float */,
113 FALSE
/* scan_hex_dollar */,
114 TRUE
/* scan_string_sq */,
115 TRUE
/* scan_string_dq */,
116 TRUE
/* numbers_2_int */,
117 FALSE
/* int_2_float */,
118 FALSE
/* identifier_2_string */,
119 TRUE
/* char_2_token */,
120 FALSE
/* symbol_2_token */,
121 FALSE
/* scope_0_fallback */,
122 FALSE
/* store_int64 */,
126 /* --- prototypes --- */
128 GScannerKey
* g_scanner_lookup_internal (GScanner
*scanner
,
130 const gchar
*symbol
);
131 static gboolean
g_scanner_key_equal (gconstpointer v1
,
133 static guint
g_scanner_key_hash (gconstpointer v
);
134 static void g_scanner_get_token_ll (GScanner
*scanner
,
136 GTokenValue
*value_p
,
139 static void g_scanner_get_token_i (GScanner
*scanner
,
141 GTokenValue
*value_p
,
145 static guchar
g_scanner_peek_next_char (GScanner
*scanner
);
146 static guchar
g_scanner_get_char (GScanner
*scanner
,
149 static void g_scanner_msg_handler (GScanner
*scanner
,
154 /* --- functions --- */
156 g_scanner_char_2_num (guchar c
,
159 if (c
>= '0' && c
<= '9')
161 else if (c
>= 'A' && c
<= 'Z')
163 else if (c
>= 'a' && c
<= 'z')
175 g_scanner_new (const GScannerConfig
*config_templ
)
180 config_templ
= &g_scanner_config_template
;
182 scanner
= g_new0 (GScanner
, 1);
184 scanner
->user_data
= NULL
;
185 scanner
->max_parse_errors
= 1;
186 scanner
->parse_errors
= 0;
187 scanner
->input_name
= NULL
;
188 g_datalist_init (&scanner
->qdata
);
190 scanner
->config
= g_new0 (GScannerConfig
, 1);
192 scanner
->config
->case_sensitive
= config_templ
->case_sensitive
;
193 scanner
->config
->cset_skip_characters
= config_templ
->cset_skip_characters
;
194 if (!scanner
->config
->cset_skip_characters
)
195 scanner
->config
->cset_skip_characters
= "";
196 scanner
->config
->cset_identifier_first
= config_templ
->cset_identifier_first
;
197 scanner
->config
->cset_identifier_nth
= config_templ
->cset_identifier_nth
;
198 scanner
->config
->cpair_comment_single
= config_templ
->cpair_comment_single
;
199 scanner
->config
->skip_comment_multi
= config_templ
->skip_comment_multi
;
200 scanner
->config
->skip_comment_single
= config_templ
->skip_comment_single
;
201 scanner
->config
->scan_comment_multi
= config_templ
->scan_comment_multi
;
202 scanner
->config
->scan_identifier
= config_templ
->scan_identifier
;
203 scanner
->config
->scan_identifier_1char
= config_templ
->scan_identifier_1char
;
204 scanner
->config
->scan_identifier_NULL
= config_templ
->scan_identifier_NULL
;
205 scanner
->config
->scan_symbols
= config_templ
->scan_symbols
;
206 scanner
->config
->scan_binary
= config_templ
->scan_binary
;
207 scanner
->config
->scan_octal
= config_templ
->scan_octal
;
208 scanner
->config
->scan_float
= config_templ
->scan_float
;
209 scanner
->config
->scan_hex
= config_templ
->scan_hex
;
210 scanner
->config
->scan_hex_dollar
= config_templ
->scan_hex_dollar
;
211 scanner
->config
->scan_string_sq
= config_templ
->scan_string_sq
;
212 scanner
->config
->scan_string_dq
= config_templ
->scan_string_dq
;
213 scanner
->config
->numbers_2_int
= config_templ
->numbers_2_int
;
214 scanner
->config
->int_2_float
= config_templ
->int_2_float
;
215 scanner
->config
->identifier_2_string
= config_templ
->identifier_2_string
;
216 scanner
->config
->char_2_token
= config_templ
->char_2_token
;
217 scanner
->config
->symbol_2_token
= config_templ
->symbol_2_token
;
218 scanner
->config
->scope_0_fallback
= config_templ
->scope_0_fallback
;
219 scanner
->config
->store_int64
= config_templ
->store_int64
;
221 scanner
->token
= G_TOKEN_NONE
;
222 scanner
->value
.v_int64
= 0;
224 scanner
->position
= 0;
226 scanner
->next_token
= G_TOKEN_NONE
;
227 scanner
->next_value
.v_int64
= 0;
228 scanner
->next_line
= 1;
229 scanner
->next_position
= 0;
231 scanner
->symbol_table
= g_hash_table_new (g_scanner_key_hash
, g_scanner_key_equal
);
232 scanner
->input_fd
= -1;
233 scanner
->text
= NULL
;
234 scanner
->text_end
= NULL
;
235 scanner
->buffer
= NULL
;
236 scanner
->scope_id
= 0;
238 scanner
->msg_handler
= g_scanner_msg_handler
;
244 g_scanner_free_value (GTokenType
*token_p
,
245 GTokenValue
*value_p
)
250 case G_TOKEN_IDENTIFIER
:
251 case G_TOKEN_IDENTIFIER_NULL
:
252 case G_TOKEN_COMMENT_SINGLE
:
253 case G_TOKEN_COMMENT_MULTI
:
254 g_free (value_p
->v_string
);
261 *token_p
= G_TOKEN_NONE
;
265 g_scanner_destroy_symbol_table_entry (gpointer _key
,
269 GScannerKey
*key
= _key
;
271 g_free (key
->symbol
);
276 g_scanner_destroy (GScanner
*scanner
)
278 g_return_if_fail (scanner
!= NULL
);
280 g_datalist_clear (&scanner
->qdata
);
281 g_hash_table_foreach (scanner
->symbol_table
,
282 g_scanner_destroy_symbol_table_entry
, NULL
);
283 g_hash_table_destroy (scanner
->symbol_table
);
284 g_scanner_free_value (&scanner
->token
, &scanner
->value
);
285 g_scanner_free_value (&scanner
->next_token
, &scanner
->next_value
);
286 g_free (scanner
->config
);
287 g_free (scanner
->buffer
);
292 g_scanner_msg_handler (GScanner
*scanner
,
296 g_return_if_fail (scanner
!= NULL
);
298 _g_fprintf (stderr
, "%s:%d: ",
299 scanner
->input_name
? scanner
->input_name
: "<memory>",
302 _g_fprintf (stderr
, "error: ");
303 _g_fprintf (stderr
, "%s\n", message
);
307 g_scanner_error (GScanner
*scanner
,
311 g_return_if_fail (scanner
!= NULL
);
312 g_return_if_fail (format
!= NULL
);
314 scanner
->parse_errors
++;
316 if (scanner
->msg_handler
)
321 va_start (args
, format
);
322 string
= g_strdup_vprintf (format
, args
);
325 scanner
->msg_handler (scanner
, string
, TRUE
);
332 g_scanner_warn (GScanner
*scanner
,
336 g_return_if_fail (scanner
!= NULL
);
337 g_return_if_fail (format
!= NULL
);
339 if (scanner
->msg_handler
)
344 va_start (args
, format
);
345 string
= g_strdup_vprintf (format
, args
);
348 scanner
->msg_handler (scanner
, string
, FALSE
);
355 g_scanner_key_equal (gconstpointer v1
,
358 const GScannerKey
*key1
= v1
;
359 const GScannerKey
*key2
= v2
;
361 return (key1
->scope_id
== key2
->scope_id
) && (strcmp (key1
->symbol
, key2
->symbol
) == 0);
365 g_scanner_key_hash (gconstpointer v
)
367 const GScannerKey
*key
= v
;
372 for (c
= key
->symbol
; *c
; c
++)
373 h
= (h
<< 5) - h
+ *c
;
378 static inline GScannerKey
*
379 g_scanner_lookup_internal (GScanner
*scanner
,
386 key
.scope_id
= scope_id
;
388 if (!scanner
->config
->case_sensitive
)
393 key
.symbol
= g_new (gchar
, strlen (symbol
) + 1);
394 for (d
= key
.symbol
, c
= symbol
; *c
; c
++, d
++)
397 key_p
= g_hash_table_lookup (scanner
->symbol_table
, &key
);
402 key
.symbol
= (gchar
*) symbol
;
403 key_p
= g_hash_table_lookup (scanner
->symbol_table
, &key
);
410 g_scanner_scope_add_symbol (GScanner
*scanner
,
417 g_return_if_fail (scanner
!= NULL
);
418 g_return_if_fail (symbol
!= NULL
);
420 key
= g_scanner_lookup_internal (scanner
, scope_id
, symbol
);
424 key
= g_new (GScannerKey
, 1);
425 key
->scope_id
= scope_id
;
426 key
->symbol
= g_strdup (symbol
);
428 if (!scanner
->config
->case_sensitive
)
439 g_hash_table_insert (scanner
->symbol_table
, key
, key
);
446 g_scanner_scope_remove_symbol (GScanner
*scanner
,
452 g_return_if_fail (scanner
!= NULL
);
453 g_return_if_fail (symbol
!= NULL
);
455 key
= g_scanner_lookup_internal (scanner
, scope_id
, symbol
);
459 g_hash_table_remove (scanner
->symbol_table
, key
);
460 g_free (key
->symbol
);
466 g_scanner_lookup_symbol (GScanner
*scanner
,
472 g_return_val_if_fail (scanner
!= NULL
, NULL
);
477 scope_id
= scanner
->scope_id
;
478 key
= g_scanner_lookup_internal (scanner
, scope_id
, symbol
);
479 if (!key
&& scope_id
&& scanner
->config
->scope_0_fallback
)
480 key
= g_scanner_lookup_internal (scanner
, 0, symbol
);
489 g_scanner_scope_lookup_symbol (GScanner
*scanner
,
495 g_return_val_if_fail (scanner
!= NULL
, NULL
);
500 key
= g_scanner_lookup_internal (scanner
, scope_id
, symbol
);
509 g_scanner_set_scope (GScanner
*scanner
,
514 g_return_val_if_fail (scanner
!= NULL
, 0);
516 old_scope_id
= scanner
->scope_id
;
517 scanner
->scope_id
= scope_id
;
523 g_scanner_foreach_internal (gpointer _key
,
534 func
= (GHFunc
) d
[0];
539 if (key
->scope_id
== *scope_id
)
540 func (key
->symbol
, key
->value
, user_data
);
544 g_scanner_scope_foreach_symbol (GScanner
*scanner
,
551 g_return_if_fail (scanner
!= NULL
);
553 d
[0] = (gpointer
) func
;
557 g_hash_table_foreach (scanner
->symbol_table
, g_scanner_foreach_internal
, d
);
561 g_scanner_peek_next_token (GScanner
*scanner
)
563 g_return_val_if_fail (scanner
!= NULL
, G_TOKEN_EOF
);
565 if (scanner
->next_token
== G_TOKEN_NONE
)
567 scanner
->next_line
= scanner
->line
;
568 scanner
->next_position
= scanner
->position
;
569 g_scanner_get_token_i (scanner
,
570 &scanner
->next_token
,
571 &scanner
->next_value
,
573 &scanner
->next_position
);
576 return scanner
->next_token
;
580 g_scanner_get_next_token (GScanner
*scanner
)
582 g_return_val_if_fail (scanner
!= NULL
, G_TOKEN_EOF
);
584 if (scanner
->next_token
!= G_TOKEN_NONE
)
586 g_scanner_free_value (&scanner
->token
, &scanner
->value
);
588 scanner
->token
= scanner
->next_token
;
589 scanner
->value
= scanner
->next_value
;
590 scanner
->line
= scanner
->next_line
;
591 scanner
->position
= scanner
->next_position
;
592 scanner
->next_token
= G_TOKEN_NONE
;
595 g_scanner_get_token_i (scanner
,
601 return scanner
->token
;
605 g_scanner_cur_token (GScanner
*scanner
)
607 g_return_val_if_fail (scanner
!= NULL
, G_TOKEN_EOF
);
609 return scanner
->token
;
613 g_scanner_cur_value (GScanner
*scanner
)
619 g_return_val_if_fail (scanner
!= NULL
, v
);
621 /* MSC isn't capable of handling return scanner->value; ? */
629 g_scanner_cur_line (GScanner
*scanner
)
631 g_return_val_if_fail (scanner
!= NULL
, 0);
633 return scanner
->line
;
637 g_scanner_cur_position (GScanner
*scanner
)
639 g_return_val_if_fail (scanner
!= NULL
, 0);
641 return scanner
->position
;
645 g_scanner_eof (GScanner
*scanner
)
647 g_return_val_if_fail (scanner
!= NULL
, TRUE
);
649 return scanner
->token
== G_TOKEN_EOF
|| scanner
->token
== G_TOKEN_ERROR
;
653 g_scanner_input_file (GScanner
*scanner
,
656 g_return_if_fail (scanner
!= NULL
);
657 g_return_if_fail (input_fd
>= 0);
659 if (scanner
->input_fd
>= 0)
660 g_scanner_sync_file_offset (scanner
);
662 scanner
->token
= G_TOKEN_NONE
;
663 scanner
->value
.v_int64
= 0;
665 scanner
->position
= 0;
666 scanner
->next_token
= G_TOKEN_NONE
;
668 scanner
->input_fd
= input_fd
;
669 scanner
->text
= NULL
;
670 scanner
->text_end
= NULL
;
672 if (!scanner
->buffer
)
673 scanner
->buffer
= g_new (gchar
, READ_BUFFER_SIZE
+ 1);
677 g_scanner_input_text (GScanner
*scanner
,
681 g_return_if_fail (scanner
!= NULL
);
683 g_return_if_fail (text
!= NULL
);
687 if (scanner
->input_fd
>= 0)
688 g_scanner_sync_file_offset (scanner
);
690 scanner
->token
= G_TOKEN_NONE
;
691 scanner
->value
.v_int64
= 0;
693 scanner
->position
= 0;
694 scanner
->next_token
= G_TOKEN_NONE
;
696 scanner
->input_fd
= -1;
697 scanner
->text
= text
;
698 scanner
->text_end
= text
+ text_len
;
702 g_free (scanner
->buffer
);
703 scanner
->buffer
= NULL
;
708 g_scanner_peek_next_char (GScanner
*scanner
)
710 if (scanner
->text
< scanner
->text_end
)
712 return *scanner
->text
;
714 else if (scanner
->input_fd
>= 0)
719 buffer
= scanner
->buffer
;
722 count
= read (scanner
->input_fd
, buffer
, READ_BUFFER_SIZE
);
724 while (count
== -1 && (errno
== EINTR
|| errno
== EAGAIN
));
728 scanner
->input_fd
= -1;
734 scanner
->text
= buffer
;
735 scanner
->text_end
= buffer
+ count
;
745 g_scanner_sync_file_offset (GScanner
*scanner
)
747 g_return_if_fail (scanner
!= NULL
);
749 /* for file input, rewind the filedescriptor to the current
750 * buffer position and blow the file read ahead buffer. useful
751 * for third party uses of our file descriptor, which hooks
752 * onto the current scanning position.
755 if (scanner
->input_fd
>= 0 && scanner
->text_end
> scanner
->text
)
759 buffered
= scanner
->text_end
- scanner
->text
;
760 if (lseek (scanner
->input_fd
, - buffered
, SEEK_CUR
) >= 0)
762 /* we succeeded, blow our buffer's contents now */
763 scanner
->text
= NULL
;
764 scanner
->text_end
= NULL
;
772 g_scanner_get_char (GScanner
*scanner
,
778 if (scanner
->text
< scanner
->text_end
)
779 fchar
= *(scanner
->text
++);
780 else if (scanner
->input_fd
>= 0)
785 buffer
= scanner
->buffer
;
788 count
= read (scanner
->input_fd
, buffer
, READ_BUFFER_SIZE
);
790 while (count
== -1 && (errno
== EINTR
|| errno
== EAGAIN
));
794 scanner
->input_fd
= -1;
799 scanner
->text
= buffer
+ 1;
800 scanner
->text_end
= buffer
+ count
;
804 g_scanner_sync_file_offset (scanner
);
805 scanner
->text_end
= scanner
->text
;
806 scanner
->input_fd
= -1;
827 g_scanner_unexp_token (GScanner
*scanner
,
828 GTokenType expected_token
,
829 const gchar
*identifier_spec
,
830 const gchar
*symbol_spec
,
831 const gchar
*symbol_name
,
832 const gchar
*message
,
836 guint token_string_len
;
837 gchar
*expected_string
;
838 guint expected_string_len
;
839 gchar
*message_prefix
;
840 gboolean print_unexp
;
841 void (*msg_handler
) (GScanner
*, const gchar
*, ...);
843 g_return_if_fail (scanner
!= NULL
);
846 msg_handler
= g_scanner_error
;
848 msg_handler
= g_scanner_warn
;
850 if (!identifier_spec
)
851 identifier_spec
= "identifier";
853 symbol_spec
= "symbol";
855 token_string_len
= 56;
856 token_string
= g_new (gchar
, token_string_len
+ 1);
857 expected_string_len
= 64;
858 expected_string
= g_new (gchar
, expected_string_len
+ 1);
861 switch (scanner
->token
)
864 _g_snprintf (token_string
, token_string_len
, "end of file");
868 if (scanner
->token
>= 1 && scanner
->token
<= 255)
870 if ((scanner
->token
>= ' ' && scanner
->token
<= '~') ||
871 strchr (scanner
->config
->cset_identifier_first
, scanner
->token
) ||
872 strchr (scanner
->config
->cset_identifier_nth
, scanner
->token
))
873 _g_snprintf (token_string
, token_string_len
, "character `%c'", scanner
->token
);
875 _g_snprintf (token_string
, token_string_len
, "character `\\%o'", scanner
->token
);
878 else if (!scanner
->config
->symbol_2_token
)
880 _g_snprintf (token_string
, token_string_len
, "(unknown) token <%d>", scanner
->token
);
885 if (expected_token
== G_TOKEN_SYMBOL
||
886 (scanner
->config
->symbol_2_token
&&
887 expected_token
> G_TOKEN_LAST
))
890 _g_snprintf (token_string
,
893 print_unexp
? "" : "invalid ",
897 _g_snprintf (token_string
,
900 print_unexp
? "" : "invalid ",
906 expected_token
= G_TOKEN_NONE
;
907 switch (scanner
->value
.v_error
)
909 case G_ERR_UNEXP_EOF
:
910 _g_snprintf (token_string
, token_string_len
, "scanner: unexpected end of file");
913 case G_ERR_UNEXP_EOF_IN_STRING
:
914 _g_snprintf (token_string
, token_string_len
, "scanner: unterminated string constant");
917 case G_ERR_UNEXP_EOF_IN_COMMENT
:
918 _g_snprintf (token_string
, token_string_len
, "scanner: unterminated comment");
921 case G_ERR_NON_DIGIT_IN_CONST
:
922 _g_snprintf (token_string
, token_string_len
, "scanner: non digit in constant");
925 case G_ERR_FLOAT_RADIX
:
926 _g_snprintf (token_string
, token_string_len
, "scanner: invalid radix for floating constant");
929 case G_ERR_FLOAT_MALFORMED
:
930 _g_snprintf (token_string
, token_string_len
, "scanner: malformed floating constant");
933 case G_ERR_DIGIT_RADIX
:
934 _g_snprintf (token_string
, token_string_len
, "scanner: digit is beyond radix");
939 _g_snprintf (token_string
, token_string_len
, "scanner: unknown error");
945 _g_snprintf (token_string
, token_string_len
, "character `%c'", scanner
->value
.v_char
);
948 case G_TOKEN_IDENTIFIER
:
949 case G_TOKEN_IDENTIFIER_NULL
:
950 if (expected_token
== G_TOKEN_IDENTIFIER
||
951 expected_token
== G_TOKEN_IDENTIFIER_NULL
)
953 _g_snprintf (token_string
,
956 print_unexp
? "" : "invalid ",
958 scanner
->token
== G_TOKEN_IDENTIFIER
? scanner
->value
.v_string
: "null");
965 if (scanner
->config
->store_int64
)
966 _g_snprintf (token_string
, token_string_len
, "number `%" G_GUINT64_FORMAT
"'", scanner
->value
.v_int64
);
968 _g_snprintf (token_string
, token_string_len
, "number `%lu'", scanner
->value
.v_int
);
972 _g_snprintf (token_string
, token_string_len
, "number `%.3f'", scanner
->value
.v_float
);
976 if (expected_token
== G_TOKEN_STRING
)
978 _g_snprintf (token_string
,
980 "%s%sstring constant \"%s\"",
981 print_unexp
? "" : "invalid ",
982 scanner
->value
.v_string
[0] == 0 ? "empty " : "",
983 scanner
->value
.v_string
);
984 token_string
[token_string_len
- 2] = '"';
985 token_string
[token_string_len
- 1] = 0;
988 case G_TOKEN_COMMENT_SINGLE
:
989 case G_TOKEN_COMMENT_MULTI
:
990 _g_snprintf (token_string
, token_string_len
, "comment");
994 /* somehow the user's parsing code is screwed, there isn't much
995 * we can do about it.
996 * Note, a common case to trigger this is
997 * g_scanner_peek_next_token(); g_scanner_unexp_token();
998 * without an intermediate g_scanner_get_next_token().
1000 g_assert_not_reached ();
1005 switch (expected_token
)
1007 gboolean need_valid
;
1010 _g_snprintf (expected_string
, expected_string_len
, "end of file");
1013 if (expected_token
>= 1 && expected_token
<= 255)
1015 if ((expected_token
>= ' ' && expected_token
<= '~') ||
1016 strchr (scanner
->config
->cset_identifier_first
, expected_token
) ||
1017 strchr (scanner
->config
->cset_identifier_nth
, expected_token
))
1018 _g_snprintf (expected_string
, expected_string_len
, "character `%c'", expected_token
);
1020 _g_snprintf (expected_string
, expected_string_len
, "character `\\%o'", expected_token
);
1023 else if (!scanner
->config
->symbol_2_token
)
1025 _g_snprintf (expected_string
, expected_string_len
, "(unknown) token <%d>", expected_token
);
1029 case G_TOKEN_SYMBOL
:
1030 need_valid
= (scanner
->token
== G_TOKEN_SYMBOL
||
1031 (scanner
->config
->symbol_2_token
&&
1032 scanner
->token
> G_TOKEN_LAST
));
1033 _g_snprintf (expected_string
,
1034 expected_string_len
,
1036 need_valid
? "valid " : "",
1038 /* FIXME: should we attempt to lookup the symbol_name for symbol_2_token? */
1041 _g_snprintf (expected_string
, expected_string_len
, "%scharacter",
1042 scanner
->token
== G_TOKEN_CHAR
? "valid " : "");
1044 case G_TOKEN_BINARY
:
1046 _g_snprintf (expected_string
, expected_string_len
, "%snumber (%s)",
1047 scanner
->token
== expected_token
? "valid " : "", tstring
);
1051 _g_snprintf (expected_string
, expected_string_len
, "%snumber (%s)",
1052 scanner
->token
== expected_token
? "valid " : "", tstring
);
1055 tstring
= "integer";
1056 _g_snprintf (expected_string
, expected_string_len
, "%snumber (%s)",
1057 scanner
->token
== expected_token
? "valid " : "", tstring
);
1060 tstring
= "hexadecimal";
1061 _g_snprintf (expected_string
, expected_string_len
, "%snumber (%s)",
1062 scanner
->token
== expected_token
? "valid " : "", tstring
);
1066 _g_snprintf (expected_string
, expected_string_len
, "%snumber (%s)",
1067 scanner
->token
== expected_token
? "valid " : "", tstring
);
1069 case G_TOKEN_STRING
:
1070 _g_snprintf (expected_string
,
1071 expected_string_len
,
1072 "%sstring constant",
1073 scanner
->token
== G_TOKEN_STRING
? "valid " : "");
1075 case G_TOKEN_IDENTIFIER
:
1076 case G_TOKEN_IDENTIFIER_NULL
:
1077 need_valid
= (scanner
->token
== G_TOKEN_IDENTIFIER_NULL
||
1078 scanner
->token
== G_TOKEN_IDENTIFIER
);
1079 _g_snprintf (expected_string
,
1080 expected_string_len
,
1082 need_valid
? "valid " : "",
1085 case G_TOKEN_COMMENT_SINGLE
:
1086 tstring
= "single-line";
1087 _g_snprintf (expected_string
, expected_string_len
, "%scomment (%s)",
1088 scanner
->token
== expected_token
? "valid " : "", tstring
);
1090 case G_TOKEN_COMMENT_MULTI
:
1091 tstring
= "multi-line";
1092 _g_snprintf (expected_string
, expected_string_len
, "%scomment (%s)",
1093 scanner
->token
== expected_token
? "valid " : "", tstring
);
1097 /* this is handled upon printout */
1101 if (message
&& message
[0] != 0)
1102 message_prefix
= " - ";
1105 message_prefix
= "";
1108 if (expected_token
== G_TOKEN_ERROR
)
1110 msg_handler (scanner
,
1111 "failure around %s%s%s",
1116 else if (expected_token
== G_TOKEN_NONE
)
1119 msg_handler (scanner
,
1120 "unexpected %s%s%s",
1125 msg_handler (scanner
,
1134 msg_handler (scanner
,
1135 "unexpected %s, expected %s%s%s",
1141 msg_handler (scanner
,
1142 "%s, expected %s%s%s",
1149 g_free (token_string
);
1150 g_free (expected_string
);
1154 g_scanner_get_token_i (GScanner
*scanner
,
1155 GTokenType
*token_p
,
1156 GTokenValue
*value_p
,
1162 g_scanner_free_value (token_p
, value_p
);
1163 g_scanner_get_token_ll (scanner
, token_p
, value_p
, line_p
, position_p
);
1165 while (((*token_p
> 0 && *token_p
< 256) &&
1166 strchr (scanner
->config
->cset_skip_characters
, *token_p
)) ||
1167 (*token_p
== G_TOKEN_CHAR
&&
1168 strchr (scanner
->config
->cset_skip_characters
, value_p
->v_char
)) ||
1169 (*token_p
== G_TOKEN_COMMENT_MULTI
&&
1170 scanner
->config
->skip_comment_multi
) ||
1171 (*token_p
== G_TOKEN_COMMENT_SINGLE
&&
1172 scanner
->config
->skip_comment_single
));
1176 case G_TOKEN_IDENTIFIER
:
1177 if (scanner
->config
->identifier_2_string
)
1178 *token_p
= G_TOKEN_STRING
;
1181 case G_TOKEN_SYMBOL
:
1182 if (scanner
->config
->symbol_2_token
)
1183 *token_p
= (GTokenType
) value_p
->v_symbol
;
1186 case G_TOKEN_BINARY
:
1189 if (scanner
->config
->numbers_2_int
)
1190 *token_p
= G_TOKEN_INT
;
1197 if (*token_p
== G_TOKEN_INT
&&
1198 scanner
->config
->int_2_float
)
1200 *token_p
= G_TOKEN_FLOAT
;
1201 if (scanner
->config
->store_int64
)
1204 /* work around error C2520, see gvaluetransform.c */
1205 value_p
->v_float
= (__int64
)value_p
->v_int64
;
1207 value_p
->v_float
= value_p
->v_int64
;
1211 value_p
->v_float
= value_p
->v_int
;
1218 g_scanner_get_token_ll (GScanner
*scanner
,
1219 GTokenType
*token_p
,
1220 GTokenValue
*value_p
,
1224 GScannerConfig
*config
;
1226 gboolean in_comment_multi
;
1227 gboolean in_comment_single
;
1228 gboolean in_string_sq
;
1229 gboolean in_string_dq
;
1234 config
= scanner
->config
;
1235 (*value_p
).v_int64
= 0;
1237 if ((scanner
->text
>= scanner
->text_end
&& scanner
->input_fd
< 0) ||
1238 scanner
->token
== G_TOKEN_EOF
)
1240 *token_p
= G_TOKEN_EOF
;
1244 in_comment_multi
= FALSE
;
1245 in_comment_single
= FALSE
;
1246 in_string_sq
= FALSE
;
1247 in_string_dq
= FALSE
;
1250 do /* while (ch != 0) */
1252 gboolean dotted_float
= FALSE
;
1254 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1257 token
= G_TOKEN_NONE
;
1259 /* this is *evil*, but needed ;(
1260 * we first check for identifier first character, because it
1261 * might interfere with other key chars like slashes or numbers
1263 if (config
->scan_identifier
&&
1264 ch
&& strchr (config
->cset_identifier_first
, ch
))
1265 goto identifier_precedence
;
1270 token
= G_TOKEN_EOF
;
1276 if (!config
->scan_comment_multi
||
1277 g_scanner_peek_next_char (scanner
) != '*')
1279 g_scanner_get_char (scanner
, line_p
, position_p
);
1280 token
= G_TOKEN_COMMENT_MULTI
;
1281 in_comment_multi
= TRUE
;
1282 gstring
= g_string_new (NULL
);
1283 while ((ch
= g_scanner_get_char (scanner
, line_p
, position_p
)) != 0)
1285 if (ch
== '*' && g_scanner_peek_next_char (scanner
) == '/')
1287 g_scanner_get_char (scanner
, line_p
, position_p
);
1288 in_comment_multi
= FALSE
;
1292 gstring
= g_string_append_c (gstring
, ch
);
1298 if (!config
->scan_string_sq
)
1300 token
= G_TOKEN_STRING
;
1301 in_string_sq
= TRUE
;
1302 gstring
= g_string_new (NULL
);
1303 while ((ch
= g_scanner_get_char (scanner
, line_p
, position_p
)) != 0)
1307 in_string_sq
= FALSE
;
1311 gstring
= g_string_append_c (gstring
, ch
);
1317 if (!config
->scan_string_dq
)
1319 token
= G_TOKEN_STRING
;
1320 in_string_dq
= TRUE
;
1321 gstring
= g_string_new (NULL
);
1322 while ((ch
= g_scanner_get_char (scanner
, line_p
, position_p
)) != 0)
1326 in_string_dq
= FALSE
;
1333 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1343 gstring
= g_string_append_c (gstring
, '\\');
1347 gstring
= g_string_append_c (gstring
, '\n');
1351 gstring
= g_string_append_c (gstring
, '\t');
1355 gstring
= g_string_append_c (gstring
, '\r');
1359 gstring
= g_string_append_c (gstring
, '\b');
1363 gstring
= g_string_append_c (gstring
, '\f');
1375 fchar
= g_scanner_peek_next_char (scanner
);
1376 if (fchar
>= '0' && fchar
<= '7')
1378 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1379 i
= i
* 8 + ch
- '0';
1380 fchar
= g_scanner_peek_next_char (scanner
);
1381 if (fchar
>= '0' && fchar
<= '7')
1383 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1384 i
= i
* 8 + ch
- '0';
1387 gstring
= g_string_append_c (gstring
, i
);
1391 gstring
= g_string_append_c (gstring
, ch
);
1396 gstring
= g_string_append_c (gstring
, ch
);
1403 if (!config
->scan_float
)
1405 token
= G_TOKEN_FLOAT
;
1406 dotted_float
= TRUE
;
1407 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1408 goto number_parsing
;
1411 if (!config
->scan_hex_dollar
)
1413 token
= G_TOKEN_HEX
;
1414 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1415 goto number_parsing
;
1418 if (config
->scan_octal
)
1419 token
= G_TOKEN_OCTAL
;
1421 token
= G_TOKEN_INT
;
1422 ch
= g_scanner_peek_next_char (scanner
);
1423 if (config
->scan_hex
&& (ch
== 'x' || ch
== 'X'))
1425 token
= G_TOKEN_HEX
;
1426 g_scanner_get_char (scanner
, line_p
, position_p
);
1427 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1430 token
= G_TOKEN_ERROR
;
1431 value
.v_error
= G_ERR_UNEXP_EOF
;
1435 if (g_scanner_char_2_num (ch
, 16) < 0)
1437 token
= G_TOKEN_ERROR
;
1438 value
.v_error
= G_ERR_DIGIT_RADIX
;
1443 else if (config
->scan_binary
&& (ch
== 'b' || ch
== 'B'))
1445 token
= G_TOKEN_BINARY
;
1446 g_scanner_get_char (scanner
, line_p
, position_p
);
1447 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1450 token
= G_TOKEN_ERROR
;
1451 value
.v_error
= G_ERR_UNEXP_EOF
;
1455 if (g_scanner_char_2_num (ch
, 10) < 0)
1457 token
= G_TOKEN_ERROR
;
1458 value
.v_error
= G_ERR_NON_DIGIT_IN_CONST
;
1477 gboolean in_number
= TRUE
;
1480 if (token
== G_TOKEN_NONE
)
1481 token
= G_TOKEN_INT
;
1483 gstring
= g_string_new (dotted_float
? "0." : "");
1484 gstring
= g_string_append_c (gstring
, ch
);
1486 do /* while (in_number) */
1490 is_E
= token
== G_TOKEN_FLOAT
&& (ch
== 'e' || ch
== 'E');
1492 ch
= g_scanner_peek_next_char (scanner
);
1494 if (g_scanner_char_2_num (ch
, 36) >= 0 ||
1495 (config
->scan_float
&& ch
== '.') ||
1496 (is_E
&& (ch
== '+' || ch
== '-')))
1498 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1503 if (token
!= G_TOKEN_INT
&& token
!= G_TOKEN_OCTAL
)
1505 value
.v_error
= token
== G_TOKEN_FLOAT
? G_ERR_FLOAT_MALFORMED
: G_ERR_FLOAT_RADIX
;
1506 token
= G_TOKEN_ERROR
;
1511 token
= G_TOKEN_FLOAT
;
1512 gstring
= g_string_append_c (gstring
, ch
);
1526 gstring
= g_string_append_c (gstring
, ch
);
1531 if (token
!= G_TOKEN_FLOAT
)
1533 token
= G_TOKEN_ERROR
;
1534 value
.v_error
= G_ERR_NON_DIGIT_IN_CONST
;
1538 gstring
= g_string_append_c (gstring
, ch
);
1543 if ((token
!= G_TOKEN_HEX
&& !config
->scan_float
) ||
1544 (token
!= G_TOKEN_HEX
&&
1545 token
!= G_TOKEN_OCTAL
&&
1546 token
!= G_TOKEN_FLOAT
&&
1547 token
!= G_TOKEN_INT
))
1549 token
= G_TOKEN_ERROR
;
1550 value
.v_error
= G_ERR_NON_DIGIT_IN_CONST
;
1555 if (token
!= G_TOKEN_HEX
)
1556 token
= G_TOKEN_FLOAT
;
1557 gstring
= g_string_append_c (gstring
, ch
);
1562 if (token
!= G_TOKEN_HEX
)
1564 token
= G_TOKEN_ERROR
;
1565 value
.v_error
= G_ERR_NON_DIGIT_IN_CONST
;
1569 gstring
= g_string_append_c (gstring
, ch
);
1579 if (token
== G_TOKEN_FLOAT
)
1580 value
.v_float
= g_strtod (gstring
->str
, &endptr
);
1586 case G_TOKEN_BINARY
:
1587 ui64
= g_ascii_strtoull (gstring
->str
, &endptr
, 2);
1590 ui64
= g_ascii_strtoull (gstring
->str
, &endptr
, 8);
1593 ui64
= g_ascii_strtoull (gstring
->str
, &endptr
, 10);
1596 ui64
= g_ascii_strtoull (gstring
->str
, &endptr
, 16);
1600 if (scanner
->config
->store_int64
)
1601 value
.v_int64
= ui64
;
1605 if (endptr
&& *endptr
)
1607 token
= G_TOKEN_ERROR
;
1608 if (*endptr
== 'e' || *endptr
== 'E')
1609 value
.v_error
= G_ERR_NON_DIGIT_IN_CONST
;
1611 value
.v_error
= G_ERR_DIGIT_RADIX
;
1613 g_string_free (gstring
, TRUE
);
1616 } /* number_parsing:... */
1622 if (config
->cpair_comment_single
&&
1623 ch
== config
->cpair_comment_single
[0])
1625 token
= G_TOKEN_COMMENT_SINGLE
;
1626 in_comment_single
= TRUE
;
1627 gstring
= g_string_new (NULL
);
1628 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1631 if (ch
== config
->cpair_comment_single
[1])
1633 in_comment_single
= FALSE
;
1638 gstring
= g_string_append_c (gstring
, ch
);
1639 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1641 /* ignore a missing newline at EOF for single line comments */
1642 if (in_comment_single
&&
1643 config
->cpair_comment_single
[1] == '\n')
1644 in_comment_single
= FALSE
;
1646 else if (config
->scan_identifier
&& ch
&&
1647 strchr (config
->cset_identifier_first
, ch
))
1649 identifier_precedence
:
1651 if (config
->cset_identifier_nth
&& ch
&&
1652 strchr (config
->cset_identifier_nth
,
1653 g_scanner_peek_next_char (scanner
)))
1655 token
= G_TOKEN_IDENTIFIER
;
1656 gstring
= g_string_new (NULL
);
1657 gstring
= g_string_append_c (gstring
, ch
);
1660 ch
= g_scanner_get_char (scanner
, line_p
, position_p
);
1661 gstring
= g_string_append_c (gstring
, ch
);
1662 ch
= g_scanner_peek_next_char (scanner
);
1664 while (ch
&& strchr (config
->cset_identifier_nth
, ch
));
1667 else if (config
->scan_identifier_1char
)
1669 token
= G_TOKEN_IDENTIFIER
;
1670 value
.v_identifier
= g_new0 (gchar
, 2);
1671 value
.v_identifier
[0] = ch
;
1677 if (config
->char_2_token
)
1681 token
= G_TOKEN_CHAR
;
1686 } /* default_case:... */
1689 g_assert (ch
== 0 && token
!= G_TOKEN_NONE
); /* paranoid */
1693 if (in_comment_multi
|| in_comment_single
||
1694 in_string_sq
|| in_string_dq
)
1696 token
= G_TOKEN_ERROR
;
1699 g_string_free (gstring
, TRUE
);
1703 if (in_comment_multi
|| in_comment_single
)
1704 value
.v_error
= G_ERR_UNEXP_EOF_IN_COMMENT
;
1705 else /* (in_string_sq || in_string_dq) */
1706 value
.v_error
= G_ERR_UNEXP_EOF_IN_STRING
;
1711 value
.v_string
= g_string_free (gstring
, FALSE
);
1715 if (token
== G_TOKEN_IDENTIFIER
)
1717 if (config
->scan_symbols
)
1722 scope_id
= scanner
->scope_id
;
1723 key
= g_scanner_lookup_internal (scanner
, scope_id
, value
.v_identifier
);
1724 if (!key
&& scope_id
&& scanner
->config
->scope_0_fallback
)
1725 key
= g_scanner_lookup_internal (scanner
, 0, value
.v_identifier
);
1729 g_free (value
.v_identifier
);
1730 token
= G_TOKEN_SYMBOL
;
1731 value
.v_symbol
= key
->value
;
1735 if (token
== G_TOKEN_IDENTIFIER
&&
1736 config
->scan_identifier_NULL
&&
1737 strlen (value
.v_identifier
) == 4)
1739 gchar
*null_upper
= "NULL";
1740 gchar
*null_lower
= "null";
1742 if (scanner
->config
->case_sensitive
)
1744 if (value
.v_identifier
[0] == null_upper
[0] &&
1745 value
.v_identifier
[1] == null_upper
[1] &&
1746 value
.v_identifier
[2] == null_upper
[2] &&
1747 value
.v_identifier
[3] == null_upper
[3])
1748 token
= G_TOKEN_IDENTIFIER_NULL
;
1752 if ((value
.v_identifier
[0] == null_upper
[0] ||
1753 value
.v_identifier
[0] == null_lower
[0]) &&
1754 (value
.v_identifier
[1] == null_upper
[1] ||
1755 value
.v_identifier
[1] == null_lower
[1]) &&
1756 (value
.v_identifier
[2] == null_upper
[2] ||
1757 value
.v_identifier
[2] == null_lower
[2]) &&
1758 (value
.v_identifier
[3] == null_upper
[3] ||
1759 value
.v_identifier
[3] == null_lower
[3]))
1760 token
= G_TOKEN_IDENTIFIER_NULL
;