]> gcc.gnu.org Git - gcc.git/blob - gcc/m2/gm2-compiler/PCBuild.bnf
git://gcc.gnu.org / gcc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Remove unused parameter warning via introducing attribute unused.
[gcc.git] / gcc / m2 / gm2-compiler / PCBuild.bnf
1 --
2 -- m2-c.bnf grammar and associated actions for pass C.
3 --
4 -- Copyright (C) 2001-2022 Free Software Foundation, Inc.
5 -- Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
6 --
7 -- This file is part of GNU Modula-2.
8 --
9 -- GNU Modula-2 is free software; you can redistribute it and/or modify
10 -- it under the terms of the GNU General Public License as published by
11 -- the Free Software Foundation; either version 3, or (at your option)
12 -- any later version.
13 --
14 -- GNU Modula-2 is distributed in the hope that it will be useful, but
15 -- WITHOUT ANY WARRANTY; without even the implied warranty of
16 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 -- General Public License for more details.
18 --
19 -- You should have received a copy of the GNU General Public License
20 -- along with GNU Modula-2; see the file COPYING3. If not see
21 -- <http://www.gnu.org/licenses/>.
22 % module PCBuild begin
23 (* output from m2-c.bnf, automatically generated do not edit if these
24 are the top two lines in the file.
25
26 Copyright (C) 2001-2022 Free Software Foundation, Inc.
27 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
28
29 This file is part of GNU Modula-2.
30
31 GNU Modula-2 is free software; you can redistribute it and/or modify
32 it under the terms of the GNU General Public License as published by
33 the Free Software Foundation; either version 3, or (at your option)
34 any later version.
35
36 GNU Modula-2 is distributed in the hope that it will be useful, but
37 WITHOUT ANY WARRANTY; without even the implied warranty of
38 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
39 General Public License for more details.
40
41 You should have received a copy of the GNU General Public License
42 along with GNU Modula-2; see the file COPYING. If not,
43 see <https://www.gnu.org/licenses/>. *)
44
45 IMPLEMENTATION MODULE PCBuild ;
46
47 FROM M2LexBuf IMPORT currentstring, currenttoken, GetToken, InsertToken,
48 InsertTokenAndRewind, GetTokenNo, MakeVirtualTok ;
49
50 FROM M2Error IMPORT ErrorStringAt, WriteFormat1, WriteFormat2 ;
51 FROM NameKey IMPORT NulName, Name, makekey ;
52 FROM DynamicStrings IMPORT String, InitString, KillString, Mark, ConCat, ConCatChar ;
53 FROM M2Printf IMPORT printf0 ;
54 FROM M2Debug IMPORT Assert ;
55 FROM P2SymBuild IMPORT BuildString, BuildNumber ;
56
57 FROM M2Reserved IMPORT tokToTok, toktype,
58 NulTok, ImportTok, ExportTok, QualifiedTok, UnQualifiedTok,
59 EqualTok, HashTok, LessGreaterTok, LessTok, LessEqualTok,
60 GreaterTok, GreaterEqualTok, InTok, PlusTok, MinusTok,
61 OrTok, TimesTok, DivTok, DivideTok, ModTok, RemTok,
62 AndTok, AmbersandTok, PeriodPeriodTok, ByTok ;
63
64 FROM M2Quads IMPORT Top, PushT, PopT, PushTF, PopTF, PopNothing, OperandT, PushTFA,
65 PushTFn, PopTFn, PushTFtok, PopTtok, PopTFtok, PushTtok,
66 PushT, PushTF, IsAutoPushOn, PushAutoOff, PushAutoOn, PopAuto,
67 BuildTypeForConstructor, BuildConstructor, BuildConstructorEnd,
68 NextConstructorField, SilentBuildConstructor ;
69
70 FROM P3SymBuild IMPORT CheckCanBeImported ;
71
72 FROM PCSymBuild IMPORT PCStartBuildProgModule,
73 PCEndBuildProgModule,
74
75 PCStartBuildDefModule,
76 PCEndBuildDefModule,
77
78 PCStartBuildImpModule,
79 PCEndBuildImpModule,
80
81 PCStartBuildInnerModule,
82 PCEndBuildInnerModule,
83
84 PCStartBuildProcedure,
85 PCBuildProcedureHeading,
86 PCEndBuildProcedure,
87 PCBuildImportOuterModule,
88 PCBuildImportInnerModule,
89 StartDesConst,
90 EndDesConst,
91 BuildRelationConst,
92 BuildBinaryConst,
93 BuildUnaryConst,
94 PushIntegerType,
95 PushStringType,
96 PushConstructorCastType,
97 PushInConstructor,
98 PopInConstructor,
99 PushConstFunctionType,
100 PushConstType,
101 PushConstAttributeType,
102 PushConstAttributePairType,
103 PushRType ;
104
105 FROM SymbolTable IMPORT MakeGnuAsm, PutGnuAsmVolatile, PutGnuAsm, PutGnuAsmInput,
106 PutGnuAsmOutput, PutGnuAsmTrash, PutGnuAsmVolatile,
107 MakeRegInterface,
108 PutRegInterface,
109 GetSymName, GetType, SkipType,
110 NulSym,
111 StartScope, EndScope,
112 PutIncluded,
113 IsVarParam, IsProcedure, IsDefImp, IsModule,
114 IsRecord, IsProcType,
115 RequestSym,
116 GetSym, GetLocalSym ;
117
118 FROM M2Batch IMPORT IsModuleKnown ;
119
120 IMPORT M2Error ;
121
122
123 CONST
124 Debugging = FALSE ;
125 Pass1 = FALSE ;
126
127 VAR
128 WasNoError : BOOLEAN ;
129
130
131 PROCEDURE ErrorString (s: String) ;
132 BEGIN
133 ErrorStringAt(s, GetTokenNo()) ;
134 WasNoError := FALSE
135 END ErrorString ;
136
137
138 PROCEDURE ErrorArray (a: ARRAY OF CHAR) ;
139 BEGIN
140 ErrorString(InitString(a))
141 END ErrorArray ;
142
143
144 % declaration PCBuild begin
145
146
147 (*
148 SyntaxError - after a syntax error we skip all tokens up until we reach
149 a stop symbol.
150 *)
151
152 PROCEDURE SyntaxError (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
153 BEGIN
154 DescribeError ;
155 IF Debugging
156 THEN
157 printf0('\nskipping token *** ')
158 END ;
159 (* --fixme-- this assumes a 32 bit word size. *)
160 WHILE NOT (((ORD(currenttoken)<32) AND (currenttoken IN stopset0)) OR
161 ((ORD(currenttoken)>=32) AND (ORD(currenttoken)<64) AND (currenttoken IN stopset1)) OR
162 ((ORD(currenttoken)>=64) AND (currenttoken IN stopset2)))
163 DO
164 GetToken
165 END ;
166 IF Debugging
167 THEN
168 printf0(' ***\n')
169 END
170 END SyntaxError ;
171
172
173 (*
174 SyntaxCheck -
175 *)
176
177 PROCEDURE SyntaxCheck (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
178 BEGIN
179 (* --fixme-- this assumes a 32 bit word size. *)
180 IF NOT (((ORD(currenttoken)<32) AND (currenttoken IN stopset0)) OR
181 ((ORD(currenttoken)>=32) AND (ORD(currenttoken)<64) AND (currenttoken IN stopset1)) OR
182 ((ORD(currenttoken)>=64) AND (currenttoken IN stopset2)))
183 THEN
184 SyntaxError(stopset0, stopset1, stopset2)
185 END
186 END SyntaxCheck ;
187
188
189 (*
190 WarnMissingToken - generates a warning message about a missing token, t.
191 *)
192
193 PROCEDURE WarnMissingToken (t: toktype) ;
194 VAR
195 s0 : SetOfStop0 ;
196 s1 : SetOfStop1 ;
197 s2 : SetOfStop2 ;
198 str: String ;
199 BEGIN
200 s0 := SetOfStop0{} ;
201 s1 := SetOfStop1{} ;
202 s2 := SetOfStop2{} ;
203 IF ORD(t)<32
204 THEN
205 s0 := SetOfStop0{t}
206 ELSIF ORD(t)<64
207 THEN
208 s1 := SetOfStop1{t}
209 ELSE
210 s2 := SetOfStop2{t}
211 END ;
212 str := DescribeStop(s0, s1, s2) ;
213
214 str := ConCat(InitString('syntax error,'), Mark(str)) ;
215 ErrorStringAt(str, GetTokenNo())
216 END WarnMissingToken ;
217
218
219 (*
220 MissingToken - generates a warning message about a missing token, t.
221 *)
222
223 PROCEDURE MissingToken (t: toktype) ;
224 BEGIN
225 WarnMissingToken(t) ;
226 IF (t#identtok) AND (t#integertok) AND (t#realtok) AND (t#stringtok)
227 THEN
228 IF Debugging
229 THEN
230 printf0('inserting token\n')
231 END ;
232 InsertToken(t)
233 END
234 END MissingToken ;
235
236
237 (*
238 CheckAndInsert -
239 *)
240
241 PROCEDURE CheckAndInsert (t: toktype; stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) : BOOLEAN ;
242 BEGIN
243 IF ((ORD(t)<32) AND (t IN stopset0)) OR
244 ((ORD(t)>=32) AND (ORD(t)<64) AND (t IN stopset1)) OR
245 ((ORD(t)>=64) AND (t IN stopset2))
246 THEN
247 WarnMissingToken(t) ;
248 InsertTokenAndRewind(t) ;
249 RETURN( TRUE )
250 ELSE
251 RETURN( FALSE )
252 END
253 END CheckAndInsert ;
254
255
256 (*
257 InStopSet
258 *)
259
260 PROCEDURE InStopSet (t: toktype; stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) : BOOLEAN ;
261 BEGIN
262 IF ((ORD(t)<32) AND (t IN stopset0)) OR
263 ((ORD(t)>=32) AND (ORD(t)<64) AND (t IN stopset1)) OR
264 ((ORD(t)>=64) AND (t IN stopset2))
265 THEN
266 RETURN( TRUE )
267 ELSE
268 RETURN( FALSE )
269 END
270 END InStopSet ;
271
272
273 (*
274 PeepToken - peep token checks to see whether the stopset is satisfied by currenttoken
275 If it is not then it will insert a token providing the token
276 is one of ; ] ) } . OF END ,
277
278 if the stopset contains <identtok> then we do not insert a token
279 *)
280
281 PROCEDURE PeepToken (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
282 BEGIN
283 (* and again (see above re: ORD)
284 *)
285 IF (NOT (((ORD(currenttoken)<32) AND (currenttoken IN stopset0)) OR
286 ((ORD(currenttoken)>=32) AND (ORD(currenttoken)<64) AND (currenttoken IN stopset1)) OR
287 ((ORD(currenttoken)>=64) AND (currenttoken IN stopset2)))) AND
288 (NOT InStopSet(identtok, stopset0, stopset1, stopset2))
289 THEN
290 (* SyntaxCheck would fail since currentoken is not part of the stopset
291 we check to see whether any of currenttoken might be a commonly omitted token *)
292 IF CheckAndInsert(semicolontok, stopset0, stopset1, stopset2) OR
293 CheckAndInsert(rsbratok, stopset0, stopset1, stopset2) OR
294 CheckAndInsert(rparatok, stopset0, stopset1, stopset2) OR
295 CheckAndInsert(rcbratok, stopset0, stopset1, stopset2) OR
296 CheckAndInsert(periodtok, stopset0, stopset1, stopset2) OR
297 CheckAndInsert(oftok, stopset0, stopset1, stopset2) OR
298 CheckAndInsert(endtok, stopset0, stopset1, stopset2) OR
299 CheckAndInsert(commatok, stopset0, stopset1, stopset2)
300 THEN
301 END
302 END
303 END PeepToken ;
304
305
306 (*
307 Expect -
308 *)
309
310 PROCEDURE Expect (t: toktype; stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
311 BEGIN
312 IF currenttoken=t
313 THEN
314 GetToken ;
315 IF Pass1
316 THEN
317 PeepToken(stopset0, stopset1, stopset2)
318 END
319 ELSE
320 MissingToken(t)
321 END ;
322 SyntaxCheck(stopset0, stopset1, stopset2)
323 END Expect ;
324
325
326 (*
327 CompilationUnit - returns TRUE if the input was correct enough to parse
328 in future passes.
329 *)
330
331 PROCEDURE CompilationUnit () : BOOLEAN ;
332 BEGIN
333 WasNoError := TRUE ;
334 FileUnit(SetOfStop0{eoftok}, SetOfStop1{}, SetOfStop2{}) ;
335 RETURN( WasNoError )
336 END CompilationUnit ;
337
338
339 (*
340 Ident - error checking varient of Ident
341 *)
342
343 PROCEDURE Ident (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
344 BEGIN
345 IF IsAutoPushOn()
346 THEN
347 PushTF(makekey(currentstring), identtok)
348 END ;
349 Expect(identtok, stopset0, stopset1, stopset2)
350 END Ident ;
351
352
353 (*
354 string -
355 *)
356
357 PROCEDURE string (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
358 BEGIN
359 IF IsAutoPushOn()
360 THEN
361 PushTF(makekey(currentstring), stringtok) ;
362 BuildString
363 END ;
364 Expect(stringtok, stopset0, stopset1, stopset2)
365 END string ;
366
367
368 (*
369 Integer -
370 *)
371
372 PROCEDURE Integer (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
373 BEGIN
374 IF IsAutoPushOn()
375 THEN
376 PushTFtok (makekey(currentstring), integertok, GetTokenNo ()) ;
377 BuildNumber
378 END ;
379 Expect(integertok, stopset0, stopset1, stopset2)
380 END Integer ;
381
382
383 (*
384 Real -
385 *)
386
387 PROCEDURE Real (stopset0: SetOfStop0; stopset1: SetOfStop1; stopset2: SetOfStop2) ;
388 BEGIN
389 IF IsAutoPushOn()
390 THEN
391 PushTFtok (makekey(currentstring), realtok, GetTokenNo ()) ;
392 BuildNumber
393 END ;
394 Expect(realtok, stopset0, stopset1, stopset2)
395 END Real ;
396
397 % module PCBuild end
398 END PCBuild.
399 % rules
400 error 'ErrorArray' 'ErrorString'
401 tokenfunc 'currenttoken'
402
403 token '' eoftok -- internal token
404 token '+' plustok
405 token '-' minustok
406 token '*' timestok
407 token '/' dividetok
408 token ':=' becomestok
409 token '&' ambersandtok
410 token "." periodtok
411 token "," commatok
412 token ";" semicolontok
413 token '(' lparatok
414 token ')' rparatok
415 token '[' lsbratok -- left square brackets
416 token ']' rsbratok -- right square brackets
417 token '{' lcbratok -- left curly brackets
418 token '}' rcbratok -- right curly brackets
419 token '^' uparrowtok
420 token "'" singlequotetok
421 token '=' equaltok
422 token '#' hashtok
423 token '<' lesstok
424 token '>' greatertok
425 token '<>' lessgreatertok
426 token '<=' lessequaltok
427 token '>=' greaterequaltok
428 token '<*' ldirectivetok
429 token '*>' rdirectivetok
430 token '..' periodperiodtok
431 token ':' colontok
432 token '"' doublequotestok
433 token '|' bartok
434 token 'AND' andtok
435 token 'ARRAY' arraytok
436 token 'BEGIN' begintok
437 token 'BY' bytok
438 token 'CASE' casetok
439 token 'CONST' consttok
440 token 'DEFINITION' definitiontok
441 token 'DIV' divtok
442 token 'DO' dotok
443 token 'ELSE' elsetok
444 token 'ELSIF' elsiftok
445 token 'END' endtok
446 token 'EXCEPT' excepttok
447 token 'EXIT' exittok
448 token 'EXPORT' exporttok
449 token 'FINALLY' finallytok
450 token 'FOR' fortok
451 token 'FROM' fromtok
452 token 'IF' iftok
453 token 'IMPLEMENTATION' implementationtok
454 token 'IMPORT' importtok
455 token 'IN' intok
456 token 'LOOP' looptok
457 token 'MOD' modtok
458 token 'MODULE' moduletok
459 token 'NOT' nottok
460 token 'OF' oftok
461 token 'OR' ortok
462 token 'PACKEDSET' packedsettok
463 token 'POINTER' pointertok
464 token 'PROCEDURE' proceduretok
465 token 'QUALIFIED' qualifiedtok
466 token 'UNQUALIFIED' unqualifiedtok
467 token 'RECORD' recordtok
468 token 'REM' remtok
469 token 'REPEAT' repeattok
470 token 'RETRY' retrytok
471 token 'RETURN' returntok
472 token 'SET' settok
473 token 'THEN' thentok
474 token 'TO' totok
475 token 'TYPE' typetok
476 token 'UNTIL' untiltok
477 token 'VAR' vartok
478 token 'WHILE' whiletok
479 token 'WITH' withtok
480 token 'ASM' asmtok
481 token 'VOLATILE' volatiletok
482 token '...' periodperiodperiodtok
483 token '__DATE__' datetok
484 token '__LINE__' linetok
485 token '__FILE__' filetok
486 token '__ATTRIBUTE__' attributetok
487 token '__BUILTIN__' builtintok
488 token '__INLINE__' inlinetok
489 token 'integer number' integertok
490 token 'identifier' identtok
491 token 'real number' realtok
492 token 'string' stringtok
493
494 special Ident first { < identtok > } follow { }
495 special Integer first { < integertok > } follow { }
496 special Real first { < realtok > } follow { }
497 special string first { < stringtok > } follow { }
498
499 BNF
500
501 -- the following are provided by the module m2flex and also handbuild procedures below
502 -- Ident := Letter { ( Letter | Digit ) } =:
503 -- Integer := Digit { Digit } | OctalDigit { OctalDigit } ( " B " | " C " ) |
504 -- Digit { HexDigit } " H " =:
505 -- Real := Digit { Digit } " . " { Digit } [ ScaleFactor ] =:
506 -- ScaleFactor := " E " [ ( " + " | " - " ) ] Digit { Digit } =:
507 -- HexDigit := Digit | " A " | " B " | " C " | " D " | " E " | " F " =:
508 -- Digit := OctalDigit | " 8 " | " 9 " =:
509 -- OctalDigit := "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" =:
510 -- String
511
512 FileUnit := % PushAutoOff %
513 ( DefinitionModule |
514 ImplementationOrProgramModule ) % PopAuto %
515 =:
516
517 ProgramModule := "MODULE" % M2Error.DefaultProgramModule %
518 % PushAutoOn %
519 Ident % PCStartBuildProgModule %
520 % PushAutoOff %
521 [ Priority
522 ]
523 ";"
524 { Import % PCBuildImportOuterModule %
525 }
526 Block % PushAutoOn %
527 Ident % PCEndBuildProgModule %
528 "." % PopAuto ; PopAuto %
529 =:
530
531 ImplementationModule := "IMPLEMENTATION" % M2Error.DefaultImplementationModule %
532 "MODULE" % PushAutoOn %
533 Ident % PCStartBuildImpModule %
534 % PushAutoOff %
535 [ Priority
536 ] ";"
537 { Import % PCBuildImportOuterModule %
538 }
539 Block % PushAutoOn %
540
541 Ident % PCEndBuildImpModule %
542 "." % PopAuto ; PopAuto ; PopAuto %
543 =:
544
545 ImplementationOrProgramModule := % PushAutoOff %
546 ( ImplementationModule | ProgramModule ) % PopAuto %
547 =:
548
549 Number := Integer | Real =:
550
551 Qualident := % VAR name : Name ;
552 init, ip1,
553 tokstart, tok : CARDINAL ; %
554 Ident
555 % IF IsAutoPushOn()
556 THEN
557 PopTtok(name, tokstart) ;
558 tok := tokstart ;
559 init := RequestSym (tok, name) ;
560 WHILE IsDefImp (init) OR IsModule (init) DO
561 Expect (periodtok, stopset0, stopset1, stopset2 + SetOfStop2{identtok}) ;
562 StartScope (init) ;
563 Ident (stopset0, stopset1, stopset2) ;
564 PopTtok (name, tok) ;
565 ip1 := RequestSym (tok, name) ;
566 PutIncluded(ip1) ;
567 EndScope ;
568 CheckCanBeImported(init, ip1) ;
569 init := ip1
570 END ;
571 IF tok#tokstart
572 THEN
573 tok := MakeVirtualTok (tokstart, tokstart, tok)
574 END ;
575 IF IsProcedure(init) OR IsProcType(init)
576 THEN
577 PushTtok(init, tok)
578 ELSE
579 PushTFtok(init, GetType(init), tok) ;
580 END
581 ELSE %
582 { "." Ident } % END %
583 =:
584
585 ConstantDeclaration := % VAR top: CARDINAL ; %
586 % top := Top() %
587 % PushAutoOn %
588 ( Ident "=" % StartDesConst %
589 % PushAutoOff %
590 ConstExpression % PopAuto %
591 )
592 % EndDesConst %
593 % PopAuto %
594 % Assert(top=Top()) %
595 =:
596
597 ConstExpression := % VAR top: CARDINAL ; %
598 % top := Top() %
599 % PushAutoOff %
600 SimpleConstExpr [ Relation SimpleConstExpr % BuildRelationConst %
601 ] % PopAuto %
602 % Assert(top=Top()) %
603 =:
604
605 Relation := "=" % PushT(EqualTok) %
606 | "#" % PushT(HashTok) %
607 | "<>" % PushT(LessGreaterTok) %
608 | "<" % PushT(LessTok) %
609 | "<=" % PushT(LessEqualTok) %
610 | ">" % PushT(GreaterTok) %
611 | ">=" % PushT(GreaterEqualTok) %
612 | "IN" % PushT(InTok) %
613 =:
614
615 SimpleConstExpr := % VAR top: CARDINAL ; %
616 % top := Top() %
617 UnaryOrConstTerm { ConstAddOperator ConstTerm % BuildBinaryConst %
618 } % Assert(top=Top()) %
619 =:
620
621 UnaryOrConstTerm := "+" % PushT(PlusTok) %
622 ConstTerm % BuildUnaryConst %
623 | "-" % PushT(MinusTok) %
624 ConstTerm % BuildUnaryConst %
625 | ConstTerm
626 =:
627
628 ConstAddOperator := "+" % PushT(PlusTok) %
629 | "-" % PushT(MinusTok) %
630 | "OR" % PushT(OrTok) %
631 =:
632
633 AddOperator := "+" | "-" | "OR" =:
634
635 ConstTerm := % VAR top: CARDINAL ; %
636 % top := Top() %
637 ConstFactor % Assert(top=Top()) %
638 { ConstMulOperator ConstFactor % BuildBinaryConst %
639 % Assert(top=Top()) %
640 } % Assert(top=Top()) %
641 =:
642
643 ConstMulOperator := "*" % PushT(TimesTok) %
644 | "/" % PushT(DivideTok) %
645 | "DIV" % PushT(DivTok) %
646 | "MOD" % PushT(ModTok) %
647 | "REM" % PushT(RemTok) %
648 | "AND" % PushT(AndTok) %
649 | "&" % PushT(AmbersandTok) %
650 =:
651
652 MulOperator := "*" | "/" | "DIV" | "MOD" | "REM" | "AND" | "&"
653 =:
654
655 ConstFactor := ConstNumber | ConstString |
656 ConstSetOrQualidentOrFunction |
657 "(" ConstExpression ")" |
658 "NOT" ConstFactor
659 | ConstAttribute
660 =:
661
662 ConstNumber := % PushAutoOn %
663 ( Integer % PushIntegerType %
664 | Real % PushRType %
665 ) % PopAuto %
666 =:
667
668 -- to help satisfy LL1
669
670 ConstString := % PushAutoOn %
671 string % PushStringType %
672 % PopAuto %
673 =:
674
675 ComponentElement := ConstExpression [ ".." ConstExpression ] =:
676
677 ComponentValue := ComponentElement [ 'BY' ConstExpression ] =:
678
679 ArraySetRecordValue := ComponentValue { ',' % NextConstructorField %
680 ComponentValue } =:
681
682 Constructor := '{' % PushConstructorCastType %
683 % PushInConstructor %
684 % BuildConstructor %
685 [ ArraySetRecordValue ] % BuildConstructorEnd %
686 '}' % PopInConstructor %
687 =:
688
689 ConstructorOrConstActualParameters := Constructor | ConstActualParameters % PushConstFunctionType %
690 % PopNothing (* pop function *) %
691 =:
692
693 -- the entry to Constructor
694
695 ConstSetOrQualidentOrFunction := % PushAutoOff %
696 (
697 PushQualident
698 ( ConstructorOrConstActualParameters | % PushConstType %
699 % PopNothing %
700 )
701 | % BuildTypeForConstructor %
702 Constructor ) % PopAuto %
703 =:
704
705 ConstActualParameters := % PushT(0) %
706 "(" [ ConstExpList ] ")" =:
707
708 ConstExpList := % VAR n: CARDINAL ; %
709 ConstExpression % PopT(n) %
710 % INC(n) %
711 % Assert(n=1) %
712 % PushT(n) %
713 { "," ConstExpression % PopT(n) %
714 % INC(n) %
715 % PushT(n) %
716 } =:
717
718 ConstAttribute := % VAR top: CARDINAL ; %
719 % top := Top() %
720 "__ATTRIBUTE__" "__BUILTIN__" "(" "(" % PushAutoOn %
721 ConstAttributeExpression % PopAuto %
722 ")" ")" % Assert(top=Top()) %
723 =:
724
725 ConstAttributeExpression :=
726 Ident % PushConstAttributeType %
727 % PopNothing %
728 | "<" Qualident ',' Ident ">" % PushConstAttributePairType %
729 % PopNothing ; PopNothing %
730 =:
731
732 ByteAlignment := '<*' AttributeExpression '*>' =:
733
734 Alignment := [ ByteAlignment ] =:
735
736 TypeDeclaration := Ident "=" Type Alignment =:
737
738 Type :=
739 % PushAutoOff %
740 ( SimpleType | ArrayType
741 | RecordType
742 | SetType
743 | PointerType
744 | ProcedureType ) % PopAuto %
745 =:
746
747 SimpleType := Qualident [ SubrangeType ] | Enumeration | SubrangeType =:
748
749 Enumeration := "(" IdentList ")" =:
750
751 IdentList := Ident % VAR
752 on: BOOLEAN ;
753 n : CARDINAL ; %
754 % on := IsAutoPushOn() ;
755 IF on
756 THEN
757 n := 1
758 END %
759 { "," Ident % IF on
760 THEN
761 INC(n)
762 END %
763 } % IF on
764 THEN
765 PushT(n)
766 END %
767 =:
768
769 SubrangeType := "[" ConstExpression ".." ConstExpression "]" =:
770
771 ArrayType := "ARRAY"
772
773 SimpleType
774 { ","
775 SimpleType
776 } "OF"
777 Type
778 =:
779
780 RecordType := "RECORD" [ DefaultRecordAttributes ] FieldListSequence "END" =:
781
782 DefaultRecordAttributes := '<*' AttributeExpression '*>' =:
783
784 RecordFieldPragma := [ '<*' FieldPragmaExpression
785 { ',' FieldPragmaExpression } '*>' ] =:
786
787 FieldPragmaExpression := % PushAutoOff %
788 Ident [ '(' ConstExpression ')' ]
789 % PopAuto %
790 =:
791
792 AttributeExpression := % PushAutoOff %
793 Ident '(' ConstExpression ')' % PopAuto %
794 =:
795
796 FieldListSequence := FieldListStatement { ";" FieldListStatement } =:
797
798 FieldListStatement := [ FieldList ] =:
799
800 FieldList := IdentList ":"
801 Type RecordFieldPragma
802 |
803 "CASE"
804 CaseTag "OF"
805 Varient { "|" Varient }
806 [ "ELSE"
807 FieldListSequence
808 ] "END"
809 =:
810
811 TagIdent := [ Ident ] =:
812
813 CaseTag := TagIdent [":" Qualident ] =:
814
815 Varient := [ VarientCaseLabelList ":" FieldListSequence ] =:
816
817 VarientCaseLabelList := VarientCaseLabels { "," VarientCaseLabels } =:
818
819 VarientCaseLabels := ConstExpression ( ".." ConstExpression
820 | % (* epsilon *) %
821 )
822 =:
823
824 --
825 -- the following rules are a copy of the ConstExpression ebnf rules but without
826 -- any actions all prefixed with Silent.
827 -- At present they are only used by CaseLabels, if this continues to be true we
828 -- might consider restricting the SilentConstExpression. Eg it makes no sence to allow
829 -- String in these circumstances!
830 --
831
832 SilentConstExpression := % PushAutoOff %
833 SilentSimpleConstExpr
834 [ SilentRelation SilentSimpleConstExpr ] % PopAuto %
835 =:
836
837 SilentRelation := "=" | "#" | "<>" | "<" | "<=" | ">" | ">=" | "IN" =:
838
839 SilentSimpleConstExpr := SilentUnaryOrConstTerm { SilentAddOperator SilentConstTerm } =:
840
841 SilentUnaryOrConstTerm := "+" SilentConstTerm | "-" SilentConstTerm | SilentConstTerm =:
842
843 SilentAddOperator := "+" | "-" | "OR" =:
844
845 SilentConstTerm := SilentConstFactor { SilentMulOperator SilentConstFactor } =:
846
847 SilentMulOperator := "*" | "/" | "DIV" | "MOD" | "REM" | "AND" | "&" =:
848
849 SilentConstFactor := Number | SilentConstString | SilentConstSetOrQualidentOrFunction |
850 "(" SilentConstExpression ")" | "NOT" SilentConstFactor
851 | SilentConstAttribute =:
852
853 SilentConstString := string =:
854
855 SilentConstAttribute := "__ATTRIBUTE__" "__BUILTIN__" "(" "(" SilentConstAttributeExpression ")" ")" =:
856
857 SilentConstAttributeExpression := Ident | "<" Ident ',' SilentConstString ">" =:
858
859 SilentComponentElement := SilentConstExpression [ ".." SilentConstExpression ] =:
860
861 SilentComponentValue := SilentComponentElement [ 'BY' SilentConstExpression ] =:
862
863 SilentArraySetRecordValue := SilentComponentValue { ',' SilentComponentValue } =:
864
865 SilentConstructor := '{' % SilentBuildConstructor %
866 [ SilentArraySetRecordValue ] '}' =:
867
868 SilentConstSetOrQualidentOrFunction := SilentConstructor | Qualident
869 [ SilentConstructor | SilentActualParameters ] =:
870
871 SilentActualParameters := "(" [ SilentExpList ] ")" =:
872
873 SilentExpList := SilentConstExpression { "," SilentConstExpression } =:
874
875 -- end of the Silent constant rules
876
877 SetType := ( "SET" | "PACKEDSET" ) "OF" SimpleType =:
878
879 PointerType := "POINTER" "TO"
880 Type
881 =:
882
883 ProcedureType := "PROCEDURE"
884 [ FormalTypeList ] =:
885
886 FormalTypeList := "(" ( ")" FormalReturn |
887 ProcedureParameters ")" FormalReturn ) =:
888
889 FormalReturn := [ ":" OptReturnType ] =:
890
891 OptReturnType := "[" Qualident "]" | Qualident =:
892
893 ProcedureParameters := ProcedureParameter
894 { "," ProcedureParameter } =:
895
896 ProcedureParameter := "..." | "VAR" FormalType | FormalType =:
897
898
899 VarIdent := Ident [ "[" ConstExpression "]" ]
900 =:
901
902 VarIdentList := VarIdent { "," VarIdent }
903 =:
904
905 VariableDeclaration := VarIdentList ":" Type Alignment
906 =:
907
908 Designator := Qualident { SubDesignator } =:
909
910 SubDesignator := "." Ident | "[" ArrayExpList "]" | "^"
911 =:
912
913 ArrayExpList := Expression { "," Expression } =:
914
915 ExpList := Expression { "," Expression } =:
916
917 Expression := SimpleExpression [ SilentRelation SimpleExpression ]
918 =:
919
920 SimpleExpression := UnaryOrTerm { AddOperator Term } =:
921
922 UnaryOrTerm := "+" Term | "-" Term | Term =:
923
924 Term := Factor { MulOperator Factor } =:
925
926 Factor := Number | string | SetOrDesignatorOrFunction |
927 "(" Expression ")" | "NOT" ( Factor | ConstAttribute ) =:
928
929 PushQualident := % VAR name : Name ;
930 init, ip1: CARDINAL ; %
931 % PushAutoOn %
932 Ident % IF IsAutoPushOn()
933 THEN
934 PopT(name) ;
935 init := GetSym(name) ;
936 IF init=NulSym
937 THEN
938 PushTFn(NulSym, NulSym, name)
939 ELSE
940 WHILE IsDefImp(init) OR IsModule(init) DO
941 IF currenttoken#periodtok
942 THEN
943 ErrorArray("expecting '.' after module in the construction of a qualident") ;
944 PushT(init) ;
945 PopAuto ;
946 RETURN
947 ELSE
948 Expect(periodtok, stopset0, stopset1, stopset2 + SetOfStop2{identtok}) ;
949 StartScope(init) ;
950 Ident(stopset0, stopset1, stopset2) ;
951 PopT(name) ;
952 ip1 := GetSym(name) ;
953 IF ip1=NulSym
954 THEN
955 ErrorArray("unknown ident in the construction of a qualident") ;
956 EndScope ;
957 PushTFn(NulSym, NulSym, name) ;
958 PopAuto ;
959 RETURN
960 ELSE
961 PutIncluded(ip1)
962 END ;
963 EndScope ;
964 CheckCanBeImported(init, ip1) ;
965 init := ip1
966 END
967 END ;
968 IF IsProcedure(init) OR IsProcType(init)
969 THEN
970 PushT(init)
971 ELSE
972 PushTF(init, GetType(init))
973 END
974 END
975 ELSE %
976 { "." Ident } % END %
977 % PopAuto %
978 =:
979
980 ConstructorOrSimpleDes := Constructor | % PopNothing %
981 SimpleDes [ ActualParameters ]
982 =:
983
984 SetOrDesignatorOrFunction := % PushAutoOff %
985 (
986 PushQualident
987 ( ConstructorOrSimpleDes | % PopNothing %
988 )
989 |
990 % BuildTypeForConstructor %
991 Constructor
992 ) % PopAuto %
993 =:
994
995 -- SimpleDes := { "." Ident | "[" ExpList "]" | "^" } =:
996 SimpleDes := { SubDesignator } =:
997
998 ActualParameters := "(" [ ExpList ] ")" =:
999
1000 ExitStatement := "EXIT" =:
1001
1002 ReturnStatement := "RETURN" [ Expression ] =:
1003
1004 Statement := % PushAutoOff %
1005 [ AssignmentOrProcedureCall | IfStatement | CaseStatement |
1006 WhileStatement | RepeatStatement | LoopStatement |
1007 ForStatement | WithStatement | AsmStatement |
1008 ExitStatement | ReturnStatement | RetryStatement
1009 ] % PopAuto ; %
1010 =:
1011
1012 RetryStatement := "RETRY" =:
1013
1014 AssignmentOrProcedureCall := % VAR top: CARDINAL ; %
1015 % top := Top() %
1016 Designator ( ":=" Expression |
1017 ActualParameters | % (* epsilon *) %
1018 ) % Assert(top=Top()) %
1019 =:
1020
1021 -- these two break LL1 as both start with a Designator
1022 -- ProcedureCall := Designator [ ActualParameters ] =:
1023 -- Assignment := Designator ":=" Expression =:
1024
1025 StatementSequence := % VAR top: CARDINAL ; %
1026 % top := Top() %
1027 Statement % Assert(top=Top()) %
1028 { ";"
1029 Statement % Assert(top=Top()) %
1030 }
1031 =:
1032
1033 IfStatement := "IF" Expression "THEN"
1034 StatementSequence
1035 { "ELSIF" Expression "THEN" StatementSequence
1036 }
1037 [ "ELSE" StatementSequence ] "END"
1038 =:
1039
1040 CaseStatement := "CASE" Expression "OF" Case { "|" Case }
1041 CaseEndStatement
1042 =:
1043
1044 CaseEndStatement := "END" | "ELSE" StatementSequence "END"
1045 =:
1046
1047 Case := [ CaseLabelList ":" StatementSequence ]
1048 =:
1049
1050 CaseLabelList := CaseLabels { "," CaseLabels } =:
1051
1052 CaseLabels := ConstExpression [ ".." ConstExpression ] =:
1053
1054 WhileStatement := "WHILE" Expression "DO" StatementSequence "END" =:
1055
1056 RepeatStatement := "REPEAT" StatementSequence "UNTIL" Expression =:
1057
1058 ForStatement := "FOR" Ident ":=" Expression "TO" Expression
1059 [ "BY" ConstExpression ] "DO"
1060 StatementSequence
1061 "END"
1062 =:
1063
1064 LoopStatement := "LOOP" StatementSequence "END" =:
1065
1066 WithStatement := "WITH" Designator "DO"
1067 StatementSequence
1068 "END"
1069 =:
1070
1071 ProcedureDeclaration := ProcedureHeading ";" % PushAutoOff %
1072 ProcedureBlock % PopAuto ; PushAutoOn %
1073 Ident % PCEndBuildProcedure ;
1074 PopAuto %
1075 =:
1076
1077 DefineBuiltinProcedure := [ "__ATTRIBUTE__" "__BUILTIN__"
1078 "(" "(" % PushAutoOff %
1079 Ident % PopAuto %
1080 ")" ")" | "__INLINE__" ]
1081 =:
1082
1083 ProcedureHeading := "PROCEDURE" % M2Error.DefaultProcedure %
1084 % PushAutoOn %
1085 DefineBuiltinProcedure
1086 ( Ident
1087 % PCStartBuildProcedure ;
1088 PushAutoOff %
1089 [ FormalParameters ] AttributeNoReturn
1090 % PCBuildProcedureHeading ;
1091 PopAuto %
1092 ) % PopAuto %
1093 =:
1094
1095 Builtin := [ "__BUILTIN__" | "__INLINE__" ] =:
1096
1097 DefProcedureHeading := "PROCEDURE" % M2Error.DefaultProcedure %
1098 % PushAutoOn %
1099 Builtin
1100 ( Ident
1101 % PCStartBuildProcedure ;
1102 PushAutoOff %
1103 [ DefFormalParameters ] AttributeNoReturn
1104 % PCBuildProcedureHeading ;
1105 PopAuto %
1106 ) % PopAuto %
1107 % M2Error.LeaveErrorScope %
1108 =:
1109
1110 AttributeNoReturn := [ "<*" Ident "*>" ] =:
1111
1112 AttributeUnused := [ "<*" Ident "*>" ] =:
1113
1114 -- introduced procedure block so we can produce more informative
1115 -- error messages
1116
1117 ProcedureBlock := % VAR top: CARDINAL ; %
1118 % top := Top() %
1119 { Declaration % Assert(top=Top()) %
1120 } [ "BEGIN" ProcedureBlockBody % Assert(top=Top()) %
1121 ] "END" % Assert(top=Top()) %
1122 =:
1123
1124 Block := % VAR top: CARDINAL ; %
1125 % top := Top() %
1126 { Declaration } InitialBlock FinalBlock
1127 "END" % Assert(top=Top()) %
1128 =:
1129
1130 InitialBlock := [ "BEGIN" InitialBlockBody ] =:
1131
1132 FinalBlock := [ "FINALLY" FinalBlockBody ] =:
1133
1134 InitialBlockBody := NormalPart [ "EXCEPT" ExceptionalPart ] =:
1135
1136 FinalBlockBody := NormalPart [ "EXCEPT" ExceptionalPart ] =:
1137
1138 ProcedureBlockBody := NormalPart [ "EXCEPT" ExceptionalPart ] =:
1139
1140 NormalPart := StatementSequence =:
1141
1142 ExceptionalPart := StatementSequence =:
1143
1144 Declaration := "CONST" { ConstantDeclaration ";" } |
1145 "TYPE" { TypeDeclaration ";" } |
1146 "VAR" { VariableDeclaration ";" } |
1147 ProcedureDeclaration ";" |
1148 ModuleDeclaration ";" =:
1149
1150 DefFormalParameters := "(" [ DefMultiFPSection ] ")" FormalReturn =:
1151
1152 DefMultiFPSection := DefExtendedFP |
1153 FPSection [ ";" DefMultiFPSection ] =:
1154
1155 FormalParameters := "(" [ MultiFPSection ] ")" FormalReturn =:
1156
1157 MultiFPSection := ExtendedFP |
1158 FPSection [ ";" MultiFPSection ] =:
1159
1160 FPSection := NonVarFPSection | VarFPSection =:
1161
1162 DefExtendedFP := DefOptArg | "..." =:
1163
1164 ExtendedFP := OptArg | "..." =:
1165
1166 VarFPSection := "VAR" IdentList ":" FormalType [ AttributeUnused ] =:
1167
1168 NonVarFPSection := IdentList ":" FormalType [ AttributeUnused ] =:
1169
1170 OptArg := "[" Ident ":" FormalType [ "=" ConstExpression ] "]" =:
1171
1172 DefOptArg := "[" Ident ":" FormalType "=" ConstExpression "]" =:
1173
1174 FormalType := { "ARRAY" "OF" } Qualident =:
1175
1176 ModuleDeclaration := "MODULE" % M2Error.DefaultInnerModule %
1177 % PushAutoOn %
1178 Ident % PCStartBuildInnerModule %
1179 % PushAutoOff %
1180 [ Priority ] ";"
1181 { Import % PCBuildImportInnerModule %
1182 } [ Export
1183 ]
1184 Block % PushAutoOn %
1185 Ident % PCEndBuildInnerModule %
1186 % PopAuto ; PopAuto ; PopAuto %
1187 =:
1188
1189 Priority := "[" ConstExpression "]" =:
1190
1191 Export := "EXPORT" ( "QUALIFIED"
1192 IdentList |
1193 "UNQUALIFIED"
1194 IdentList |
1195 IdentList ) ";" =:
1196
1197 Import := % PushAutoOn %
1198 ( "FROM" Ident "IMPORT" IdentList ";" |
1199 "IMPORT" % PushT(ImportTok)
1200 (* determines whether Ident or Module *) %
1201 IdentList ";" ) % PopAuto %
1202 =:
1203
1204 DefinitionModule := "DEFINITION" % M2Error.DefaultDefinitionModule %
1205 "MODULE" % PushAutoOn %
1206 [ "FOR" string ]
1207 Ident % PCStartBuildDefModule ;
1208 PushAutoOff %
1209 ";"
1210 { Import % PCBuildImportOuterModule %
1211 } [ Export
1212 ]
1213 { Definition }
1214 "END" % PushAutoOn %
1215 Ident % PCEndBuildDefModule %
1216 "." % PopAuto ; PopAuto ; PopAuto %
1217 =:
1218
1219 Definition := "CONST" { ConstantDeclaration ";" } |
1220 "TYPE"
1221 { Ident ( ";"
1222 | "=" Type Alignment ";" )
1223 }
1224 |
1225 "VAR" { VariableDeclaration ";" } |
1226 DefProcedureHeading ";" =:
1227
1228 AsmStatement := 'ASM' [ 'VOLATILE' ] '(' AsmOperands ')' =:
1229
1230 NamedOperand := '[' Ident ']' =:
1231
1232 AsmOperandName := [ NamedOperand ] =:
1233
1234 AsmOperands := string [ ':' AsmList [ ':' AsmList [ ':' TrashList ] ] ] =:
1235
1236 AsmList := [ AsmElement ] { ',' AsmElement } =:
1237
1238 AsmElement := AsmOperandName string '(' Expression ')' =:
1239
1240 TrashList := [ string ] { ',' string } =:
1241
1242 FNB
GNU Compiler Collection
This page took 0.098097 seconds and 5 git commands to generate.