?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Warn when using result variable with incompatible type to prepare possible
[vala-lang.git] / vala / valagenieparser.vala
blobd057779bef6791a52790d4268d05cae9aa289bef
1 /* valagenieparser.vala
2 *
3 * Copyright (C) 2008 Jamie McCracken, Jürg Billeter
4 * Based on code by Jürg Billeter
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
10
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
19 *
20 * Author:
21 * Jamie McCracken jamiemcc gnome org
22 */
23
24 using GLib;
25 using Gee;
26
27
28 /**
29 * Code visitor parsing all Genie source files.
30 */
31 public class Vala.Genie.Parser : CodeVisitor {
32 Scanner scanner;
33
34 CodeContext context;
35
36 // token buffer
37 TokenInfo[] tokens;
38 // index of current token in buffer
39 int index;
40 // number of tokens in buffer
41 int size;
42
43 string comment;
44
45 string class_name;
46
47 /* hack needed to know if any part of an expression is a lambda one */
48 bool current_expr_is_lambda;
49
50 const int BUFFER_SIZE = 32;
51
52 struct TokenInfo {
53 public TokenType type;
54 public SourceLocation begin;
55 public SourceLocation end;
56 }
57
58 enum ModifierFlags {
59 NONE,
60 ABSTRACT = 1 << 0,
61 CLASS = 1 << 1,
62 EXTERN = 1 << 2,
63 INLINE = 1 << 3,
64 OVERRIDE = 1 << 4,
65 STATIC = 1 << 5,
66 VIRTUAL = 1 << 6,
67 PRIVATE = 1 << 7
68 }
69
70 public Parser () {
71 tokens = new TokenInfo[BUFFER_SIZE];
72 class_name = null;
73 current_expr_is_lambda = false;
74 }
75
76 /**
77 * Parses all .gs source files in the specified code context and
78 * builds a code tree.
79 *
80 * @param context a code context
81 */
82 public void parse (CodeContext context) {
83 this.context = context;
84 context.accept (this);
85 }
86
87 public override void visit_source_file (SourceFile source_file) {
88 if (source_file.filename.has_suffix (".gs")) {
89 parse_file (source_file);
90 }
91 }
92
93 inline bool next () {
94 index = (index + 1) % BUFFER_SIZE;
95 size--;
96 if (size <= 0) {
97 SourceLocation begin, end;
98 TokenType type = scanner.read_token (out begin, out end);
99 tokens[index].type = type;
100 tokens[index].begin = begin;
101 tokens[index].end = end;
102 size = 1;
103 }
104 return (tokens[index].type != TokenType.EOF);
105 }
106
107 inline void prev () {
108 index = (index - 1 + BUFFER_SIZE) % BUFFER_SIZE;
109 size++;
110 assert (size <= BUFFER_SIZE);
111 }
112
113 inline TokenType current () {
114 return tokens[index].type;
115 }
116
117 inline bool accept (TokenType type) {
118 if (current () == type) {
119 next ();
120 return true;
121 }
122 return false;
123 }
124
125 inline bool accept_terminator () {
126 if (current () == TokenType.SEMICOLON || current () == TokenType.EOL) {
127 next ();
128 return true;
129 }
130 return false;
131 }
132
133 inline bool accept_block () {
134
135 bool has_term = accept_terminator ();
136
137 if (accept (TokenType.INDENT)) {
138 prev();
139 return true;
140 }
141
142 if (has_term) {
143 prev ();
144 }
145
146 return false;
147 }
148
149 string get_error (string msg) {
150 var begin = get_location ();
151 next ();
152 Report.error (get_src (begin), "syntax error, " + msg);
153 return msg;
154 }
155
156 inline bool expect (TokenType type) throws ParseError {
157 if (accept (type)) {
158 return true;
159 }
160
161 TokenType cur = current ();
162 TokenType pre = tokens[index - 1].type;
163
164 throw new ParseError.SYNTAX (get_error ("expected %s but got %s with previous %s".printf (type.to_string (), cur.to_string (), pre.to_string())));
165 }
166
167 inline bool expect_terminator () throws ParseError {
168 if (accept_terminator ()) {
169 return true;
170 }
171
172 TokenType cur = current ();
173
174 throw new ParseError.SYNTAX (get_error ("expected line end or semicolon but got %s".printf (cur.to_string())));
175 }
176
177 inline SourceLocation get_location () {
178 return tokens[index].begin;
179 }
180
181 string get_last_string () {
182 int last_index = (index + BUFFER_SIZE - 1) % BUFFER_SIZE;
183 return ((string) tokens[last_index].begin.pos).ndup ((tokens[last_index].end.pos - tokens[last_index].begin.pos));
184 }
185
186 SourceReference get_src (SourceLocation begin) {
187 int last_index = (index + BUFFER_SIZE - 1) % BUFFER_SIZE;
188
189 return new SourceReference (scanner.source_file, begin.line, begin.column, tokens[last_index].end.line, tokens[last_index].end.column);
190 }
191
192 SourceReference get_src_com (SourceLocation begin) {
193 int last_index = (index + BUFFER_SIZE - 1) % BUFFER_SIZE;
194
195 var src = new SourceReference.with_comment (scanner.source_file, begin.line, begin.column, tokens[last_index].end.line, tokens[last_index].end.column, comment);
196 comment = null;
197 return src;
198 }
199
200 SourceReference get_current_src () {
201 return new SourceReference (scanner.source_file, tokens[index].begin.line, tokens[index].begin.column, tokens[index].end.line, tokens[index].end.column);
202 }
203
204 void rollback (SourceLocation location) {
205 while (tokens[index].begin.pos != location.pos) {
206 prev ();
207 }
208 }
209
210 inline SymbolAccessibility get_access (string s) {
211 if (s[0] == '_') {
212 return SymbolAccessibility.PRIVATE;
213 }
214
215 return SymbolAccessibility.PUBLIC;
216 }
217
218 void skip_identifier () throws ParseError {
219 // also accept keywords as identifiers where there is no conflict
220 switch (current ()) {
221 case TokenType.ABSTRACT:
222 case TokenType.AS:
223 case TokenType.ASSERT:
224 case TokenType.BREAK:
225 case TokenType.CLASS:
226 case TokenType.CONST:
227 case TokenType.CONTINUE:
228 case TokenType.DEDENT:
229 case TokenType.DEF:
230 case TokenType.DEFAULT:
231 case TokenType.DELEGATE:
232 case TokenType.DELETE:
233 case TokenType.DO:
234 case TokenType.DOWNTO:
235 case TokenType.DYNAMIC:
236 case TokenType.ELSE:
237 case TokenType.EOL:
238 case TokenType.ENUM:
239 case TokenType.ENSURES:
240 case TokenType.ERRORDOMAIN:
241 case TokenType.EVENT:
242 case TokenType.EXCEPT:
243 case TokenType.EXTERN:
244 case TokenType.FALSE:
245 case TokenType.FINAL:
246 case TokenType.FINALLY:
247 case TokenType.FOR:
248 case TokenType.GET:
249 case TokenType.IDENTIFIER:
250 case TokenType.IF:
251 case TokenType.IN:
252 case TokenType.INDENT:
253 case TokenType.INIT:
254 case TokenType.INLINE:
255 case TokenType.INTERFACE:
256 case TokenType.IS:
257 case TokenType.ISA:
258 case TokenType.LOCK:
259 case TokenType.NAMESPACE:
260 case TokenType.NEW:
261 case TokenType.NULL:
262 case TokenType.OF:
263 case TokenType.OUT:
264 case TokenType.OVERRIDE:
265 case TokenType.PASS:
266 case TokenType.PRINT:
267 case TokenType.PRIVATE:
268 case TokenType.PROP:
269 case TokenType.RAISE:
270 case TokenType.RAISES:
271 case TokenType.REF:
272 case TokenType.REQUIRES:
273 case TokenType.RETURN:
274 case TokenType.SET:
275 case TokenType.SIZEOF:
276 case TokenType.STATIC:
277 case TokenType.STRUCT:
278 case TokenType.SUPER:
279 case TokenType.THIS:
280 case TokenType.TO:
281 case TokenType.TRUE:
282 case TokenType.TRY:
283 case TokenType.TYPEOF:
284 case TokenType.USES:
285 case TokenType.VAR:
286 case TokenType.VIRTUAL:
287 case TokenType.VOID:
288 case TokenType.VOLATILE:
289 case TokenType.WEAK:
290 case TokenType.WHEN:
291 case TokenType.WHILE:
292 next ();
293 return;
294 default:
295 throw new ParseError.SYNTAX (get_error ("expected identifier"));
296 }
297 }
298
299 string parse_identifier () throws ParseError {
300 skip_identifier ();
301 return get_last_string ();
302 }
303
304 Expression parse_literal () throws ParseError {
305 var begin = get_location ();
306
307 switch (current ()) {
308 case TokenType.TRUE:
309 next ();
310 return new BooleanLiteral (true, get_src (begin));
311 case TokenType.FALSE:
312 next ();
313 return new BooleanLiteral (false, get_src (begin));
314 case TokenType.INTEGER_LITERAL:
315 next ();
316 return new IntegerLiteral (get_last_string (), get_src (begin));
317 case TokenType.REAL_LITERAL:
318 next ();
319 return new RealLiteral (get_last_string (), get_src (begin));
320 case TokenType.CHARACTER_LITERAL:
321 next ();
322 return new CharacterLiteral (get_last_string (), get_src (begin));
323 case TokenType.STRING_LITERAL:
324 next ();
325 return new StringLiteral (get_last_string (), get_src (begin));
326 case TokenType.NULL:
327 next ();
328 return new NullLiteral (get_src (begin));
329 default:
330 throw new ParseError.SYNTAX (get_error ("expected literal"));
331 }
332 }
333
334 public void parse_file (SourceFile source_file) {
335 scanner = new Scanner (source_file);
336 scanner.indent_spaces = 0;
337 index = -1;
338 size = 0;
339
340 next ();
341
342 try {
343 var begin = get_location ();
344 /* see if there is an indent attribute */
345 if (accept (TokenType.OPEN_BRACKET)) {
346 var id = parse_identifier ();
347 if (id == "indent") {
348 expect (TokenType.ASSIGN);
349 expect (TokenType.INTEGER_LITERAL);
350 scanner.indent_spaces = get_last_string().to_int();
351 expect (TokenType.CLOSE_BRACKET);
352 expect (TokenType.EOL);
353 } else {
354 rollback (begin);
355 }
356 }
357
358 parse_using_directives ();
359 parse_declarations (context.root, true);
360 } catch (ParseError e) {
361 // already reported
362 }
363
364 scanner = null;
365 }
366
367 void skip_symbol_name () throws ParseError {
368 do {
369 skip_identifier ();
370 } while (accept (TokenType.DOT));
371 }
372
373 UnresolvedSymbol parse_symbol_name () throws ParseError {
374 var begin = get_location ();
375 UnresolvedSymbol sym = null;
376 do {
377 string name = parse_identifier ();
378 sym = new UnresolvedSymbol (sym, name, get_src (begin));
379 } while (accept (TokenType.DOT));
380 return sym;
381 }
382
383 void skip_type () throws ParseError {
384 if (accept (TokenType.VOID)) {
385 while (accept (TokenType.STAR)) {
386 }
387 return;
388 }
389 accept (TokenType.DYNAMIC);
390
391 accept (TokenType.WEAK);
392
393 if (accept (TokenType.ARRAY) || accept (TokenType.LIST) || accept (TokenType.DICT)) {
394 accept (TokenType.OF);
395 }
396
397 skip_symbol_name ();
398 skip_type_argument_list ();
399 while (accept (TokenType.OPEN_BRACKET)) {
400 do {
401 if (current () != TokenType.COMMA && current () != TokenType.CLOSE_BRACKET) {
402 parse_expression ();
403 }
404 } while (accept (TokenType.COMMA));
405 expect (TokenType.CLOSE_BRACKET);
406 }
407 accept (TokenType.OP_NEG);
408 accept (TokenType.INTERR);
409 accept (TokenType.HASH);
410 }
411
412 DataType parse_type (bool owned_by_default = true) throws ParseError {
413 var begin = get_location ();
414
415 if (accept (TokenType.VOID)) {
416 DataType type = new VoidType ();
417 while (accept (TokenType.STAR)) {
418 type = new PointerType (type);
419 }
420 return type;
421 }
422
423 Gee.List<DataType> type_arg_list = null;
424 UnresolvedSymbol sym = null;
425
426 bool is_dynamic = accept (TokenType.DYNAMIC);
427 bool value_owned = owned_by_default;
428 if (owned_by_default) {
429 value_owned = !accept (TokenType.WEAK);
430 }
431
432 /* handle arrays */
433 bool is_array = false;
434
435 if (accept (TokenType.ARRAY)) {
436 expect (TokenType.OF);
437 is_array = true;
438 }
439
440 /* handle lists */
441 bool is_list = false;
442
443 if (accept (TokenType.LIST)) {
444 expect (TokenType.OF);
445 prev ();
446 is_list = true;
447 }
448
449 /* handle dicts */
450 bool is_dict = false;
451
452 if (accept (TokenType.DICT)) {
453 expect (TokenType.OF);
454 prev ();
455 is_dict = true;
456 }
457
458 if (is_list) {
459 var sym_parent = new UnresolvedSymbol (null, "Gee", get_src (begin));
460 sym = new UnresolvedSymbol (sym_parent, "ArrayList", get_src (begin));
461 } else if (is_dict) {
462 var sym_parent = new UnresolvedSymbol (null, "Gee", get_src (begin));
463 sym = new UnresolvedSymbol (sym_parent, "HashMap", get_src (begin));
464 } else {
465 sym = parse_symbol_name ();
466 }
467
468 type_arg_list = parse_type_argument_list (false);
469
470 DataType type = new UnresolvedType.from_symbol (sym, get_src (begin));
471 if (type_arg_list != null) {
472 foreach (DataType type_arg in type_arg_list) {
473 type.add_type_argument (type_arg);
474 }
475 }
476
477 while (accept (TokenType.STAR)) {
478 type = new PointerType (type, get_src (begin));
479 }
480
481 if (!(type is PointerType)) {
482 type.nullable = accept (TokenType.INTERR);
483 }
484
485 if (is_array) {
486
487 if (!accept (TokenType.OPEN_BRACKET)) {
488 type.value_owned = true;
489 type = new ArrayType (type, 1, get_src (begin));
490 type.nullable = accept (TokenType.INTERR);
491
492 } else {
493 prev ();
494
495 while (accept (TokenType.OPEN_BRACKET)) {
496 int array_rank = 0;
497 do {
498 array_rank++;
499 // support for stack-allocated arrays
500 // also required for decision between expression and declaration statement
501 if (current () != TokenType.COMMA && current () != TokenType.CLOSE_BRACKET) {
502 parse_expression ();
503 }
504 }
505 while (accept (TokenType.COMMA));
506 expect (TokenType.CLOSE_BRACKET);
507
508 type.value_owned = true;
509 type = new ArrayType (type, array_rank, get_src (begin));
510 type.nullable = accept (TokenType.INTERR);
511 }
512 }
513 }
514
515 if (!owned_by_default) {
516 value_owned = accept (TokenType.HASH);
517 }
518
519 type.is_dynamic = is_dynamic;
520 type.value_owned = value_owned;
521 return type;
522 }
523
524 Gee.List<Expression> parse_argument_list () throws ParseError {
525 var list = new ArrayList<Expression> ();
526 if (current () != TokenType.CLOSE_PARENS) {
527 do {
528 list.add (parse_expression ());
529 } while (accept (TokenType.COMMA));
530 }
531 return list;
532 }
533
534 Expression parse_primary_expression () throws ParseError {
535 var begin = get_location ();
536
537 Expression expr;
538
539 switch (current ()) {
540 case TokenType.TRUE:
541 case TokenType.FALSE:
542 case TokenType.INTEGER_LITERAL:
543 case TokenType.REAL_LITERAL:
544 case TokenType.CHARACTER_LITERAL:
545 case TokenType.STRING_LITERAL:
546 case TokenType.NULL:
547 expr = parse_literal ();
548 break;
549 case TokenType.ASSERT:
550 return parse_assert_expression ();
551 case TokenType.OPEN_PARENS:
552 expr = parse_tuple ();
553 break;
554 case TokenType.THIS:
555 expr = parse_this_access ();
556 break;
557 case TokenType.SUPER:
558 expr = parse_base_access ();
559 break;
560 case TokenType.NEW:
561 expr = parse_object_or_array_creation_expression ();
562 break;
563 case TokenType.PRINT:
564 return parse_print_expression ();
565 case TokenType.SIZEOF:
566 expr = parse_sizeof_expression ();
567 break;
568 case TokenType.TYPEOF:
569 expr = parse_typeof_expression ();
570 break;
571 default:
572 expr = parse_simple_name ();
573 break;
574 }
575
576 // process primary expressions that start with an inner primary expression
577 bool found = true;
578 while (found) {
579 switch (current ()) {
580 case TokenType.DOT:
581 expr = parse_member_access (begin, expr);
582 break;
583 case TokenType.OP_PTR:
584 expr = parse_pointer_member_access (begin, expr);
585 break;
586 case TokenType.OPEN_PARENS:
587 expr = parse_method_call (begin, expr);
588 break;
589 case TokenType.OPEN_BRACKET:
590 expr = parse_element_access (begin, expr);
591 break;
592 case TokenType.OP_INC:
593 expr = parse_post_increment_expression (begin, expr);
594 break;
595 case TokenType.OP_DEC:
596 expr = parse_post_decrement_expression (begin, expr);
597 break;
598
599 default:
600 found = false;
601 break;
602 }
603 }
604
605 return expr;
606 }
607
608 Expression parse_simple_name () throws ParseError {
609 var begin = get_location ();
610 string id = parse_identifier ();
611 Gee.List<DataType> type_arg_list = parse_type_argument_list (true);
612 var expr = new MemberAccess (null, id, get_src (begin));
613 if (type_arg_list != null) {
614 foreach (DataType type_arg in type_arg_list) {
615 expr.add_type_argument (type_arg);
616 }
617 }
618 return expr;
619 }
620
621 Expression parse_tuple () throws ParseError {
622 var begin = get_location ();
623 expect (TokenType.OPEN_PARENS);
624 var expr_list = new ArrayList<Expression> ();
625 if (current () != TokenType.CLOSE_PARENS) {
626 do {
627 expr_list.add (parse_expression ());
628 } while (accept (TokenType.COMMA));
629 }
630 expect (TokenType.CLOSE_PARENS);
631 if (expr_list.size != 1) {
632 var tuple = new Tuple ();
633 foreach (Expression expr in expr_list) {
634 tuple.add_expression (expr);
635 }
636 return tuple;
637 }
638 return new ParenthesizedExpression (expr_list.get (0), get_src (begin));
639 }
640
641 Expression parse_member_access (SourceLocation begin, Expression inner) throws ParseError {
642 expect (TokenType.DOT);
643 string id = parse_identifier ();
644 Gee.List<DataType> type_arg_list = parse_type_argument_list (true);
645 var expr = new MemberAccess (inner, id, get_src (begin));
646 if (type_arg_list != null) {
647 foreach (DataType type_arg in type_arg_list) {
648 expr.add_type_argument (type_arg);
649 }
650 }
651 return expr;
652 }
653
654 Expression parse_pointer_member_access (SourceLocation begin, Expression inner) throws ParseError {
655 expect (TokenType.OP_PTR);
656 string id = parse_identifier ();
657 Gee.List<DataType> type_arg_list = parse_type_argument_list (true);
658 var expr = new MemberAccess.pointer (inner, id, get_src (begin));
659 if (type_arg_list != null) {
660 foreach (DataType type_arg in type_arg_list) {
661 expr.add_type_argument (type_arg);
662 }
663 }
664 return expr;
665 }
666
667
668 Gee.List<Expression> parse_print_argument_list () throws ParseError {
669 var list = new ArrayList<Expression> ();
670 var i = 0;
671 var begin = get_location ();
672
673 if (current () != TokenType.CLOSE_PARENS) {
674 do {
675 var p_expr = parse_expression ();
676 if (i == 0) {
677 i++;
678
679 if (p_expr != null) {
680 string s = "\\n\"";
681
682 if (p_expr is StringLiteral) {
683 var s_exp = (StringLiteral) p_expr;
684 var len = s_exp.value.size ();
685
686 if (len > 2) {
687 var st = s_exp.value.ndup (len-1);
688 st += s;
689 s_exp.value = st;
690 }
691 } else {
692 var rhs = new StringLiteral (s, get_src (begin));
693 p_expr = new BinaryExpression (BinaryOperator.PLUS, p_expr, rhs, get_src (begin));
694 }
695 }
696
697 }
698 list.add (p_expr);
699
700 } while (accept (TokenType.COMMA));
701 }
702 return list;
703 }
704
705 Expression parse_print_expression () throws ParseError {
706 var begin = get_location ();
707
708 expect (TokenType.PRINT);
709 accept (TokenType.OPEN_PARENS);
710
711 var expr = new MemberAccess (null, "print", get_src (begin));
712
713 var arg_list = parse_print_argument_list ();
714
715 accept (TokenType.CLOSE_PARENS);
716
717 var print_expr = new MethodCall (expr, get_src (begin));
718
719 foreach (Expression arg in arg_list) {
720 print_expr.add_argument (arg);
721 }
722
723 return print_expr;
724
725 }
726
727 Expression parse_assert_expression () throws ParseError {
728 var begin = get_location ();
729
730 expect (TokenType.ASSERT);
731 accept (TokenType.OPEN_PARENS);
732
733 var expr = new MemberAccess (null, "assert", get_src (begin));
734
735 var arg_list = parse_argument_list ();
736
737 accept (TokenType.CLOSE_PARENS);
738
739 var assert_expr = new MethodCall (expr, get_src (begin));
740
741 foreach (Expression arg in arg_list) {
742 assert_expr.add_argument (arg);
743 }
744
745 return assert_expr;
746
747 }
748
749 Expression parse_method_call (SourceLocation begin, Expression inner) throws ParseError {
750 expect (TokenType.OPEN_PARENS);
751 var arg_list = parse_argument_list ();
752 expect (TokenType.CLOSE_PARENS);
753 var init_list = parse_object_initializer ();
754
755 if (init_list.size > 0 && inner is MemberAccess) {
756 // struct creation expression
757 var member = (MemberAccess) inner;
758 member.creation_member = true;
759
760 var expr = new ObjectCreationExpression (member, get_src (begin));
761 expr.struct_creation = true;
762 foreach (Expression arg in arg_list) {
763 expr.add_argument (arg);
764 }
765 foreach (MemberInitializer initializer in init_list) {
766 expr.add_member_initializer (initializer);
767 }
768 return expr;
769 } else {
770 var expr = new MethodCall (inner, get_src (begin));
771 foreach (Expression arg in arg_list) {
772 expr.add_argument (arg);
773 }
774 return expr;
775 }
776 }
777
778 Expression parse_element_access (SourceLocation begin, Expression inner) throws ParseError {
779 expect (TokenType.OPEN_BRACKET);
780 var index_list = parse_expression_list ();
781 expect (TokenType.CLOSE_BRACKET);
782
783 var expr = new ElementAccess (inner, get_src (begin));
784 foreach (Expression index in index_list) {
785 expr.append_index (index);
786 }
787 return expr;
788 }
789
790 Gee.List<Expression> parse_expression_list () throws ParseError {
791 var list = new ArrayList<Expression> ();
792 do {
793 list.add (parse_expression ());
794 } while (accept (TokenType.COMMA));
795 return list;
796 }
797
798 Expression parse_this_access () throws ParseError {
799 var begin = get_location ();
800 expect (TokenType.THIS);
801 return new MemberAccess (null, "this", get_src (begin));
802 }
803
804 Expression parse_base_access () throws ParseError {
805 var begin = get_location ();
806 expect (TokenType.SUPER);
807 return new BaseAccess (get_src (begin));
808 }
809
810 Expression parse_post_increment_expression (SourceLocation begin, Expression inner) throws ParseError {
811 expect (TokenType.OP_INC);
812 return new PostfixExpression (inner, true, get_src (begin));
813 }
814
815 Expression parse_post_decrement_expression (SourceLocation begin, Expression inner) throws ParseError {
816 expect (TokenType.OP_DEC);
817 return new PostfixExpression (inner, false, get_src (begin));
818 }
819
820 Expression parse_object_or_array_creation_expression () throws ParseError {
821 var begin = get_location ();
822 expect (TokenType.NEW);
823
824 if (accept (TokenType.ARRAY)) {
825 expect (TokenType.OF);
826 var m = parse_member_name ();
827 var expr = parse_array_creation_expression (begin, m);
828 return expr;
829 }
830
831 if (accept (TokenType.LIST)) {
832 expect (TokenType.OF);
833 var m = parse_member_name ();
834 var expr = parse_list_creation_expression (begin, m);
835 return expr;
836 }
837
838 if (accept (TokenType.DICT)) {
839 expect (TokenType.OF);
840 var m1 = parse_member_name ();
841 expect (TokenType.COMMA);
842 var m2 = parse_member_name ();
843 var expr = parse_dict_creation_expression (begin, m1, m2);
844 return expr;
845 }
846
847
848 var member = parse_member_name ();
849 var expr = parse_object_creation_expression (begin, member);
850 return expr;
851
852 }
853
854 Expression parse_object_creation_expression (SourceLocation begin, MemberAccess member) throws ParseError {
855 member.creation_member = true;
856 Gee.List<Expression> arg_list;
857 if (accept (TokenType.OPEN_PARENS)) {
858 arg_list = parse_argument_list ();
859 expect (TokenType.CLOSE_PARENS);
860 } else {
861 arg_list = new ArrayList<Expression> ();
862 }
863
864 var init_list = parse_object_initializer ();
865
866 var expr = new ObjectCreationExpression (member, get_src (begin));
867 foreach (Expression arg in arg_list) {
868 expr.add_argument (arg);
869 }
870 foreach (MemberInitializer initializer in init_list) {
871 expr.add_member_initializer (initializer);
872 }
873 return expr;
874 }
875
876 Expression parse_array_creation_expression (SourceLocation begin, MemberAccess member) throws ParseError {
877 bool size_specified = false;
878 Gee.List<Expression> size_specifier_list = null;
879 bool first = true;
880 DataType element_type = UnresolvedType.new_from_expression (member);
881
882 var has_bracket = accept (TokenType.OPEN_BRACKET);
883
884 do {
885 if (!first) {
886 // array of arrays: new T[][42]
887 element_type = new ArrayType (element_type, size_specifier_list.size, element_type.source_reference);
888 } else {
889 first = false;
890 }
891
892 size_specifier_list = new ArrayList<Expression> ();
893 do {
894 Expression size = null;
895 if (has_bracket && current () != TokenType.CLOSE_BRACKET && current () != TokenType.COMMA) {
896 size = parse_expression ();
897 size_specified = true;
898 }
899 size_specifier_list.add (size);
900 } while (accept (TokenType.COMMA));
901
902 if (has_bracket) {
903 expect (TokenType.CLOSE_BRACKET);
904 }
905 } while (accept (TokenType.OPEN_BRACKET));
906
907 InitializerList initializer = null;
908 if (accept (TokenType.ASSIGN)) {
909
910 initializer = parse_initializer ();
911 }
912 var expr = new ArrayCreationExpression (element_type, size_specifier_list.size, initializer, get_src (begin));
913 if (size_specified) {
914 foreach (Expression size in size_specifier_list) {
915 expr.append_size (size);
916 }
917 }
918 return expr;
919 }
920
921
922 Expression parse_list_creation_expression (SourceLocation begin, MemberAccess member) throws ParseError {
923
924 DataType element_type = UnresolvedType.new_from_expression (member);
925 MemberAccess list_member = null, parent_member = null;
926
927 parent_member = new MemberAccess (null, "Gee", get_src (begin));
928 list_member = new MemberAccess (parent_member, "ArrayList", get_src (begin));
929 list_member.add_type_argument (element_type);
930
931 list_member.creation_member = true;
932
933 var expr = new ObjectCreationExpression (list_member, get_src (begin));
934
935 if (member.member_name == "string") {
936 parent_member = new MemberAccess (null, "GLib", get_src (begin));
937 expr.add_argument (new MemberAccess (parent_member, "str_equal", get_src (begin)));
938
939 } else if (member.member_name == "int") {
940 parent_member = new MemberAccess (null, "GLib", get_src (begin));
941 expr.add_argument (new MemberAccess (parent_member, "int_equal", get_src (begin)));
942 }
943
944 return expr;
945 }
946
947 Expression parse_dict_creation_expression (SourceLocation begin, MemberAccess member_key, MemberAccess member_value) throws ParseError {
948
949 DataType key_type = UnresolvedType.new_from_expression (member_key);
950 DataType value_type = UnresolvedType.new_from_expression (member_value);
951
952 MemberAccess dict_member = null, parent_member = null, dict_hash = null, dict_equal = null;
953
954 parent_member = new MemberAccess (null, "Gee", get_src (begin));
955 dict_member = new MemberAccess (parent_member, "HashMap", get_src (begin));
956 dict_member.add_type_argument (key_type);
957 dict_member.add_type_argument (value_type);
958
959 if (member_key.member_name == "string") {
960 parent_member = new MemberAccess (null, "GLib", get_src (begin));
961 dict_hash = new MemberAccess (parent_member, "str_hash", get_src (begin));
962 dict_equal = new MemberAccess (parent_member, "str_equal", get_src (begin));
963
964 } else if (member_key.member_name == "int") {
965 parent_member = new MemberAccess (null, "GLib", get_src (begin));
966 dict_hash = new MemberAccess (parent_member, "int_hash", get_src (begin));
967 dict_equal = new MemberAccess (parent_member, "int_equal", get_src (begin));
968 }
969
970 dict_member.creation_member = true;
971
972 var expr = new ObjectCreationExpression (dict_member, get_src (begin));
973
974 if (dict_hash != null && dict_equal != null) {
975 expr.add_argument (dict_hash);
976 expr.add_argument (dict_equal);
977 }
978
979
980 return expr;
981 }
982
983
984 Gee.List<MemberInitializer> parse_object_initializer () throws ParseError {
985 var list = new ArrayList<MemberInitializer> ();
986 if (accept (TokenType.OPEN_BRACE)) {
987 do {
988 list.add (parse_member_initializer ());
989 } while (accept (TokenType.COMMA));
990 expect (TokenType.CLOSE_BRACE);
991 }
992 return list;
993 }
994
995 MemberInitializer parse_member_initializer () throws ParseError {
996 var begin = get_location ();
997 string id = parse_identifier ();
998 expect (TokenType.ASSIGN);
999 var expr = parse_expression ();
1000
1001 return new MemberInitializer (id, expr, get_src (begin));
1002 }
1003
1004 Expression parse_sizeof_expression () throws ParseError {
1005 var begin = get_location ();
1006 expect (TokenType.SIZEOF);
1007 expect (TokenType.OPEN_PARENS);
1008 var type = parse_type ();
1009 expect (TokenType.CLOSE_PARENS);
1010
1011 return new SizeofExpression (type, get_src (begin));
1012 }
1013
1014 Expression parse_typeof_expression () throws ParseError {
1015 var begin = get_location ();
1016 expect (TokenType.TYPEOF);
1017 expect (TokenType.OPEN_PARENS);
1018 var type = parse_type ();
1019 expect (TokenType.CLOSE_PARENS);
1020
1021 return new TypeofExpression (type, get_src (begin));
1022 }
1023
1024 UnaryOperator get_unary_operator (TokenType token_type) {
1025 switch (token_type) {
1026 case TokenType.PLUS: return UnaryOperator.PLUS;
1027 case TokenType.MINUS: return UnaryOperator.MINUS;
1028 case TokenType.OP_NEG: return UnaryOperator.LOGICAL_NEGATION;
1029 case TokenType.TILDE: return UnaryOperator.BITWISE_COMPLEMENT;
1030 case TokenType.OP_INC: return UnaryOperator.INCREMENT;
1031 case TokenType.OP_DEC: return UnaryOperator.DECREMENT;
1032 case TokenType.REF: return UnaryOperator.REF;
1033 case TokenType.OUT: return UnaryOperator.OUT;
1034 default: return UnaryOperator.NONE;
1035 }
1036 }
1037
1038 Expression parse_unary_expression () throws ParseError {
1039 var begin = get_location ();
1040 var operator = get_unary_operator (current ());
1041 if (operator != UnaryOperator.NONE) {
1042 next ();
1043 var op = parse_unary_expression ();
1044 return new UnaryExpression (operator, op, get_src (begin));
1045 }
1046 switch (current ()) {
1047 case TokenType.HASH:
1048 next ();
1049 var op = parse_unary_expression ();
1050 return new ReferenceTransferExpression (op, get_src (begin));
1051 case TokenType.OPEN_PARENS:
1052 next ();
1053 switch (current ()) {
1054 case TokenType.VOID:
1055 case TokenType.DYNAMIC:
1056 case TokenType.WEAK:
1057 case TokenType.IDENTIFIER:
1058 var type = parse_type ();
1059 if (accept (TokenType.CLOSE_PARENS)) {
1060 // check follower to decide whether to create cast expression
1061 switch (current ()) {
1062 case TokenType.OP_NEG:
1063 case TokenType.TILDE:
1064 case TokenType.OPEN_PARENS:
1065 case TokenType.TRUE:
1066 case TokenType.FALSE:
1067 case TokenType.INTEGER_LITERAL:
1068 case TokenType.REAL_LITERAL:
1069 case TokenType.CHARACTER_LITERAL:
1070 case TokenType.STRING_LITERAL:
1071 case TokenType.NULL:
1072 case TokenType.THIS:
1073 case TokenType.SUPER:
1074 case TokenType.NEW:
1075 case TokenType.SIZEOF:
1076 case TokenType.TYPEOF:
1077 case TokenType.IDENTIFIER:
1078 if (!(type is PointerType) && !type.value_owned) {
1079 Report.warning (get_src (begin), "obsolete syntax, weak type modifier unused in cast expressions");
1080 }
1081 var inner = parse_unary_expression ();
1082 return new CastExpression (inner, type, get_src (begin), false);
1083 default:
1084 break;
1085 }
1086 }
1087 break;
1088 default:
1089 break;
1090 }
1091 // no cast expression
1092 rollback (begin);
1093 break;
1094 case TokenType.STAR:
1095 next ();
1096 var op = parse_unary_expression ();
1097 return new PointerIndirection (op, get_src (begin));
1098 case TokenType.BITWISE_AND:
1099 next ();
1100 var op = parse_unary_expression ();
1101 return new AddressofExpression (op, get_src (begin));
1102 default:
1103 break;
1104 }
1105
1106 var expr = parse_primary_expression ();
1107 return expr;
1108 }
1109
1110 BinaryOperator get_binary_operator (TokenType token_type) {
1111 switch (token_type) {
1112 case TokenType.STAR: return BinaryOperator.MUL;
1113 case TokenType.DIV: return BinaryOperator.DIV;
1114 case TokenType.PERCENT: return BinaryOperator.MOD;
1115 case TokenType.PLUS: return BinaryOperator.PLUS;
1116 case TokenType.MINUS: return BinaryOperator.MINUS;
1117 case TokenType.OP_LT: return BinaryOperator.LESS_THAN;
1118 case TokenType.OP_GT: return BinaryOperator.GREATER_THAN;
1119 case TokenType.OP_LE: return BinaryOperator.LESS_THAN_OR_EQUAL;
1120 case TokenType.OP_GE: return BinaryOperator.GREATER_THAN_OR_EQUAL;
1121 case TokenType.OP_EQ: return BinaryOperator.EQUALITY;
1122 case TokenType.IS:
1123 next();
1124 if (current () == TokenType.OP_NEG) {
1125 prev ();
1126 return BinaryOperator.INEQUALITY;
1127 }
1128 prev ();
1129 return BinaryOperator.EQUALITY;
1130 case TokenType.OP_NE: return BinaryOperator.INEQUALITY;
1131 default: return BinaryOperator.NONE;
1132 }
1133 }
1134
1135 Expression parse_multiplicative_expression () throws ParseError {
1136 var begin = get_location ();
1137 var left = parse_unary_expression ();
1138 bool found = true;
1139 while (found) {
1140 var operator = get_binary_operator (current ());
1141 switch (operator) {
1142 case BinaryOperator.MUL:
1143 case BinaryOperator.DIV:
1144 case BinaryOperator.MOD:
1145 next ();
1146 var right = parse_unary_expression ();
1147 left = new BinaryExpression (operator, left, right, get_src (begin));
1148 break;
1149 default:
1150 found = false;
1151 break;
1152 }
1153 }
1154 return left;
1155 }
1156
1157 Expression parse_additive_expression () throws ParseError {
1158 var begin = get_location ();
1159 var left = parse_multiplicative_expression ();
1160 bool found = true;
1161 while (found) {
1162 var operator = get_binary_operator (current ());
1163 switch (operator) {
1164 case BinaryOperator.PLUS:
1165 case BinaryOperator.MINUS:
1166 next ();
1167 var right = parse_multiplicative_expression ();
1168 left = new BinaryExpression (operator, left, right, get_src (begin));
1169 break;
1170 default:
1171 found = false;
1172 break;
1173 }
1174 }
1175 return left;
1176 }
1177
1178 Expression parse_shift_expression () throws ParseError {
1179 var begin = get_location ();
1180 var left = parse_additive_expression ();
1181 bool found = true;
1182 while (found) {
1183 switch (current ()) {
1184 case TokenType.OP_SHIFT_LEFT:
1185 next ();
1186 var right = parse_additive_expression ();
1187 left = new BinaryExpression (BinaryOperator.SHIFT_LEFT, left, right, get_src (begin));
1188 break;
1189 // don't use OP_SHIFT_RIGHT to support >> for nested generics
1190 case TokenType.OP_GT:
1191 char* first_gt_pos = tokens[index].begin.pos;
1192 next ();
1193 // only accept >> when there is no space between the two > signs
1194 if (current () == TokenType.OP_GT && tokens[index].begin.pos == first_gt_pos + 1) {
1195 next ();
1196 var right = parse_additive_expression ();
1197 left = new BinaryExpression (BinaryOperator.SHIFT_RIGHT, left, right, get_src (begin));
1198 } else {
1199 prev ();
1200 found = false;
1201 }
1202 break;
1203 default:
1204 found = false;
1205 break;
1206 }
1207 }
1208 return left;
1209 }
1210
1211 Expression parse_relational_expression () throws ParseError {
1212 var begin = get_location ();
1213 var left = parse_shift_expression ();
1214 bool found = true;
1215 while (found) {
1216 var operator = get_binary_operator (current ());
1217 switch (operator) {
1218 case BinaryOperator.LESS_THAN:
1219 case BinaryOperator.LESS_THAN_OR_EQUAL:
1220 case BinaryOperator.GREATER_THAN_OR_EQUAL:
1221 next ();
1222 var right = parse_shift_expression ();
1223 left = new BinaryExpression (operator, left, right, get_src (begin));
1224 break;
1225 case BinaryOperator.GREATER_THAN:
1226 next ();
1227 // ignore >> and >>= (two tokens due to generics)
1228 if (current () != TokenType.OP_GT && current () != TokenType.OP_GE) {
1229 var right = parse_shift_expression ();
1230 left = new BinaryExpression (operator, left, right, get_src (begin));
1231 } else {
1232 prev ();
1233 found = false;
1234 }
1235 break;
1236 default:
1237 switch (current ()) {
1238 case TokenType.ISA:
1239 next ();
1240 var type = parse_type ();
1241 left = new TypeCheck (left, type, get_src (begin));
1242 break;
1243 case TokenType.AS:
1244 next ();
1245 var type = parse_type ();
1246 left = new CastExpression (left, type, get_src (begin), true);
1247 break;
1248 default:
1249 found = false;
1250 break;
1251 }
1252 break;
1253 }
1254 }
1255 return left;
1256 }
1257
1258 Expression parse_equality_expression () throws ParseError {
1259 var begin = get_location ();
1260 var left = parse_relational_expression ();
1261 bool found = true;
1262 while (found) {
1263 var operator = get_binary_operator (current ());
1264 switch (operator) {
1265 case BinaryOperator.INEQUALITY:
1266 case BinaryOperator.EQUALITY:
1267 if ((operator == BinaryOperator.INEQUALITY) && (current () == TokenType.IS)) {
1268 next ();
1269 }
1270 next ();
1271 var right = parse_relational_expression ();
1272 left = new BinaryExpression (operator, left, right, get_src (begin));
1273 break;
1274 default:
1275 found = false;
1276 break;
1277 }
1278 }
1279 return left;
1280 }
1281
1282 Expression parse_and_expression () throws ParseError {
1283 var begin = get_location ();
1284 var left = parse_equality_expression ();
1285 while (accept (TokenType.BITWISE_AND)) {
1286 var right = parse_equality_expression ();
1287 left = new BinaryExpression (BinaryOperator.BITWISE_AND, left, right, get_src (begin));
1288 }
1289 return left;
1290 }
1291
1292 Expression parse_exclusive_or_expression () throws ParseError {
1293 var begin = get_location ();
1294 var left = parse_and_expression ();
1295 while (accept (TokenType.CARRET)) {
1296 var right = parse_and_expression ();
1297 left = new BinaryExpression (BinaryOperator.BITWISE_XOR, left, right, get_src (begin));
1298 }
1299 return left;
1300 }
1301
1302 Expression parse_inclusive_or_expression () throws ParseError {
1303 var begin = get_location ();
1304 var left = parse_exclusive_or_expression ();
1305 while (accept (TokenType.BITWISE_OR)) {
1306 var right = parse_exclusive_or_expression ();
1307 left = new BinaryExpression (BinaryOperator.BITWISE_OR, left, right, get_src (begin));
1308 }
1309 return left;
1310 }
1311
1312 Expression parse_in_expression () throws ParseError {
1313 var begin = get_location ();
1314 var left = parse_inclusive_or_expression ();
1315 while (accept (TokenType.IN)) {
1316 var right = parse_inclusive_or_expression ();
1317 left = new BinaryExpression (BinaryOperator.IN, left, right, get_src (begin));
1318 }
1319 return left;
1320 }
1321
1322 Expression parse_conditional_and_expression () throws ParseError {
1323 var begin = get_location ();
1324 var left = parse_in_expression ();
1325 while (accept (TokenType.OP_AND)) {
1326 var right = parse_in_expression ();
1327 left = new BinaryExpression (BinaryOperator.AND, left, right, get_src (begin));
1328 }
1329 return left;
1330 }
1331
1332 Expression parse_conditional_or_expression () throws ParseError {
1333 var begin = get_location ();
1334 var left = parse_conditional_and_expression ();
1335 while (accept (TokenType.OP_OR)) {
1336 var right = parse_conditional_and_expression ();
1337 left = new BinaryExpression (BinaryOperator.OR, left, right, get_src (begin));
1338 }
1339 return left;
1340 }
1341
1342 Expression parse_conditional_expression () throws ParseError {
1343 var begin = get_location ();
1344 var condition = parse_conditional_or_expression ();
1345 if (accept (TokenType.INTERR)) {
1346 var true_expr = parse_expression ();
1347 expect (TokenType.COLON);
1348 var false_expr = parse_expression ();
1349 return new ConditionalExpression (condition, true_expr, false_expr, get_src (begin));
1350 } else {
1351 return condition;
1352 }
1353 }
1354
1355 Expression parse_lambda_expression () throws ParseError {
1356 var begin = get_location ();
1357 Gee.List<string> params = new ArrayList<string> ();
1358
1359 expect (TokenType.DEF);
1360
1361 if (accept (TokenType.OPEN_PARENS)) {
1362 if (current () != TokenType.CLOSE_PARENS) {
1363 do {
1364 params.add (parse_identifier ());
1365 } while (accept (TokenType.COMMA));
1366 }
1367 expect (TokenType.CLOSE_PARENS);
1368 } else {
1369 params.add (parse_identifier ());
1370 }
1371
1372
1373 LambdaExpression lambda;
1374 if (accept_block ()) {
1375 var block = parse_block ();
1376 lambda = new LambdaExpression.with_statement_body (block, get_src (begin));
1377 } else {
1378 var expr = parse_expression ();
1379 lambda = new LambdaExpression (expr, get_src (begin));
1380 expect_terminator ();
1381
1382 }
1383
1384
1385 foreach (string param in params) {
1386 lambda.add_parameter (param);
1387 }
1388 return lambda;
1389 }
1390
1391 AssignmentOperator get_assignment_operator (TokenType token_type) {
1392 switch (token_type) {
1393 case TokenType.ASSIGN: return AssignmentOperator.SIMPLE;
1394 case TokenType.ASSIGN_ADD: return AssignmentOperator.ADD;
1395 case TokenType.ASSIGN_SUB: return AssignmentOperator.SUB;
1396 case TokenType.ASSIGN_BITWISE_OR: return AssignmentOperator.BITWISE_OR;
1397 case TokenType.ASSIGN_BITWISE_AND: return AssignmentOperator.BITWISE_AND;
1398 case TokenType.ASSIGN_BITWISE_XOR: return AssignmentOperator.BITWISE_XOR;
1399 case TokenType.ASSIGN_DIV: return AssignmentOperator.DIV;
1400 case TokenType.ASSIGN_MUL: return AssignmentOperator.MUL;
1401 case TokenType.ASSIGN_PERCENT: return AssignmentOperator.PERCENT;
1402 case TokenType.ASSIGN_SHIFT_LEFT: return AssignmentOperator.SHIFT_LEFT;
1403 default: return AssignmentOperator.NONE;
1404 }
1405 }
1406
1407 Expression parse_expression () throws ParseError {
1408 if (current () == TokenType.DEF) {
1409 var lambda = parse_lambda_expression ();
1410 current_expr_is_lambda = true;
1411 return lambda;
1412 }
1413
1414 var begin = get_location ();
1415 Expression expr = parse_conditional_expression ();
1416
1417 while (true) {
1418 var operator = get_assignment_operator (current ());
1419 if (operator != AssignmentOperator.NONE) {
1420 next ();
1421 var rhs = parse_expression ();
1422 expr = new Assignment (expr, rhs, operator, get_src (begin));
1423 } else if (current () == TokenType.OP_GT) { // >>=
1424 char* first_gt_pos = tokens[index].begin.pos;
1425 next ();
1426 // only accept >>= when there is no space between the two > signs
1427 if (current () == TokenType.OP_GE && tokens[index].begin.pos == first_gt_pos + 1) {
1428 next ();
1429 var rhs = parse_expression ();
1430 expr = new Assignment (expr, rhs, AssignmentOperator.SHIFT_RIGHT, get_src (begin));
1431 } else {
1432 prev ();
1433 break;
1434 }
1435 } else {
1436 break;
1437 }
1438 }
1439
1440 return expr;
1441 }
1442
1443
1444 Statement get_for_statement_type () throws ParseError {
1445
1446 var begin = get_location ();
1447 bool is_foreach = false;
1448
1449 while (current () != TokenType.EOL && current () != TokenType.DO) {
1450 next ();
1451 if (accept (TokenType.IN)) {
1452 is_foreach = true;
1453 break;
1454 }
1455 }
1456
1457 rollback (begin);
1458
1459 if (is_foreach) {
1460 return parse_foreach_statement ();
1461 } else {
1462 return parse_for_statement ();
1463 }
1464
1465 }
1466
1467 void parse_statements (Block block) throws ParseError {
1468 while (current () != TokenType.DEDENT
1469 && current () != TokenType.WHEN
1470 && current () != TokenType.DEFAULT) {
1471 try {
1472 Statement stmt = null;
1473 bool is_decl = false;
1474 comment = scanner.pop_comment ();
1475 switch (current ()) {
1476
1477 /* skip over requires and ensures as we handled them in method declaration */
1478 case TokenType.REQUIRES:
1479 case TokenType.ENSURES:
1480 var begin = get_location ();
1481 next ();
1482
1483 if (accept (TokenType.EOL) && accept (TokenType.INDENT)) {
1484 while (current () != TokenType.DEDENT) {
1485 next();
1486 }
1487
1488 expect (TokenType.DEDENT);
1489 } else {
1490 while (current () != TokenType.EOL) {
1491 next();
1492 }
1493
1494 expect (TokenType.EOL);
1495 }
1496
1497 stmt = new EmptyStatement (get_src_com (begin));
1498 break;
1499
1500
1501 case TokenType.INDENT:
1502 stmt = parse_block ();
1503 break;
1504 case TokenType.SEMICOLON:
1505 case TokenType.PASS:
1506 stmt = parse_empty_statement ();
1507 break;
1508 case TokenType.PRINT:
1509 case TokenType.ASSERT:
1510 stmt = parse_expression_statement ();
1511 break;
1512 case TokenType.IF:
1513 stmt = parse_if_statement ();
1514 break;
1515 case TokenType.CASE:
1516 stmt = parse_switch_statement ();
1517 break;
1518 case TokenType.WHILE:
1519 stmt = parse_while_statement ();
1520 break;
1521 case TokenType.DO:
1522 stmt = parse_do_statement ();
1523 break;
1524 case TokenType.FOR:
1525 stmt = get_for_statement_type ();
1526 break;
1527 case TokenType.BREAK:
1528 stmt = parse_break_statement ();
1529 break;
1530 case TokenType.CONTINUE:
1531 stmt = parse_continue_statement ();
1532 break;
1533 case TokenType.RETURN:
1534 stmt = parse_return_statement ();
1535 break;
1536 case TokenType.RAISE:
1537 stmt = parse_throw_statement ();
1538 break;
1539 case TokenType.TRY:
1540 stmt = parse_try_statement ();
1541 break;
1542 case TokenType.LOCK:
1543 stmt = parse_lock_statement ();
1544 break;
1545 case TokenType.DELETE:
1546 stmt = parse_delete_statement ();
1547 break;
1548 case TokenType.VAR:
1549 is_decl = true;
1550 parse_local_variable_declarations (block);
1551 break;
1552
1553
1554 case TokenType.OP_INC:
1555 case TokenType.OP_DEC:
1556 case TokenType.SUPER:
1557 case TokenType.THIS:
1558 case TokenType.OPEN_PARENS:
1559 case TokenType.STAR:
1560 case TokenType.NEW:
1561 stmt = parse_expression_statement ();
1562 break;
1563 default:
1564 bool is_expr = is_expression ();
1565 if (is_expr) {
1566 stmt = parse_expression_statement ();
1567 } else {
1568 is_decl = true;
1569 parse_local_variable_declarations (block);
1570 }
1571 break;
1572 }
1573
1574 if (!is_decl) {
1575 block.add_statement (stmt);
1576 }
1577 } catch (ParseError e) {
1578 if (recover () != RecoveryState.STATEMENT_BEGIN) {
1579 // beginning of next declaration or end of file reached
1580 // return what we have so far
1581 break;
1582 }
1583 }
1584 }
1585 }
1586
1587 bool is_expression () throws ParseError {
1588 var begin = get_location ();
1589
1590 // decide between declaration and expression statement
1591 skip_type ();
1592 switch (current ()) {
1593 // invocation expression
1594 case TokenType.OPEN_PARENS:
1595 // postfix increment
1596 case TokenType.OP_INC:
1597 // postfix decrement
1598 case TokenType.OP_DEC:
1599 // assignments
1600 case TokenType.ASSIGN:
1601 case TokenType.ASSIGN_ADD:
1602 case TokenType.ASSIGN_BITWISE_AND:
1603 case TokenType.ASSIGN_BITWISE_OR:
1604 case TokenType.ASSIGN_BITWISE_XOR:
1605 case TokenType.ASSIGN_DIV:
1606 case TokenType.ASSIGN_MUL:
1607 case TokenType.ASSIGN_PERCENT:
1608 case TokenType.ASSIGN_SHIFT_LEFT:
1609 case TokenType.ASSIGN_SUB:
1610 case TokenType.OP_GT: // >>=
1611 // member access
1612 case TokenType.DOT:
1613 // pointer member access
1614 case TokenType.OP_PTR:
1615 rollback (begin);
1616 return true;
1617 default:
1618 rollback (begin);
1619 return false;
1620 }
1621 }
1622
1623 Block parse_embedded_statement () throws ParseError {
1624 if (current () == TokenType.INDENT) {
1625 var block = parse_block ();
1626 return block;
1627 }
1628
1629 comment = scanner.pop_comment ();
1630
1631 var block = new Block (get_src_com (get_location ()));
1632 block.add_statement (parse_embedded_statement_without_block ());
1633 return block;
1634
1635 }
1636
1637 Statement parse_embedded_statement_without_block () throws ParseError {
1638 switch (current ()) {
1639 case TokenType.PASS:
1640 case TokenType.SEMICOLON: return parse_empty_statement ();
1641 case TokenType.IF: return parse_if_statement ();
1642 case TokenType.CASE: return parse_switch_statement ();
1643 case TokenType.WHILE: return parse_while_statement ();
1644 case TokenType.DO: return parse_do_statement ();
1645 case TokenType.FOR: return get_for_statement_type ();
1646 case TokenType.BREAK: return parse_break_statement ();
1647 case TokenType.CONTINUE: return parse_continue_statement ();
1648 case TokenType.RETURN: return parse_return_statement ();
1649 case TokenType.RAISE: return parse_throw_statement ();
1650 case TokenType.TRY: return parse_try_statement ();
1651 case TokenType.LOCK: return parse_lock_statement ();
1652 case TokenType.DELETE: return parse_delete_statement ();
1653 default: return parse_expression_statement ();
1654 }
1655 }
1656
1657 Block parse_block () throws ParseError {
1658 var begin = get_location ();
1659 expect (TokenType.INDENT);
1660 var block = new Block (get_src_com (begin));
1661 parse_statements (block);
1662 if (!accept (TokenType.DEDENT)) {
1663 // only report error if it's not a secondary error
1664 if (Report.get_errors () == 0) {
1665 Report.error (get_current_src (), "tab indentation is incorrect");
1666 }
1667 }
1668
1669 return block;
1670 }
1671
1672 Statement parse_empty_statement () throws ParseError {
1673 var begin = get_location ();
1674
1675 accept (TokenType.PASS);
1676 accept (TokenType.SEMICOLON);
1677 expect_terminator ();
1678
1679 return new EmptyStatement (get_src_com (begin));
1680 }
1681
1682 void add_local_var_variable (Block block, string id) throws ParseError {
1683 DataType type_copy = null;
1684 var local = parse_local_variable (type_copy, id);
1685 block.add_statement (new DeclarationStatement (local, local.source_reference));
1686 }
1687
1688 void parse_local_variable_declarations (Block block) throws ParseError {
1689 if (accept (TokenType.VAR)) {
1690 /* support block vars */
1691 if (accept (TokenType.EOL) && accept (TokenType.INDENT)) {
1692 while (current () != TokenType.DEDENT) {
1693 var s = parse_identifier ();
1694 add_local_var_variable (block, s);
1695 accept (TokenType.EOL);
1696 accept (TokenType.SEMICOLON);
1697 }
1698
1699 expect (TokenType.DEDENT);
1700 } else {
1701 var s = parse_identifier ();
1702 add_local_var_variable (block, s);
1703 expect_terminator ();
1704 }
1705
1706 return;
1707 }
1708
1709 var id_list = new ArrayList<string> ();
1710 DataType variable_type = null;
1711
1712 do {
1713 id_list.add (parse_identifier ());
1714 } while (accept (TokenType.COMMA));
1715
1716 expect (TokenType.COLON);
1717
1718 variable_type = parse_type ();
1719
1720 foreach (string id in id_list) {
1721 DataType type_copy = null;
1722 if (variable_type != null) {
1723 type_copy = variable_type.copy ();
1724 }
1725 var local = parse_local_variable (type_copy, id);
1726 block.add_statement (new DeclarationStatement (local, local.source_reference));
1727 }
1728
1729 expect_terminator ();
1730 }
1731
1732 LocalVariable parse_local_variable (DataType? variable_type, string id) throws ParseError {
1733 var begin = get_location ();
1734 Expression initializer = null;
1735 if (accept (TokenType.ASSIGN)) {
1736 initializer = parse_variable_initializer ();
1737 }
1738 return new LocalVariable (variable_type, id, initializer, get_src_com (begin));
1739 }
1740
1741 Statement parse_expression_statement () throws ParseError {
1742 var begin = get_location ();
1743 var expr = parse_statement_expression ();
1744
1745 if (current_expr_is_lambda) {
1746 current_expr_is_lambda = false;
1747 } else {
1748 expect_terminator ();
1749 }
1750
1751 return new ExpressionStatement (expr, get_src_com (begin));
1752 }
1753
1754 Expression parse_statement_expression () throws ParseError {
1755 // invocation expression, assignment,
1756 // or pre/post increment/decrement expression
1757 var expr = parse_expression ();
1758 return expr;
1759 }
1760
1761 Statement parse_if_statement () throws ParseError {
1762 var begin = get_location ();
1763
1764 expect (TokenType.IF);
1765
1766 var condition = parse_expression ();
1767
1768 if (!accept (TokenType.DO)) {
1769 expect (TokenType.EOL);
1770 } else {
1771 accept (TokenType.EOL);
1772 }
1773
1774 var src = get_src_com (begin);
1775 var true_stmt = parse_embedded_statement ();
1776 Block false_stmt = null;
1777 if (accept (TokenType.ELSE)) {
1778 false_stmt = parse_embedded_statement ();
1779 }
1780 return new IfStatement (condition, true_stmt, false_stmt, src);
1781 }
1782
1783 Statement parse_switch_statement () throws ParseError {
1784 var begin = get_location ();
1785 expect (TokenType.CASE);
1786 var condition = parse_expression ();
1787
1788 expect (TokenType.EOL);
1789
1790 var stmt = new SwitchStatement (condition, get_src_com (begin));
1791 expect (TokenType.INDENT);
1792 while (current () != TokenType.DEDENT) {
1793 var section = new SwitchSection (get_src_com (begin));
1794
1795 if (accept (TokenType.WHEN)) {
1796 do {
1797 section.add_label (new SwitchLabel (parse_expression (), get_src_com (begin)));
1798 }
1799 while (accept (TokenType.COMMA));
1800 } else {
1801 expect (TokenType.DEFAULT);
1802 section.add_label (new SwitchLabel.with_default (get_src_com (begin)));
1803 }
1804
1805 if (!accept (TokenType.EOL)) {
1806 expect (TokenType.DO);
1807 }
1808
1809 parse_statements (section);
1810
1811 /* add break statement for each block */
1812 var break_stmt = new BreakStatement (get_src_com (begin));
1813 section.add_statement (break_stmt);
1814
1815 stmt.add_section (section);
1816 }
1817 expect (TokenType.DEDENT);
1818 return stmt;
1819 }
1820
1821 Statement parse_while_statement () throws ParseError {
1822 var begin = get_location ();
1823 expect (TokenType.WHILE);
1824 var condition = parse_expression ();
1825
1826 if (!accept (TokenType.DO)) {
1827 expect (TokenType.EOL);
1828 } else {
1829 accept (TokenType.EOL);
1830 }
1831
1832 var body = parse_embedded_statement ();
1833 return new WhileStatement (condition, body, get_src_com (begin));
1834 }
1835
1836 Statement parse_do_statement () throws ParseError {
1837 var begin = get_location ();
1838 expect (TokenType.DO);
1839 expect (TokenType.EOL);
1840 var body = parse_embedded_statement ();
1841 expect (TokenType.WHILE);
1842
1843 var condition = parse_expression ();
1844
1845 expect_terminator ();
1846
1847 return new DoStatement (body, condition, get_src_com (begin));
1848 }
1849
1850
1851 Statement parse_for_statement () throws ParseError {
1852 var begin = get_location ();
1853 Block block = null;
1854 Expression initializer = null;
1855 Expression condition = null;
1856 Expression iterator = null;
1857 bool is_expr;
1858 string id;
1859
1860 expect (TokenType.FOR);
1861
1862 switch (current ()) {
1863 case TokenType.VAR:
1864 is_expr = false;
1865 break;
1866 default:
1867
1868 bool local_is_expr = is_expression ();
1869 is_expr = local_is_expr;
1870 break;
1871 }
1872
1873 if (is_expr) {
1874 var expr_begin = get_location ();
1875 id = parse_identifier ();
1876 rollback (expr_begin);
1877 initializer = parse_statement_expression ();
1878 } else {
1879 block = new Block (get_src (begin));
1880 DataType variable_type;
1881 if (accept (TokenType.VAR)) {
1882 variable_type = null;
1883 id = parse_identifier ();
1884 } else {
1885 id = parse_identifier ();
1886 expect (TokenType.COLON);
1887 variable_type = parse_type ();
1888 }
1889
1890 DataType type_copy = null;
1891 if (variable_type != null) {
1892 type_copy = variable_type.copy ();
1893 }
1894 var local = parse_local_variable (type_copy, id);
1895
1896 block.add_statement (new DeclarationStatement (local, local.source_reference));
1897 }
1898
1899
1900
1901 if (accept (TokenType.TO)) {
1902 /* create expression for condition and incrementing iterator */
1903 var to_begin = get_location ();
1904 var to_src = get_src (to_begin);
1905 var left = new MemberAccess (null, id, to_src);
1906 var right = parse_primary_expression ();
1907
1908 condition = new BinaryExpression (BinaryOperator.LESS_THAN_OR_EQUAL, left, right, to_src);
1909
1910 iterator = new PostfixExpression (left, true, to_src);
1911 } else {
1912 expect (TokenType.DOWNTO);
1913 var downto_begin = get_location ();
1914 var downto_src = get_src (downto_begin);
1915 /* create expression for condition and decrementing iterator */
1916 var left = new MemberAccess (null, id, downto_src);
1917 var right = parse_primary_expression ();
1918
1919 condition = new BinaryExpression (BinaryOperator.GREATER_THAN_OR_EQUAL, left, right, downto_src);
1920
1921 iterator = new PostfixExpression (left, false, downto_src);
1922 }
1923
1924 if (!accept (TokenType.EOL)) {
1925 expect (TokenType.DO);
1926 }
1927
1928 var src = get_src_com (begin);
1929 var body = parse_embedded_statement ();
1930 var stmt = new ForStatement (condition, body, src);
1931
1932 if (initializer != null) stmt.add_initializer (initializer);
1933
1934 stmt.add_iterator (iterator);
1935
1936
1937 if (block != null) {
1938 block.add_statement (stmt);
1939 return block;
1940 } else {
1941 return stmt;
1942 }
1943 }
1944
1945 Statement parse_foreach_statement () throws ParseError {
1946 var begin = get_location ();
1947 DataType type = null;
1948 string id = null;
1949
1950 expect (TokenType.FOR);
1951
1952 if (accept (TokenType.VAR)) {
1953 id = parse_identifier ();
1954 } else {
1955 id = parse_identifier ();
1956 if (accept (TokenType.COLON)) {
1957 type = parse_type ();
1958 }
1959 }
1960
1961 expect (TokenType.IN);
1962 var collection = parse_expression ();
1963 if (!accept (TokenType.EOL)) {
1964 expect (TokenType.DO);
1965 }
1966 var src = get_src_com (begin);
1967 var body = parse_embedded_statement ();
1968 return new ForeachStatement (type, id, collection, body, src);
1969 }
1970
1971 Statement parse_break_statement () throws ParseError {
1972 var begin = get_location ();
1973 expect (TokenType.BREAK);
1974 expect_terminator ();
1975 return new BreakStatement (get_src_com (begin));
1976 }
1977
1978 Statement parse_continue_statement () throws ParseError {
1979 var begin = get_location ();
1980 expect (TokenType.CONTINUE);
1981 expect_terminator ();
1982 return new ContinueStatement (get_src_com (begin));
1983 }
1984
1985 Statement parse_return_statement () throws ParseError {
1986 var begin = get_location ();
1987 expect (TokenType.RETURN);
1988 Expression expr = null;
1989 if (current () != TokenType.SEMICOLON && current () != TokenType.EOL) {
1990 expr = parse_expression ();
1991 }
1992 expect_terminator ();
1993 return new ReturnStatement (expr, get_src_com (begin));
1994 }
1995
1996 Statement parse_throw_statement () throws ParseError {
1997 var begin = get_location ();
1998 expect (TokenType.RAISE);
1999 var expr = parse_expression ();
2000 expect_terminator ();
2001 return new ThrowStatement (expr, get_src_com (begin));
2002 }
2003
2004 Statement parse_try_statement () throws ParseError {
2005 var begin = get_location ();
2006 expect (TokenType.TRY);
2007 expect (TokenType.EOL);
2008 var try_block = parse_block ();
2009 Block finally_clause = null;
2010 var catch_clauses = new ArrayList<CatchClause> ();
2011 if (current () == TokenType.EXCEPT) {
2012 parse_catch_clauses (catch_clauses);
2013 if (current () == TokenType.FINALLY) {
2014 finally_clause = parse_finally_clause ();
2015 }
2016 } else {
2017 finally_clause = parse_finally_clause ();
2018 }
2019 var stmt = new TryStatement (try_block, finally_clause, get_src_com (begin));
2020 foreach (CatchClause clause in catch_clauses) {
2021 stmt.add_catch_clause (clause);
2022 }
2023 return stmt;
2024 }
2025
2026 void parse_catch_clauses (Gee.List<CatchClause> catch_clauses) throws ParseError {
2027 while (accept (TokenType.EXCEPT)) {
2028 var begin = get_location ();
2029 DataType type = null;
2030 string id = null;
2031 if (!accept (TokenType.EOL)) {
2032 id = parse_identifier ();
2033 expect (TokenType.COLON);
2034 type = parse_type ();
2035 expect (TokenType.EOL);
2036
2037 }
2038 var block = parse_block ();
2039 catch_clauses.add (new CatchClause (type, id, block, get_src (begin)));
2040 }
2041 }
2042
2043 Block parse_finally_clause () throws ParseError {
2044 expect (TokenType.FINALLY);
2045 accept_block ();
2046 var block = parse_block ();
2047 return block;
2048 }
2049
2050 Statement parse_lock_statement () throws ParseError {
2051 var begin = get_location ();
2052 expect (TokenType.LOCK);
2053 expect (TokenType.OPEN_PARENS);
2054 var expr = parse_expression ();
2055 expect (TokenType.CLOSE_PARENS);
2056 var stmt = parse_embedded_statement ();
2057 return new LockStatement (expr, stmt, get_src_com (begin));
2058 }
2059
2060 Statement parse_delete_statement () throws ParseError {
2061 var begin = get_location ();
2062 expect (TokenType.DELETE);
2063 var expr = parse_expression ();
2064 expect_terminator ();
2065 return new DeleteStatement (expr, get_src_com (begin));
2066 }
2067
2068 Gee.List<Attribute>? parse_attributes () throws ParseError {
2069 if (current () != TokenType.OPEN_BRACKET) {
2070 return null;
2071 }
2072 var attrs = new ArrayList<Attribute> ();
2073 while (accept (TokenType.OPEN_BRACKET)) {
2074 do {
2075 var begin = get_location ();
2076 string id = parse_identifier ();
2077 var attr = new Attribute (id, get_src (begin));
2078 if (accept (TokenType.OPEN_PARENS)) {
2079 if (current () != TokenType.CLOSE_PARENS) {
2080 do {
2081 id = parse_identifier ();
2082 expect (TokenType.ASSIGN);
2083 var expr = parse_expression ();
2084 attr.add_argument (id, expr);
2085 } while (accept (TokenType.COMMA));
2086 }
2087 expect (TokenType.CLOSE_PARENS);
2088 }
2089 attrs.add (attr);
2090 } while (accept (TokenType.COMMA));
2091 expect (TokenType.CLOSE_BRACKET);
2092 }
2093 expect (TokenType.EOL);
2094
2095 return attrs;
2096 }
2097
2098 void set_attributes (CodeNode node, Gee.List<Attribute>? attributes) {
2099 if (attributes != null) {
2100 foreach (Attribute attr in (Gee.List<Attribute>) attributes) {
2101 node.attributes.append (attr);
2102 }
2103 }
2104 }
2105
2106 Symbol parse_declaration (bool is_root = false) throws ParseError {
2107 comment = scanner.pop_comment ();
2108 var attrs = parse_attributes ();
2109
2110 switch (current ()) {
2111 case TokenType.CONST:
2112 return parse_constant_declaration (attrs);
2113 case TokenType.CONSTRUCT:
2114 return parse_creation_method_declaration (attrs);
2115 case TokenType.CLASS:
2116 return parse_class_declaration (attrs);
2117 case TokenType.INIT:
2118 if (is_root) {
2119 return parse_main_method_declaration (attrs);
2120 }
2121 return parse_constructor_declaration (attrs);
2122 case TokenType.DELEGATE:
2123 return parse_delegate_declaration (attrs);
2124 case TokenType.DEF:
2125 return parse_method_declaration (attrs);
2126 case TokenType.ENUM:
2127 return parse_enum_declaration (attrs);
2128 case TokenType.ERRORDOMAIN:
2129 return parse_errordomain_declaration (attrs);
2130 case TokenType.FINAL:
2131 return parse_destructor_declaration (attrs);
2132 case TokenType.INTERFACE:
2133 return parse_interface_declaration (attrs);
2134 case TokenType.NAMESPACE:
2135 return parse_namespace_declaration (attrs);
2136 case TokenType.PROP:
2137 return parse_property_declaration (attrs);
2138 case TokenType.EVENT:
2139 return parse_signal_declaration (attrs);
2140 case TokenType.STRUCT:
2141 return parse_struct_declaration (attrs);
2142 default:
2143 var begin = get_location ();
2144 while (current () != TokenType.EOL && current () != TokenType.SEMICOLON && current () != TokenType.EOF) {
2145 if (current () == TokenType.COLON) {
2146 rollback (begin);
2147 return parse_field_declaration (attrs);
2148 } else {
2149 next ();
2150 }
2151 }
2152 rollback (begin);
2153
2154 break;
2155 }
2156
2157 TokenType cur = current ();
2158 TokenType pre = tokens[index-1].type;
2159
2160 throw new ParseError.SYNTAX (get_error ("expected declaration but got %s with previous %s".printf (cur.to_string (), pre.to_string())));
2161 }
2162
2163 void parse_declarations (Symbol parent, bool root = false) throws ParseError {
2164 if (!root) {
2165 expect (TokenType.INDENT);
2166 }
2167 while (current () != TokenType.DEDENT && current () != TokenType.EOF) {
2168 try {
2169 if (parent is Namespace) {
2170 parse_namespace_member ((Namespace) parent);
2171 } else if (parent is Class) {
2172 parse_class_member ((Class) parent);
2173 } else if (parent is Struct) {
2174 parse_struct_member ((Struct) parent);
2175 } else if (parent is Interface) {
2176 parse_interface_member ((Interface) parent);
2177 }
2178 } catch (ParseError e) {
2179 int r;
2180 do {
2181 r = recover ();
2182 if (r == RecoveryState.STATEMENT_BEGIN) {
2183 next ();
2184 } else {
2185 break;
2186 }
2187 } while (true);
2188 if (r == RecoveryState.EOF) {
2189 return;
2190 }
2191 }
2192 }
2193 if (!root) {
2194 if (!accept (TokenType.DEDENT)) {
2195 // only report error if it's not a secondary error
2196 if (Report.get_errors () == 0) {
2197 Report.error (get_current_src (), "expected dedent");
2198 }
2199 }
2200 }
2201 }
2202
2203 enum RecoveryState {
2204 EOF,
2205 DECLARATION_BEGIN,
2206 STATEMENT_BEGIN
2207 }
2208
2209 RecoveryState recover () {
2210 while (current () != TokenType.EOF) {
2211 switch (current ()) {
2212 case TokenType.CLASS:
2213 case TokenType.CONST:
2214 case TokenType.CONSTRUCT:
2215 case TokenType.INIT:
2216 case TokenType.DEF:
2217 case TokenType.DELEGATE:
2218 case TokenType.ENUM:
2219 case TokenType.ERRORDOMAIN:
2220 case TokenType.FINAL:
2221 case TokenType.INTERFACE:
2222 case TokenType.NAMESPACE:
2223 case TokenType.PROP:
2224 case TokenType.EVENT:
2225 case TokenType.STRUCT:
2226 return RecoveryState.DECLARATION_BEGIN;
2227 case TokenType.BREAK:
2228 case TokenType.CASE:
2229 case TokenType.CONTINUE:
2230 case TokenType.DELETE:
2231 case TokenType.DO:
2232 case TokenType.FOR:
2233 case TokenType.IF:
2234 case TokenType.LOCK:
2235 case TokenType.RETURN:
2236 case TokenType.RAISE:
2237 case TokenType.TRY:
2238 case TokenType.VAR:
2239 case TokenType.WHILE:
2240 return RecoveryState.STATEMENT_BEGIN;
2241 default:
2242 next ();
2243 break;
2244 }
2245 }
2246 return RecoveryState.EOF;
2247 }
2248
2249 Namespace parse_namespace_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2250 var begin = get_location ();
2251 expect (TokenType.NAMESPACE);
2252 var sym = parse_symbol_name ();
2253 var ns = new Namespace (sym.name, get_src_com (begin));
2254 set_attributes (ns, attrs);
2255 expect (TokenType.EOL);
2256 parse_declarations (ns);
2257 return ns;
2258 }
2259
2260 void parse_namespace_member (Namespace ns) throws ParseError {
2261
2262 var sym = parse_declaration ((ns == context.root));
2263 if (sym is Namespace) {
2264 ns.add_namespace ((Namespace) sym);
2265 } else if (sym is Class) {
2266 ns.add_class ((Class) sym);
2267 } else if (sym is Interface) {
2268 ns.add_interface ((Interface) sym);
2269 } else if (sym is Struct) {
2270 ns.add_struct ((Struct) sym);
2271 } else if (sym is Enum) {
2272 ns.add_enum ((Enum) sym);
2273 } else if (sym is ErrorDomain) {
2274 ns.add_error_domain ((ErrorDomain) sym);
2275 } else if (sym is Delegate) {
2276 ns.add_delegate ((Delegate) sym);
2277 } else if (sym is Method) {
2278 var method = (Method) sym;
2279 if (method.binding == MemberBinding.INSTANCE) {
2280 method.binding = MemberBinding.STATIC;
2281 }
2282 ns.add_method (method);
2283 } else if (sym is Field) {
2284 var field = (Field) sym;
2285 if (field.binding == MemberBinding.INSTANCE) {
2286 field.binding = MemberBinding.STATIC;
2287 }
2288 ns.add_field (field);
2289 } else if (sym is Constant) {
2290 ns.add_constant ((Constant) sym);
2291 } else {
2292 Report.error (sym.source_reference, "unexpected declaration in namespace");
2293 }
2294 scanner.source_file.add_node (sym);
2295 }
2296
2297
2298 void add_uses_clause () throws ParseError {
2299 var begin = get_location ();
2300 var sym = parse_symbol_name ();
2301 var ns_ref = new UsingDirective (sym, get_src (begin));
2302
2303 scanner.source_file.add_using_directive (ns_ref);
2304 }
2305
2306 void parse_using_directives () throws ParseError {
2307 while (accept (TokenType.USES)) {
2308 if (accept_block ()) {
2309 expect (TokenType.INDENT);
2310
2311 while (current () != TokenType.DEDENT && current () != TokenType.EOF) {
2312 add_uses_clause ();
2313 expect (TokenType.EOL);
2314 }
2315
2316 expect (TokenType.DEDENT);
2317 } else {
2318 do {
2319 add_uses_clause ();
2320 } while (accept (TokenType.COMMA));
2321
2322 expect_terminator ();
2323 }
2324 }
2325
2326 }
2327
2328 Symbol parse_class_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2329 var begin = get_location ();
2330 expect (TokenType.CLASS);
2331
2332 var flags = parse_type_declaration_modifiers ();
2333
2334 var sym = parse_symbol_name ();
2335 var type_param_list = parse_type_parameter_list ();
2336 var base_types = new ArrayList<DataType> ();
2337 if (accept (TokenType.COLON)) {
2338 base_types.add (parse_type ());
2339
2340 if (accept (TokenType.IMPLEMENTS)) {
2341 do {
2342 base_types.add (parse_type ());
2343 } while (accept (TokenType.COMMA));
2344 }
2345 }
2346
2347 accept (TokenType.EOL);
2348
2349 var cl = new Class (sym.name, get_src_com (begin));
2350
2351 if (ModifierFlags.PRIVATE in flags) {
2352 cl.access = SymbolAccessibility.PRIVATE;
2353 } else {
2354 /* class must always be Public unless its name starts wtih underscore */
2355 if (sym.name[0] == '_') {
2356 cl.access = SymbolAccessibility.PRIVATE;
2357 } else {
2358 cl.access = SymbolAccessibility.PUBLIC;
2359 }
2360 }
2361
2362 if (ModifierFlags.ABSTRACT in flags) {
2363 cl.is_abstract = true;
2364 }
2365 set_attributes (cl, attrs);
2366 foreach (TypeParameter type_param in type_param_list) {
2367 cl.add_type_parameter (type_param);
2368 }
2369 foreach (DataType base_type in base_types) {
2370 cl.add_base_type (base_type);
2371 }
2372
2373 class_name = cl.name;
2374
2375 parse_declarations (cl);
2376
2377 // ensure there is always a default construction method
2378 if (!scanner.source_file.external_package
2379 && !cl.is_abstract
2380 && cl.default_construction_method == null) {
2381 var m = new CreationMethod (cl.name, null, cl.source_reference);
2382 m.binding = MemberBinding.STATIC;
2383 m.access = SymbolAccessibility.PUBLIC;
2384 m.body = new Block (cl.source_reference);
2385 cl.add_method (m);
2386 }
2387
2388 Symbol result = cl;
2389 while (sym.inner != null) {
2390 sym = sym.inner;
2391 var ns = new Namespace (sym.name, cl.source_reference);
2392 if (result is Namespace) {
2393 ns.add_namespace ((Namespace) result);
2394 } else {
2395 ns.add_class ((Class) result);
2396 scanner.source_file.add_node (result);
2397 }
2398 result = ns;
2399 }
2400 return result;
2401 }
2402
2403 void parse_class_member (Class cl) throws ParseError {
2404 var sym = parse_declaration ();
2405 if (sym is Class) {
2406 cl.add_class ((Class) sym);
2407 } else if (sym is Struct) {
2408 cl.add_struct ((Struct) sym);
2409 } else if (sym is Enum) {
2410 cl.add_enum ((Enum) sym);
2411 } else if (sym is Delegate) {
2412 cl.add_delegate ((Delegate) sym);
2413 } else if (sym is Method) {
2414 cl.add_method ((Method) sym);
2415 } else if (sym is Vala.Signal) {
2416 cl.add_signal ((Vala.Signal) sym);
2417 } else if (sym is Field) {
2418 cl.add_field ((Field) sym);
2419 } else if (sym is Constant) {
2420 cl.add_constant ((Constant) sym);
2421 } else if (sym is Property) {
2422 cl.add_property ((Property) sym);
2423 } else if (sym is Constructor) {
2424 var c = (Constructor) sym;
2425 if (c.binding == MemberBinding.INSTANCE) {
2426 cl.constructor = c;
2427 } else if (c.binding == MemberBinding.CLASS) {
2428 cl.class_constructor = c;
2429 } else {
2430 cl.static_constructor = c;
2431 }
2432 } else if (sym is Destructor) {
2433 cl.destructor = (Destructor) sym;
2434 } else {
2435 Report.error (sym.source_reference, "unexpected declaration in class");
2436 }
2437 }
2438
2439 Constant parse_constant_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2440 var begin = get_location ();
2441
2442 expect (TokenType.CONST);
2443
2444 parse_member_declaration_modifiers ();
2445
2446 string id = parse_identifier ();
2447 expect (TokenType.COLON);
2448 var type = parse_type (false);
2449
2450 Expression initializer = null;
2451 if (accept (TokenType.ASSIGN)) {
2452 initializer = parse_variable_initializer ();
2453 }
2454 expect_terminator ();
2455
2456 // constant arrays don't own their element
2457 var array_type = type as ArrayType;
2458 if (array_type != null) {
2459 array_type.element_type.value_owned = false;
2460 }
2461
2462 var c = new Constant (id, type, initializer, get_src_com (begin));
2463 c.access = get_access (id);
2464 set_attributes (c, attrs);
2465 return c;
2466 }
2467
2468 Field parse_field_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2469 var begin = get_location ();
2470 string id = parse_identifier ();
2471 expect (TokenType.COLON);
2472
2473 var flags = parse_member_declaration_modifiers ();
2474
2475 var type = parse_type ();
2476
2477 var f = new Field (id, type, null, get_src_com (begin));
2478
2479 if (ModifierFlags.ABSTRACT in flags || ModifierFlags.VIRTUAL in flags || ModifierFlags.OVERRIDE in flags) {
2480 Report.error (f.source_reference, "abstract, virtual, and override modifiers are not applicable to fields");
2481 }
2482
2483 if (ModifierFlags.PRIVATE in flags) {
2484 f.access = SymbolAccessibility.PRIVATE;
2485 } else {
2486 f.access = get_access (id);
2487 }
2488
2489 set_attributes (f, attrs);
2490
2491 if (accept (TokenType.ASSIGN)) {
2492 f.initializer = parse_expression ();
2493 }
2494
2495 if (ModifierFlags.STATIC in flags) {
2496 f.binding = MemberBinding.STATIC;
2497 } else if (ModifierFlags.CLASS in flags) {
2498 f.binding = MemberBinding.CLASS;
2499 }
2500
2501 expect_terminator ();
2502
2503 return f;
2504 }
2505
2506 InitializerList parse_initializer () throws ParseError {
2507 var begin = get_location ();
2508 if (!accept (TokenType.OPEN_PARENS)) {
2509 expect (TokenType.OPEN_BRACE);
2510 }
2511 var initializer = new InitializerList (get_src (begin));
2512 if (current () != TokenType.DEDENT) {
2513 do {
2514 var init = parse_variable_initializer ();
2515 initializer.append (init);
2516 } while (accept (TokenType.COMMA));
2517 }
2518 if (!accept (TokenType.CLOSE_PARENS)) {
2519 expect (TokenType.CLOSE_BRACE);
2520 }
2521 return initializer;
2522 }
2523
2524 bool is_initializer () throws ParseError {
2525 if (current () == TokenType.OPEN_BRACE) {
2526 return true;
2527 }
2528
2529 /*
2530 if (current () == TokenType.OPEN_PARENS) {
2531 var begin = get_location ();
2532 var is_array = false;
2533
2534 next ();
2535
2536 var expr = parse_expression ();
2537 is_array = (accept (TokenType.COMMA));
2538
2539 rollback (begin);
2540
2541 return is_array;
2542 }
2543 */
2544
2545 return false;
2546 }
2547
2548
2549 Expression parse_variable_initializer () throws ParseError {
2550 if (is_initializer ()) {
2551 var expr = parse_initializer ();
2552 return expr;
2553 } else {
2554 var expr = parse_expression ();
2555 return expr;
2556 }
2557 }
2558
2559
2560 Method parse_main_method_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2561 var id = "main";
2562 var begin = get_location ();
2563 DataType type = new VoidType ();
2564 expect (TokenType.INIT);
2565
2566 var method = new Method (id, type, get_src_com (begin));
2567 method.access = SymbolAccessibility.PUBLIC;
2568
2569 set_attributes (method, attrs);
2570
2571 method.binding = MemberBinding.STATIC;
2572
2573 var sym = new UnresolvedSymbol (null, "string", get_src (begin));
2574 type = new UnresolvedType.from_symbol (sym, get_src (begin));
2575 type.value_owned = true;
2576 type = new ArrayType (type, 1, get_src (begin));
2577 type.nullable = false;
2578
2579 var param = new FormalParameter ("args", type, get_src (begin));
2580 method.add_parameter (param);
2581
2582
2583 expect (TokenType.EOL);
2584
2585 if (accept_block ()) {
2586 method.body = parse_block ();
2587 }
2588
2589 return method;
2590 }
2591
2592 Method parse_method_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2593 var begin = get_location ();
2594 DataType type = new VoidType ();
2595 expect (TokenType.DEF);
2596 var flags = parse_member_declaration_modifiers ();
2597
2598 string id = parse_identifier ();
2599
2600 var params = new ArrayList<FormalParameter> ();
2601 expect (TokenType.OPEN_PARENS);
2602
2603 if (current () != TokenType.CLOSE_PARENS) {
2604 do {
2605 var param = parse_parameter ();
2606 params.add (param);
2607 } while (accept (TokenType.COMMA));
2608 }
2609
2610 expect (TokenType.CLOSE_PARENS);
2611
2612
2613 /* deal with return value */
2614 if (accept (TokenType.COLON)) {
2615 type = parse_type ();
2616 parse_type_parameter_list ();
2617 }
2618
2619
2620 var method = new Method (id, type, get_src_com (begin));
2621 if (ModifierFlags.PRIVATE in flags) {
2622 method.access = SymbolAccessibility.PRIVATE;
2623 } else {
2624 method.access = get_access (id);
2625 }
2626
2627
2628 set_attributes (method, attrs);
2629
2630 foreach (FormalParameter param in params) {
2631 method.add_parameter (param);
2632 }
2633
2634 if (accept (TokenType.RAISES)) {
2635 do {
2636 method.add_error_type (parse_type ());
2637 } while (accept (TokenType.COMMA));
2638 }
2639
2640
2641 if (ModifierFlags.STATIC in flags || id == "main") {
2642 method.binding = MemberBinding.STATIC;
2643 }
2644 if (ModifierFlags.ABSTRACT in flags) {
2645 method.is_abstract = true;
2646 }
2647 if (ModifierFlags.VIRTUAL in flags) {
2648 method.is_virtual = true;
2649 }
2650 if (ModifierFlags.OVERRIDE in flags) {
2651 method.overrides = true;
2652 }
2653 if (ModifierFlags.INLINE in flags) {
2654 method.is_inline = true;
2655 }
2656
2657 expect (TokenType.EOL);
2658
2659 var body_location = get_location ();
2660
2661
2662 /* "requires" and "ensures" if present will be at start of the method body */
2663 if (accept (TokenType.INDENT)) {
2664 if (accept (TokenType.REQUIRES)) {
2665
2666 if (accept (TokenType.EOL) && accept (TokenType.INDENT)) {
2667 while (current() != TokenType.DEDENT) {
2668 method.add_precondition (parse_expression ());
2669 expect (TokenType.EOL);
2670 }
2671
2672 expect (TokenType.DEDENT);
2673 accept_terminator ();
2674 } else {
2675
2676 method.add_precondition (parse_expression ());
2677 expect_terminator ();
2678
2679 }
2680
2681 }
2682
2683 if (accept (TokenType.ENSURES)) {
2684 if (accept (TokenType.EOL) && accept (TokenType.INDENT)) {
2685 while (current() != TokenType.DEDENT) {
2686 method.add_postcondition (parse_expression ());
2687 expect (TokenType.EOL);
2688 }
2689
2690 expect (TokenType.DEDENT);
2691 accept_terminator ();
2692 } else {
2693 method.add_postcondition (parse_expression ());
2694 expect_terminator ();
2695 }
2696 }
2697 }
2698
2699 rollback (body_location);
2700
2701
2702 if (accept_block ()) {
2703 method.body = parse_block ();
2704 }
2705 return method;
2706 }
2707
2708 Property parse_property_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2709 var begin = get_location ();
2710 var readonly = false;
2711
2712 expect (TokenType.PROP);
2713
2714 var flags = parse_member_declaration_modifiers ();
2715
2716 readonly = accept (TokenType.READONLY);
2717
2718 string id = parse_identifier ();
2719 expect (TokenType.COLON);
2720
2721 bool is_weak = accept (TokenType.WEAK);
2722 var type = parse_type (false);
2723
2724 var prop = new Property (id, type, null, null, get_src_com (begin));
2725 if (ModifierFlags.PRIVATE in flags) {
2726 prop.access = SymbolAccessibility.PRIVATE;
2727 } else {
2728 prop.access = get_access (id);
2729 }
2730
2731 set_attributes (prop, attrs);
2732 if (ModifierFlags.ABSTRACT in flags) {
2733 prop.is_abstract = true;
2734 }
2735 if (ModifierFlags.VIRTUAL in flags) {
2736 prop.is_virtual = true;
2737 }
2738 if (ModifierFlags.OVERRIDE in flags) {
2739 prop.overrides = true;
2740 }
2741
2742 if (accept (TokenType.ASSIGN)) {
2743 prop.default_expression = parse_expression ();
2744 }
2745
2746
2747 if (accept_block ()) {
2748 expect (TokenType.INDENT);
2749 while (current () != TokenType.DEDENT) {
2750 var accessor_begin = get_location ();
2751 parse_attributes ();
2752 if (accept (TokenType.GET)) {
2753 if (prop.get_accessor != null) {
2754 throw new ParseError.SYNTAX (get_error ("property get accessor already defined"));
2755 }
2756 Block block = null;
2757 if (accept_block ()) {
2758 block = parse_block ();
2759 }
2760 prop.get_accessor = new PropertyAccessor (true, false, false, block, get_src (accessor_begin));
2761 prop.get_accessor.access = SymbolAccessibility.PUBLIC;
2762 } else {
2763 bool _construct = false;
2764 if (accept (TokenType.SET)) {
2765 if (readonly) {
2766 throw new ParseError.SYNTAX (get_error ("set block not allowed for a read only property"));
2767 }
2768 _construct = accept (TokenType.CONSTRUCT);
2769 } else if (accept (TokenType.CONSTRUCT)) {
2770 _construct = true;
2771 } else if (!accept (TokenType.EOL)) {
2772 throw new ParseError.SYNTAX (get_error ("expected get, set, or construct"));
2773 }
2774
2775 if (prop.set_accessor != null) {
2776 throw new ParseError.SYNTAX (get_error ("property set accessor already defined"));
2777 }
2778
2779 Block block = null;
2780 if (accept_block ()) {
2781 block = parse_block ();
2782 }
2783 prop.set_accessor = new PropertyAccessor (false, !readonly, _construct, block, get_src (accessor_begin));
2784 prop.set_accessor.access = SymbolAccessibility.PUBLIC;
2785 }
2786 }
2787 accept (TokenType.EOL);
2788 expect (TokenType.DEDENT);
2789 } else {
2790 prop.get_accessor = new PropertyAccessor (true, false, false, null, get_src (begin));
2791 prop.get_accessor.access = SymbolAccessibility.PUBLIC;
2792
2793 if (!readonly) {
2794 prop.set_accessor = new PropertyAccessor (false, true, false, null, get_src (begin));
2795 prop.set_accessor.access = SymbolAccessibility.PUBLIC;
2796
2797 }
2798
2799 expect_terminator ();
2800 }
2801
2802 if (!prop.is_abstract && !scanner.source_file.external_package) {
2803 var needs_var = (readonly && (prop.get_accessor != null && prop.get_accessor.body == null));
2804
2805 if (!needs_var) {
2806 needs_var = (prop.get_accessor != null && prop.get_accessor.body == null) || (prop.set_accessor != null && prop.set_accessor.body == null);
2807 }
2808
2809 if (needs_var) {
2810 /* automatic property accessor body generation */
2811 var field_type = prop.property_type.copy ();
2812 field_type.value_owned = !is_weak;
2813 prop.field = new Field ("_%s".printf (prop.name), field_type, prop.default_expression, prop.source_reference);
2814 prop.field.access = SymbolAccessibility.PRIVATE;
2815 }
2816 }
2817
2818 return prop;
2819 }
2820
2821 Vala.Signal parse_signal_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2822 var begin = get_location ();
2823 DataType type;
2824
2825 expect (TokenType.EVENT);
2826 var flags = parse_member_declaration_modifiers ();
2827 string id = parse_identifier ();
2828
2829
2830 var params = new ArrayList<FormalParameter> ();
2831
2832 expect (TokenType.OPEN_PARENS);
2833 if (current () != TokenType.CLOSE_PARENS) {
2834 do {
2835 var param = parse_parameter ();
2836 params.add (param);
2837 } while (accept (TokenType.COMMA));
2838 }
2839 expect (TokenType.CLOSE_PARENS);
2840
2841 if (accept (TokenType.COLON)) {
2842 type = parse_type ();
2843 } else {
2844 type = new VoidType ();
2845 }
2846
2847 var sig = new Vala.Signal (id, type, get_src_com (begin));
2848 if (ModifierFlags.PRIVATE in flags) {
2849 sig.access = SymbolAccessibility.PRIVATE;
2850 } else {
2851 sig.access = get_access (id);
2852 }
2853
2854 if (ModifierFlags.VIRTUAL in flags) {
2855 sig.is_virtual = true;
2856 }
2857
2858 set_attributes (sig, attrs);
2859
2860 foreach (FormalParameter formal_param in params) {
2861 sig.add_parameter (formal_param);
2862 }
2863
2864 expect_terminator ();
2865 return sig;
2866 }
2867
2868 Constructor parse_constructor_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2869 var begin = get_location ();
2870
2871 expect (TokenType.INIT);
2872 var flags = parse_member_declaration_modifiers ();
2873
2874 var c = new Constructor (get_src_com (begin));
2875 if (ModifierFlags.STATIC in flags) {
2876 c.binding = MemberBinding.STATIC;
2877 } else if (ModifierFlags.CLASS in flags) {
2878 c.binding = MemberBinding.CLASS;
2879 }
2880
2881 accept_block ();
2882 c.body = parse_block ();
2883 return c;
2884 }
2885
2886 Destructor parse_destructor_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2887 var begin = get_location ();
2888 expect (TokenType.FINAL);
2889 var d = new Destructor (get_src_com (begin));
2890 accept_block ();
2891 d.body = parse_block ();
2892 return d;
2893 }
2894
2895 Symbol parse_struct_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2896 var begin = get_location ();
2897
2898 expect (TokenType.STRUCT);
2899 var flags = parse_type_declaration_modifiers ();
2900 var sym = parse_symbol_name ();
2901 var type_param_list = parse_type_parameter_list ();
2902 var base_types = new ArrayList<DataType> ();
2903 if (accept (TokenType.COLON)) {
2904 do {
2905 base_types.add (parse_type ());
2906 } while (accept (TokenType.COMMA));
2907 }
2908 var st = new Struct (sym.name, get_src_com (begin));
2909 if (ModifierFlags.PRIVATE in flags) {
2910 st.access = SymbolAccessibility.PRIVATE;
2911 } else {
2912 st.access = get_access (sym.name);
2913 }
2914 set_attributes (st, attrs);
2915 foreach (TypeParameter type_param in type_param_list) {
2916 st.add_type_parameter (type_param);
2917 }
2918 foreach (DataType base_type in base_types) {
2919 st.add_base_type (base_type);
2920 }
2921
2922 expect (TokenType.EOL);
2923
2924 parse_declarations (st);
2925
2926 Symbol result = st;
2927 while (sym.inner != null) {
2928 sym = sym.inner;
2929 var ns = new Namespace (sym.name, st.source_reference);
2930 if (result is Namespace) {
2931 ns.add_namespace ((Namespace) result);
2932 } else {
2933 ns.add_struct ((Struct) result);
2934 scanner.source_file.add_node (result);
2935 }
2936 result = ns;
2937 }
2938 return result;
2939 }
2940
2941 void parse_struct_member (Struct st) throws ParseError {
2942 var sym = parse_declaration ();
2943 if (sym is Method) {
2944 st.add_method ((Method) sym);
2945 } else if (sym is Field) {
2946 st.add_field ((Field) sym);
2947 } else if (sym is Constant) {
2948 st.add_constant ((Constant) sym);
2949 } else {
2950 Report.error (sym.source_reference, "unexpected declaration in struct");
2951 }
2952 }
2953
2954 Symbol parse_interface_declaration (Gee.List<Attribute>? attrs) throws ParseError {
2955 var begin = get_location ();
2956
2957 expect (TokenType.INTERFACE);
2958 var flags = parse_type_declaration_modifiers ();
2959 var sym = parse_symbol_name ();
2960 var type_param_list = parse_type_parameter_list ();
2961 var base_types = new ArrayList<DataType> ();
2962 if (accept (TokenType.COLON)) {
2963 do {
2964 base_types.add (parse_type ());
2965 } while (accept (TokenType.COMMA));
2966 }
2967 var iface = new Interface (sym.name, get_src_com (begin));
2968 if (ModifierFlags.PRIVATE in flags) {
2969 iface.access = SymbolAccessibility.PRIVATE;
2970 } else {
2971 iface.access = get_access (sym.name);
2972 }
2973
2974 set_attributes (iface, attrs);
2975 foreach (TypeParameter type_param in type_param_list) {
2976 iface.add_type_parameter (type_param);
2977 }
2978 foreach (DataType base_type in base_types) {
2979 iface.add_prerequisite (base_type);
2980 }
2981
2982
2983 expect (TokenType.EOL);
2984
2985 parse_declarations (iface);
2986
2987
2988 Symbol result = iface;
2989 while (sym.inner != null) {
2990 sym = sym.inner;
2991 var ns = new Namespace (sym.name, iface.source_reference);
2992 if (result is Namespace) {
2993 ns.add_namespace ((Namespace) result);
2994 } else {
2995 ns.add_interface ((Interface) result);
2996 scanner.source_file.add_node (result);
2997 }
2998 result = ns;
2999 }
3000 return result;
3001 }
3002
3003 void parse_interface_member (Interface iface) throws ParseError {
3004 var sym = parse_declaration ();
3005 if (sym is Class) {
3006 iface.add_class ((Class) sym);
3007 } else if (sym is Struct) {
3008 iface.add_struct ((Struct) sym);
3009 } else if (sym is Enum) {
3010 iface.add_enum ((Enum) sym);
3011 } else if (sym is Delegate) {
3012 iface.add_delegate ((Delegate) sym);
3013 } else if (sym is Method) {
3014 iface.add_method ((Method) sym);
3015 } else if (sym is Vala.Signal) {
3016 iface.add_signal ((Vala.Signal) sym);
3017 } else if (sym is Field) {
3018 iface.add_field ((Field) sym);
3019 } else if (sym is Property) {
3020 iface.add_property ((Property) sym);
3021 } else {
3022 Report.error (sym.source_reference, "unexpected declaration in interface");
3023 }
3024 }
3025
3026 Symbol parse_enum_declaration (Gee.List<Attribute>? attrs) throws ParseError {
3027 var begin = get_location ();
3028 expect (TokenType.ENUM);
3029 var flags = parse_type_declaration_modifiers ();
3030
3031 var sym = parse_symbol_name ();
3032 var en = new Enum (sym.name, get_src_com (begin));
3033 if (ModifierFlags.PRIVATE in flags) {
3034 en.access = SymbolAccessibility.PRIVATE;
3035 } else {
3036 en.access = get_access (sym.name);
3037 }
3038 set_attributes (en, attrs);
3039
3040 expect (TokenType.EOL);
3041 expect (TokenType.INDENT);
3042 do {
3043 if (current () == TokenType.DEDENT) {
3044 // allow trailing comma
3045 break;
3046 }
3047 var value_attrs = parse_attributes ();
3048 var value_begin = get_location ();
3049 string id = parse_identifier ();
3050
3051 var ev = new EnumValue (id, get_src (value_begin));
3052 set_attributes (ev, value_attrs);
3053
3054 if (accept (TokenType.ASSIGN)) {
3055 ev.value = parse_expression ();
3056 }
3057 en.add_value (ev);
3058 expect (TokenType.EOL);
3059 } while (true);
3060
3061 expect (TokenType.DEDENT);
3062
3063 Symbol result = en;
3064 while (sym.inner != null) {
3065 sym = sym.inner;
3066 var ns = new Namespace (sym.name, en.source_reference);
3067 if (result is Namespace) {
3068 ns.add_namespace ((Namespace) result);
3069 } else {
3070 ns.add_enum ((Enum) result);
3071 scanner.source_file.add_node (result);
3072 }
3073 result = ns;
3074 }
3075 return result;
3076 }
3077
3078 Symbol parse_errordomain_declaration (Gee.List<Attribute>? attrs) throws ParseError {
3079 var begin = get_location ();
3080 expect (TokenType.ERRORDOMAIN);
3081 var flags = parse_type_declaration_modifiers ();
3082
3083 var sym = parse_symbol_name ();
3084 var ed = new ErrorDomain (sym.name, get_src_com (begin));
3085 if (ModifierFlags.PRIVATE in flags) {
3086 ed.access = SymbolAccessibility.PRIVATE;
3087 } else {
3088 ed.access = get_access (sym.name);
3089 }
3090
3091 set_attributes (ed, attrs);
3092
3093 expect (TokenType.EOL);
3094 expect (TokenType.INDENT);
3095
3096 do {
3097 if (current () == TokenType.DEDENT) {
3098 // allow trailing comma
3099 break;
3100 }
3101 var code_attrs = parse_attributes ();
3102 string id = parse_identifier ();
3103
3104 var ec = new ErrorCode (id);
3105 set_attributes (ec, code_attrs);
3106 if (accept (TokenType.ASSIGN)) {
3107 ec.value = parse_expression ();
3108 }
3109 ed.add_code (ec);
3110 accept (TokenType.EOL);
3111 } while (true);
3112
3113
3114 expect (TokenType.DEDENT);
3115
3116 Symbol result = ed;
3117 while (sym.inner != null) {
3118 sym = sym.inner;
3119 var ns = new Namespace (sym.name, ed.source_reference);
3120
3121 if (result is Namespace) {
3122 ns.add_namespace ((Namespace) result);
3123 } else {
3124 ns.add_error_domain ((ErrorDomain) result);
3125 scanner.source_file.add_node (result);
3126 }
3127 result = ns;
3128 }
3129 return result;
3130 }
3131
3132 ModifierFlags parse_type_declaration_modifiers () {
3133 ModifierFlags flags = 0;
3134 while (true) {
3135 switch (current ()) {
3136 case TokenType.ABSTRACT:
3137 next ();
3138 flags |= ModifierFlags.ABSTRACT;
3139 break;
3140
3141 case TokenType.EXTERN:
3142 next ();
3143 flags |= ModifierFlags.EXTERN;
3144 break;
3145
3146 case TokenType.STATIC:
3147 next ();
3148 flags |= ModifierFlags.STATIC;
3149 break;
3150
3151 case TokenType.PRIVATE:
3152 next ();
3153 flags |= ModifierFlags.PRIVATE;
3154 break;
3155
3156 default:
3157 return flags;
3158 }
3159 }
3160 }
3161
3162 ModifierFlags parse_member_declaration_modifiers () {
3163 ModifierFlags flags = 0;
3164 while (true) {
3165 switch (current ()) {
3166 case TokenType.ABSTRACT:
3167 next ();
3168 flags |= ModifierFlags.ABSTRACT;
3169 break;
3170 case TokenType.CLASS:
3171 next ();
3172 flags |= ModifierFlags.CLASS;
3173 break;
3174 case TokenType.EXTERN:
3175 next ();
3176 flags |= ModifierFlags.EXTERN;
3177 break;
3178 case TokenType.INLINE:
3179 next ();
3180 flags |= ModifierFlags.INLINE;
3181 break;
3182 case TokenType.OVERRIDE:
3183 next ();
3184 flags |= ModifierFlags.OVERRIDE;
3185 break;
3186 case TokenType.STATIC:
3187 next ();
3188 flags |= ModifierFlags.STATIC;
3189 break;
3190 case TokenType.VIRTUAL:
3191 next ();
3192 flags |= ModifierFlags.VIRTUAL;
3193 break;
3194 case TokenType.PRIVATE:
3195 next ();
3196 flags |= ModifierFlags.PRIVATE;
3197 break;
3198 default:
3199 return flags;
3200 }
3201 }
3202 }
3203
3204 FormalParameter parse_parameter () throws ParseError {
3205 var attrs = parse_attributes ();
3206 var begin = get_location ();
3207 if (accept (TokenType.ELLIPSIS)) {
3208 // varargs
3209 return new FormalParameter.with_ellipsis (get_src (begin));
3210 }
3211
3212 var direction = ParameterDirection.IN;
3213 if (accept (TokenType.OUT)) {
3214 direction = ParameterDirection.OUT;
3215 } else if (accept (TokenType.REF)) {
3216 direction = ParameterDirection.REF;
3217 }
3218
3219 string id = parse_identifier ();
3220
3221 expect (TokenType.COLON);
3222
3223 DataType type;
3224 if (direction == ParameterDirection.IN) {
3225 type = parse_type (false);
3226 } else {
3227 type = parse_type (true);
3228 }
3229
3230 var param = new FormalParameter (id, type, get_src (begin));
3231 set_attributes (param, attrs);
3232 param.direction = direction;
3233 if (accept (TokenType.ASSIGN)) {
3234 param.default_expression = parse_expression ();
3235 }
3236 return param;
3237 }
3238
3239 CreationMethod parse_creation_method_declaration (Gee.List<Attribute>? attrs) throws ParseError {
3240 var begin = get_location ();
3241 CreationMethod method;
3242
3243 expect (TokenType.CONSTRUCT);
3244
3245 parse_member_declaration_modifiers ();
3246
3247
3248 if (accept (TokenType.OPEN_PARENS)) {
3249 /* create default name using class name */
3250 method = new CreationMethod (class_name, null, get_src_com (begin));
3251 } else {
3252 var sym = parse_symbol_name ();
3253 if (sym.inner == null) {
3254
3255 if (sym.name != class_name) {
3256 method = new CreationMethod (class_name, sym.name, get_src_com (begin));
3257 } else {
3258 method = new CreationMethod (sym.name, null, get_src_com (begin));
3259 }
3260 } else {
3261 method = new CreationMethod (sym.inner.name, sym.name, get_src_com (begin));
3262 }
3263 expect (TokenType.OPEN_PARENS);
3264 }
3265
3266
3267 if (current () != TokenType.CLOSE_PARENS) {
3268 do {
3269 var param = parse_parameter ();
3270 method.add_parameter (param);
3271 } while (accept (TokenType.COMMA));
3272 }
3273 expect (TokenType.CLOSE_PARENS);
3274 if (accept (TokenType.RAISES)) {
3275 do {
3276 method.add_error_type (parse_type ());
3277 } while (accept (TokenType.COMMA));
3278 }
3279 method.access = SymbolAccessibility.PUBLIC;
3280 set_attributes (method, attrs);
3281 method.binding = MemberBinding.STATIC;
3282
3283 if (accept_block ()) {
3284 method.body = parse_block ();
3285 }
3286
3287 return method;
3288 }
3289
3290 Symbol parse_delegate_declaration (Gee.List<Attribute>? attrs) throws ParseError {
3291 var begin = get_location ();
3292 DataType type;
3293
3294 expect (TokenType.DELEGATE);
3295
3296 var flags = parse_member_declaration_modifiers ();
3297
3298 var sym = parse_symbol_name ();
3299
3300 var type_param_list = parse_type_parameter_list ();
3301
3302
3303 var params = new ArrayList<FormalParameter> ();
3304
3305 expect (TokenType.OPEN_PARENS);
3306 if (current () != TokenType.CLOSE_PARENS) {
3307 do {
3308 var param = parse_parameter ();
3309 params.add (param);
3310 } while (accept (TokenType.COMMA));
3311 }
3312 expect (TokenType.CLOSE_PARENS);
3313
3314 if (accept (TokenType.COLON)) {
3315 type = parse_type ();
3316
3317 } else {
3318 type = new VoidType ();
3319 }
3320
3321 if (accept (TokenType.RAISES)) {
3322 do {
3323 parse_type ();
3324 } while (accept (TokenType.COMMA));
3325 }
3326
3327 expect_terminator ();
3328
3329 var d = new Delegate (sym.name, type, get_src_com (begin));
3330 if (ModifierFlags.PRIVATE in flags) {
3331 d.access = SymbolAccessibility.PRIVATE;
3332 } else {
3333 d.access = get_access (sym.name);
3334 }
3335
3336 set_attributes (d, attrs);
3337
3338 foreach (TypeParameter type_param in type_param_list) {
3339 d.add_type_parameter (type_param);
3340 }
3341
3342 foreach (FormalParameter formal_param in params) {
3343 d.add_parameter (formal_param);
3344 }
3345
3346 if (!(ModifierFlags.STATIC in flags)) {
3347 d.has_target = true;
3348 }
3349
3350
3351 Symbol result = d;
3352 while (sym.inner != null) {
3353 sym = sym.inner;
3354 var ns = new Namespace (sym.name, d.source_reference);
3355
3356 if (result is Namespace) {
3357 ns.add_namespace ((Namespace) result);
3358 } else {
3359 ns.add_delegate ((Delegate) result);
3360 scanner.source_file.add_node (result);
3361 }
3362 result = ns;
3363 }
3364 return result;
3365 }
3366
3367 Gee.List<TypeParameter> parse_type_parameter_list () throws ParseError {
3368 var list = new ArrayList<TypeParameter> ();
3369 if (accept (TokenType.OF)) {
3370 do {
3371 var begin = get_location ();
3372 string id = parse_identifier ();
3373 list.add (new TypeParameter (id, get_src (begin)));
3374 } while (accept (TokenType.COMMA));
3375
3376 }
3377 return list;
3378 }
3379
3380 void skip_type_argument_list () throws ParseError {
3381 if (accept (TokenType.OF)) {
3382 do {
3383 skip_type ();
3384 } while (accept (TokenType.COMMA));
3385 }
3386 }
3387
3388 // try to parse type argument list
3389 Gee.List<DataType>? parse_type_argument_list (bool maybe_expression) throws ParseError {
3390 var begin = get_location ();
3391 if (accept (TokenType.OF)) {
3392 var list = new ArrayList<DataType> ();
3393 do {
3394 switch (current ()) {
3395 case TokenType.VOID:
3396 case TokenType.DYNAMIC:
3397 case TokenType.WEAK:
3398 case TokenType.IDENTIFIER:
3399 var type = parse_type ();
3400
3401 list.add (type);
3402 break;
3403 default:
3404 rollback (begin);
3405 return null;
3406 }
3407 } while (accept (TokenType.COMMA));
3408
3409 return list;
3410 }
3411 return null;
3412 }
3413
3414 MemberAccess parse_member_name () throws ParseError {
3415 var begin = get_location ();
3416 MemberAccess expr = null;
3417 do {
3418 string id = parse_identifier ();
3419 Gee.List<DataType> type_arg_list = parse_type_argument_list (false);
3420 expr = new MemberAccess (expr, id, get_src (begin));
3421 if (type_arg_list != null) {
3422 foreach (DataType type_arg in type_arg_list) {
3423 expr.add_type_argument (type_arg);
3424 }
3425 }
3426 } while (accept (TokenType.DOT));
3427 return expr;
3428 }
3429 }
3430
vala-lang from freesmartphone.org