1# Fortran 2018 Grammar 2 3Grammar used by Flang to parse Fortran 2018. 4 5``` 6R0001 digit -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 7R0002 letter -> 8 A | B | C | D | E | F | G | H | I | J | K | L | M | 9 N | O | P | Q | R | S | T | U | V | W | X | Y | Z 10R0003 rep-char 11 12R401 xzy-list -> xzy [, xzy]... 13R402 xzy-name -> name 14R403 scalar-xyz -> xyz 15 16R501 program -> program-unit [program-unit]... 17R502 program-unit -> 18 main-program | external-subprogram | module | submodule | block-data 19R503 external-subprogram -> function-subprogram | subroutine-subprogram 20R504 specification-part -> 21 [use-stmt]... [import-stmt]... [implicit-part] 22 [declaration-construct]... 23R505 implicit-part -> [implicit-part-stmt]... implicit-stmt 24R506 implicit-part-stmt -> 25 implicit-stmt | parameter-stmt | format-stmt | entry-stmt 26R507 declaration-construct -> 27 specification-construct | data-stmt | format-stmt | entry-stmt | 28 stmt-function-stmt 29R508 specification-construct -> 30 derived-type-def | enum-def | generic-stmt | interface-block | 31 parameter-stmt | procedure-declaration-stmt | 32 other-specification-stmt | type-declaration-stmt 33R509 execution-part -> executable-construct [execution-part-construct]... 34R510 execution-part-construct -> 35 executable-construct | format-stmt | entry-stmt | data-stmt 36R511 internal-subprogram-part -> contains-stmt [internal-subprogram]... 37R512 internal-subprogram -> function-subprogram | subroutine-subprogram 38R513 other-specification-stmt -> 39 access-stmt | allocatable-stmt | asynchronous-stmt | bind-stmt | 40 codimension-stmt | contiguous-stmt | dimension-stmt | external-stmt | 41 intent-stmt | intrinsic-stmt | namelist-stmt | optional-stmt | 42 pointer-stmt | protected-stmt | save-stmt | target-stmt | 43 volatile-stmt | value-stmt | common-stmt | equivalence-stmt 44R514 executable-construct -> 45 action-stmt | associate-construct | block-construct | case-construct | 46 change-team-construct | critical-construct | do-construct | 47 if-construct | select-rank-construct | select-type-construct | 48 where-construct | forall-construct 49R515 action-stmt -> 50 allocate-stmt | assignment-stmt | backspace-stmt | call-stmt | 51 close-stmt | continue-stmt | cycle-stmt | deallocate-stmt | 52 endfile-stmt | error-stop-stmt | event-post-stmt | event-wait-stmt | 53 exit-stmt | fail-image-stmt | flush-stmt | form-team-stmt | 54 goto-stmt | if-stmt | inquire-stmt | lock-stmt | nullify-stmt | 55 open-stmt | pointer-assignment-stmt | print-stmt | read-stmt | 56 return-stmt | rewind-stmt | stop-stmt | sync-all-stmt | 57 sync-images-stmt | sync-memory-stmt | sync-team-stmt | unlock-stmt | 58 wait-stmt | where-stmt | write-stmt | computed-goto-stmt | forall-stmt 59R516 keyword -> name 60 61R601 alphanumeric-character -> letter | digit | underscore @ | $ 62R602 underscore -> _ 63R603 name -> letter [alphanumeric-character]... 64R604 constant -> literal-constant | named-constant 65R605 literal-constant -> 66 int-literal-constant | real-literal-constant | 67 complex-literal-constant | logical-literal-constant | 68 char-literal-constant | boz-literal-constant 69R606 named-constant -> name 70R607 int-constant -> constant 71R608 intrinsic-operator -> 72 power-op | mult-op | add-op | concat-op | rel-op | 73 not-op | and-op | or-op | equiv-op 74R609 defined-operator -> 75 defined-unary-op | defined-binary-op | extended-intrinsic-op 76R610 extended-intrinsic-op -> intrinsic-operator 77R611 label -> digit [digit]... 78R620 delimiter -> ( | ) | / | [ | ] | (/ | /) 79 80R701 type-param-value -> scalar-int-expr | * | : 81R702 type-spec -> intrinsic-type-spec | derived-type-spec 82R703 declaration-type-spec -> 83 intrinsic-type-spec | TYPE ( intrinsic-type-spec ) | 84 TYPE ( derived-type-spec ) | CLASS ( derived-type-spec ) | 85 CLASS ( * ) | TYPE ( * ) 86R704 intrinsic-type-spec -> 87 integer-type-spec | REAL [kind-selector] | DOUBLE PRECISION | 88 COMPLEX [kind-selector] | CHARACTER [char-selector] | 89 LOGICAL [kind-selector] @ DOUBLE COMPLEX 90R705 integer-type-spec -> INTEGER [kind-selector] 91R706 kind-selector -> 92 ( [KIND =] scalar-int-constant-expr ) @ * scalar-int-constant-expr 93R707 signed-int-literal-constant -> [sign] int-literal-constant 94R708 int-literal-constant -> digit-string [_ kind-param] 95R709 kind-param -> digit-string | scalar-int-constant-name 96R710 signed-digit-string -> [sign] digit-string 97R711 digit-string -> digit [digit]... 98R712 sign -> + | - 99R713 signed-real-literal-constant -> [sign] real-literal-constant 100R714 real-literal-constant -> 101 significand [exponent-letter exponent] [_ kind-param] | 102 digit-string exponent-letter exponent [_ kind-param] 103R715 significand -> digit-string . [digit-string] | . digit-string 104R716 exponent-letter -> E | D @ | Q 105R717 exponent -> signed-digit-string 106R718 complex-literal-constant -> ( real-part , imag-part ) 107R719 real-part -> 108 signed-int-literal-constant | signed-real-literal-constant | 109 named-constant 110R720 imag-part -> 111 signed-int-literal-constant | signed-real-literal-constant | 112 named-constant 113R721 char-selector -> 114 length-selector | 115 ( LEN = type-param-value , KIND = scalar-int-constant-expr ) | 116 ( type-param-value , [KIND =] scalar-int-constant-expr ) | 117 ( KIND = scalar-int-constant-expr [, LEN = type-param-value] ) 118R722 length-selector -> ( [LEN =] type-param-value ) | * char-length [,] 119R723 char-length -> ( type-param-value ) | digit-string 120R724 char-literal-constant -> 121 [kind-param _] ' [rep-char]... ' | [kind-param _] " [rep-char]... " 122R725 logical-literal-constant -> 123 .TRUE. [_ kind-param] | .FALSE. [_ kind-param] @ | .T. | .F. 124R726 derived-type-def -> 125 derived-type-stmt [type-param-def-stmt]... [private-or-sequence]... 126 [component-part] [type-bound-procedure-part] end-type-stmt 127R727 derived-type-stmt -> 128 TYPE [[, type-attr-spec-list] ::] type-name [( type-param-name-list )] 129R728 type-attr-spec -> 130 ABSTRACT | access-spec | BIND(C) | EXTENDS ( parent-type-name ) 131R729 private-or-sequence -> private-components-stmt | sequence-stmt 132R730 end-type-stmt -> END TYPE [type-name] 133R731 sequence-stmt -> SEQUENCE 134R732 type-param-def-stmt -> 135 integer-type-spec , type-param-attr-spec :: type-param-decl-list 136R733 type-param-decl -> type-param-name [= scalar-int-constant-expr] 137R734 type-param-attr-spec -> KIND | LEN 138R735 component-part -> [component-def-stmt]... 139R736 component-def-stmt -> data-component-def-stmt | proc-component-def-stmt 140R737 data-component-def-stmt -> 141 declaration-type-spec [[, component-attr-spec-list] ::] 142 component-decl-list 143R738 component-attr-spec -> 144 access-spec | ALLOCATABLE | 145 CODIMENSION lbracket coarray-spec rbracket | CONTIGUOUS | 146 DIMENSION ( component-array-spec ) | POINTER 147R739 component-decl -> 148 component-name [( component-array-spec )] 149 [lbracket coarray-spec rbracket] [* char-length] 150 [component-initialization] 151R740 component-array-spec -> 152 explicit-shape-spec-list | deferred-shape-spec-list 153R741 proc-component-def-stmt -> 154 PROCEDURE ( [proc-interface] ) , proc-component-attr-spec-list :: 155 proc-decl-list 156R742 proc-component-attr-spec -> 157 access-spec | NOPASS | PASS [(arg-name)] | POINTER 158R743 component-initialization -> 159 = constant-expr | => null-init | => initial-data-target 160R744 initial-data-target -> designator 161R745 private-components-stmt -> PRIVATE 162R746 type-bound-procedure-part -> 163 contains-stmt [binding-private-stmt] [type-bound-proc-binding]... 164R747 binding-private-stmt -> PRIVATE 165R748 type-bound-proc-binding -> 166 type-bound-procedure-stmt | type-bound-generic-stmt | 167 final-procedure-stmt 168R749 type-bound-procedure-stmt -> 169 PROCEDURE [[, bind-attr-list] ::] type-bound-proc-decl-list | 170 PROCEDURE ( interface-name ) , bind-attr-list :: binding-name-list 171R750 type-bound-proc-decl -> binding-name [=> procedure-name] 172R751 type-bound-generic-stmt -> 173 GENERIC [, access-spec] :: generic-spec => binding-name-list 174R752 bind-attr -> 175 access-spec | DEFERRED | NON_OVERRIDABLE | NOPASS | PASS [(arg-name)] 176R753 final-procedure-stmt -> FINAL [::] final-subroutine-name-list 177R754 derived-type-spec -> type-name [(type-param-spec-list)] 178R755 type-param-spec -> [keyword =] type-param-value 179R756 structure-constructor -> derived-type-spec ( [component-spec-list] ) 180R757 component-spec -> [keyword =] component-data-source 181R758 component-data-source -> expr | data-target | proc-target 182R759 enum-def -> 183 enum-def-stmt enumerator-def-stmt [enumerator-def-stmt]... end-enum-stmt 184R760 enum-def-stmt -> ENUM, BIND(C) 185R761 enumerator-def-stmt -> ENUMERATOR [::] enumerator-list 186R762 enumerator -> named-constant [= scalar-int-constant-expr] 187R763 end-enum-stmt -> END ENUM 188R764 boz-literal-constant -> binary-constant | octal-constant | hex-constant 189R765 binary-constant -> B ' digit [digit]... ' | B " digit [digit]... " 190R766 octal-constant -> O ' digit [digit]... ' | O " digit [digit]... " 191R767 hex-constant -> 192 Z ' hex-digit [hex-digit]... ' | Z " hex-digit [hex-digit]... " 193R768 hex-digit -> digit | A | B | C | D | E | F 194R769 array-constructor -> (/ ac-spec /) | lbracket ac-spec rbracket 195R770 ac-spec -> type-spec :: | [type-spec ::] ac-value-list 196R771 lbracket -> [ 197R772 rbracket -> ] 198R773 ac-value -> expr | ac-implied-do 199R774 ac-implied-do -> ( ac-value-list , ac-implied-do-control ) 200R775 ac-implied-do-control -> 201 [integer-type-spec ::] ac-do-variable = scalar-int-expr , 202 scalar-int-expr [, scalar-int-expr] 203R776 ac-do-variable -> do-variable 204 205R801 type-declaration-stmt -> 206 declaration-type-spec [[, attr-spec]... ::] entity-decl-list 207R802 attr-spec -> 208 access-spec | ALLOCATABLE | ASYNCHRONOUS | 209 CODIMENSION lbracket coarray-spec rbracket | CONTIGUOUS | 210 DIMENSION ( array-spec ) | EXTERNAL | INTENT ( intent-spec ) | 211 INTRINSIC | language-binding-spec | OPTIONAL | PARAMETER | 212 POINTER | PROTECTED | SAVE | TARGET | VALUE | VOLATILE 213R803 entity-decl -> 214 object-name [( array-spec )] [lbracket coarray-spec rbracket] 215 [* char-length] [initialization] | 216 function-name [* char-length] 217R804 object-name -> name 218R805 initialization -> = constant-expr | => null-init | => initial-data-target 219R806 null-init -> function-reference {constrained to be NULL()} 220R807 access-spec -> PUBLIC | PRIVATE 221R808 language-binding-spec -> 222 BIND ( C [, NAME = scalar-default-char-constant-expr] ) 223R809 coarray-spec -> deferred-coshape-spec-list | explicit-coshape-spec 224R810 deferred-coshape-spec -> : 225R811 explicit-coshape-spec -> 226 [[lower-cobound :] upper-cobound ,]... [lower-cobound :] * 227R812 lower-cobound -> specification-expr 228R813 upper-cobound -> specification-expr 229R814 dimension-spec -> DIMENSION ( array-spec ) 230R815 array-spec -> 231 explicit-shape-spec-list | assumed-shape-spec-list | 232 deferred-shape-spec-list | assumed-size-spec | implied-shape-spec | 233 implied-shape-or-assumed-size-spec | assumed-rank-spec 234R816 explicit-shape-spec -> [lower-bound :] upper-bound 235R817 lower-bound -> specification-expr 236R818 upper-bound -> specification-expr 237R819 assumed-shape-spec -> [lower-bound] : 238R820 deferred-shape-spec -> : 239R821 assumed-implied-spec -> [lower-bound :] * 240R822 assumed-size-spec -> explicit-shape-spec-list , assumed-implied-spec 241R823 implied-shape-or-assumed-size-spec -> assumed-implied-spec 242R824 implied-shape-spec -> assumed-implied-spec , assumed-implied-spec-list 243R825 assumed-rank-spec -> .. 244R826 intent-spec -> IN | OUT | INOUT 245R827 access-stmt -> access-spec [[::] access-id-list] 246R828 access-id -> access-name | generic-spec 247R829 allocatable-stmt -> ALLOCATABLE [::] allocatable-decl-list 248R830 allocatable-decl -> 249 object-name [( array-spec )] [lbracket coarray-spec rbracket] 250R831 asynchronous-stmt -> ASYNCHRONOUS [::] object-name-list 251R832 bind-stmt -> language-binding-spec [::] bind-entity-list 252R833 bind-entity -> entity-name | / common-block-name / 253R834 codimension-stmt -> CODIMENSION [::] codimension-decl-list 254R835 codimension-decl -> coarray-name lbracket coarray-spec rbracket 255R836 contiguous-stmt -> CONTIGUOUS [::] object-name-list 256R837 data-stmt -> DATA data-stmt-set [[,] data-stmt-set]... 257R838 data-stmt-set -> data-stmt-object-list / data-stmt-value-list / 258R839 data-stmt-object -> variable | data-implied-do 259R840 data-implied-do -> 260 ( data-i-do-object-list , [integer-type-spec ::] 261 data-i-do-variable = scalar-int-constant-expr , 262 scalar-int-constant-expr [, scalar-int-constant-expr] ) 263R841 data-i-do-object -> 264 array-element | scalar-structure-component | data-implied-do 265R842 data-i-do-variable -> do-variable 266R843 data-stmt-value -> [data-stmt-repeat *] data-stmt-constant 267R844 data-stmt-repeat -> scalar-int-constant | scalar-int-constant-subobject 268R845 data-stmt-constant -> 269 scalar-constant | scalar-constant-subobject | 270 signed-int-literal-constant | signed-real-literal-constant | 271 null-init | initial-data-target | structure-constructor 272R846 int-constant-subobject -> constant-subobject 273R847 constant-subobject -> designator 274R848 dimension-stmt -> 275 DIMENSION [::] array-name ( array-spec ) 276 [, array-name ( array-spec )]... 277R849 intent-stmt -> INTENT ( intent-spec ) [::] dummy-arg-name-list 278R850 optional-stmt -> OPTIONAL [::] dummy-arg-name-list 279R851 parameter-stmt -> PARAMETER ( named-constant-def-list ) 280R852 named-constant-def -> named-constant = constant-expr 281R853 pointer-stmt -> POINTER [::] pointer-decl-list 282R854 pointer-decl -> 283 object-name [( deferred-shape-spec-list )] | proc-entity-name 284R855 protected-stmt -> PROTECTED [::] entity-name-list 285R856 save-stmt -> SAVE [[::] saved-entity-list] 286R857 saved-entity -> object-name | proc-pointer-name | / common-block-name / 287R858 proc-pointer-name -> name 288R859 target-stmt -> TARGET [::] target-decl-list 289R860 target-decl -> 290 object-name [( array-spec )] [lbracket coarray-spec rbracket] 291R861 value-stmt -> VALUE [::] dummy-arg-name-list 292R862 volatile-stmt -> VOLATILE [::] object-name-list 293R863 implicit-stmt -> 294 IMPLICIT implicit-spec-list | 295 IMPLICIT NONE [( [implicit-name-spec-list] )] 296R864 implicit-spec -> declaration-type-spec ( letter-spec-list ) 297R865 letter-spec -> letter [- letter] 298R866 implicit-name-spec -> EXTERNAL | TYPE 299R867 import-stmt -> 300 IMPORT [[::] import-name-list] | IMPORT , ONLY : import-name-list | 301 IMPORT , NONE | IMPORT , ALL 302R868 namelist-stmt -> 303 NAMELIST / namelist-group-name / namelist-group-object-list 304 [[,] / namelist-group-name / namelist-group-object-list]... 305R869 namelist-group-object -> variable-name 306R870 equivalence-stmt -> EQUIVALENCE equivalence-set-list 307R871 equivalence-set -> ( equivalence-object , equivalence-object-list ) 308R872 equivalence-object -> variable-name | array-element | substring 309R873 common-stmt -> 310 COMMON [/ [common-block-name] /] common-block-object-list 311 [[,] / [common-block-name] / common-block-object-list]... 312R874 common-block-object -> variable-name [( array-spec )] 313 314R901 designator -> 315 object-name | array-element | array-section | 316 coindexed-named-object | complex-part-designator | 317 structure-component | substring 318R902 variable -> designator | function-reference 319R903 variable-name -> name 320R904 logical-variable -> variable 321R905 char-variable -> variable 322R906 default-char-variable -> variable 323R907 int-variable -> variable 324R908 substring -> parent-string ( substring-range ) 325R909 parent-string -> 326 scalar-variable-name | array-element | coindexed-named-object | 327 scalar-structure-component | scalar-char-literal-constant | 328 scalar-named-constant 329R910 substring-range -> [scalar-int-expr] : [scalar-int-expr] 330R911 data-ref -> part-ref [% part-ref]... 331R912 part-ref -> part-name [( section-subscript-list )] [image-selector] 332R913 structure-component -> data-ref 333R914 coindexed-named-object -> data-ref 334R915 complex-part-designator -> designator % RE | designator % IM 335R916 type-param-inquiry -> designator % type-param-name 336R917 array-element -> data-ref 337R918 array-section -> 338 data-ref [( substring-range )] | complex-part-designator 339R919 subscript -> scalar-int-expr 340R920 section-subscript -> subscript | subscript-triplet | vector-subscript 341R921 subscript-triplet -> [subscript] : [subscript] [: stride] 342R922 stride -> scalar-int-expr 343R923 vector-subscript -> int-expr 344R924 image-selector -> 345 lbracket cosubscript-list [, image-selector-spec-list] rbracket 346R925 cosubscript -> scalar-int-expr 347R926 image-selector-spec -> 348 STAT = stat-variable | TEAM = team-value | 349 TEAM_NUMBER = scalar-int-expr 350R927 allocate-stmt -> 351 ALLOCATE ( [type-spec ::] allocation-list [, alloc-opt-list] ) 352R928 alloc-opt -> 353 ERRMSG = errmsg-variable | MOLD = source-expr | 354 SOURCE = source-expr | STAT = stat-variable 355R929 stat-variable -> scalar-int-variable 356R930 errmsg-variable -> scalar-default-char-variable 357R931 source-expr -> expr 358R932 allocation -> 359 allocate-object [( allocate-shape-spec-list )] 360 [lbracket allocate-coarray-spec rbracket] 361R933 allocate-object -> variable-name | structure-component 362R934 allocate-shape-spec -> [lower-bound-expr :] upper-bound-expr 363R935 lower-bound-expr -> scalar-int-expr 364R936 upper-bound-expr -> scalar-int-expr 365R937 allocate-coarray-spec -> 366 [allocate-coshape-spec-list ,] [lower-bound-expr :] * 367R938 allocate-coshape-spec -> [lower-bound-expr :] upper-bound-expr 368R939 nullify-stmt -> NULLIFY ( pointer-object-list ) 369R940 pointer-object -> variable-name | structure-component | proc-pointer-name 370R941 deallocate-stmt -> 371 DEALLOCATE ( allocate-object-list [, dealloc-opt-list] ) 372R942 dealloc-opt -> STAT = stat-variable | ERRMSG = errmsg-variable 373 374R1001 primary -> 375 literal-constant | designator | array-constructor | 376 structure-constructor | function-reference | type-param-inquiry | 377 type-param-name | ( expr ) 378R1002 level-1-expr -> [defined-unary-op] primary 379R1003 defined-unary-op -> . letter [letter]... . 380R1004 mult-operand -> level-1-expr [power-op mult-operand] 381R1005 add-operand -> [add-operand mult-op] mult-operand 382R1006 level-2-expr -> [[level-2-expr] add-op] add-operand 383R1007 power-op -> ** 384R1008 mult-op -> * | / 385R1009 add-op -> + | - 386R1010 level-3-expr -> [level-3-expr concat-op] level-2-expr 387R1011 concat-op -> // 388R1012 level-4-expr -> [level-3-expr rel-op] level-3-expr 389R1013 rel-op -> 390 .EQ. | .NE. | .LT. | .LE. | .GT. | .GE. | 391 == | /= | < | <= | > | >= @ | <> 392R1014 and-operand -> [not-op] level-4-expr 393R1015 or-operand -> [or-operand and-op] and-operand 394R1016 equiv-operand -> [equiv-operand or-op] or-operand 395R1017 level-5-expr -> [level-5-expr equiv-op] equiv-operand 396R1018 not-op -> .NOT. 397R1019 and-op -> .AND. 398R1020 or-op -> .OR. 399R1021 equiv-op -> .EQV. | .NEQV. 400R1022 expr -> [expr defined-binary-op] level-5-expr 401R1023 defined-binary-op -> . letter [letter]... . 402R1024 logical-expr -> expr 403R1025 default-char-expr -> expr 404R1026 int-expr -> expr 405R1027 numeric-expr -> expr 406R1028 specification-expr -> scalar-int-expr 407R1029 constant-expr -> expr 408R1030 default-char-constant-expr -> default-char-expr 409R1031 int-constant-expr -> int-expr 410R1032 assignment-stmt -> variable = expr 411R1033 pointer-assignment-stmt -> 412 data-pointer-object [( bounds-spec-list )] => data-target | 413 data-pointer-object ( bounds-remapping-list ) => data-target | 414 proc-pointer-object => proc-target 415R1034 data-pointer-object -> 416 variable-name | scalar-variable % data-pointer-component-name 417R1035 bounds-spec -> lower-bound-expr : 418R1036 bounds-remapping -> lower-bound-expr : upper-bound-expr 419R1037 data-target -> expr 420R1038 proc-pointer-object -> proc-pointer-name | proc-component-ref 421R1039 proc-component-ref -> scalar-variable % procedure-component-name 422R1040 proc-target -> expr | procedure-name | proc-component-ref 423R1041 where-stmt -> WHERE ( mask-expr ) where-assignment-stmt 424R1042 where-construct -> 425 where-construct-stmt [where-body-construct]... 426 [masked-elsewhere-stmt [where-body-construct]...]... 427 [elsewhere-stmt [where-body-construct]...] end-where-stmt 428R1043 where-construct-stmt -> [where-construct-name :] WHERE ( mask-expr ) 429R1044 where-body-construct -> 430 where-assignment-stmt | where-stmt | where-construct 431R1045 where-assignment-stmt -> assignment-stmt 432R1046 mask-expr -> logical-expr 433R1047 masked-elsewhere-stmt -> ELSEWHERE ( mask-expr ) [where-construct-name] 434R1048 elsewhere-stmt -> ELSEWHERE [where-construct-name] 435R1049 end-where-stmt -> END WHERE [where-construct-name] 436R1050 forall-construct -> 437 forall-construct-stmt [forall-body-construct]... end-forall-stmt 438R1051 forall-construct-stmt -> 439 [forall-construct-name :] FORALL concurrent-header 440R1052 forall-body-construct -> 441 forall-assignment-stmt | where-stmt | where-construct | 442 forall-construct | forall-stmt 443R1053 forall-assignment-stmt -> assignment-stmt | pointer-assignment-stmt 444R1054 end-forall-stmt -> END FORALL [forall-construct-name] 445R1055 forall-stmt -> FORALL concurrent-header forall-assignment-stmt 446 447R1101 block -> [execution-part-construct]... 448R1102 associate-construct -> associate-stmt block end-associate-stmt 449R1103 associate-stmt -> 450 [associate-construct-name :] ASSOCIATE ( association-list ) 451R1104 association -> associate-name => selector 452R1105 selector -> expr | variable 453R1106 end-associate-stmt -> END ASSOCIATE [associate-construct-name] 454R1107 block-construct -> 455 block-stmt [block-specification-part] block end-block-stmt 456R1108 block-stmt -> [block-construct-name :] BLOCK 457R1109 block-specification-part -> 458 [use-stmt]... [import-stmt]... 459 [[declaration-construct]... specification-construct] 460R1110 end-block-stmt -> END BLOCK [block-construct-name] 461R1111 change-team-construct -> change-team-stmt block end-change-team-stmt 462R1112 change-team-stmt -> 463 [team-construct-name :] CHANGE TEAM ( team-value 464 [, coarray-association-list] [, sync-stat-list] ) 465R1113 coarray-association -> codimension-decl => selector 466R1114 end-change-team-stmt -> 467 END TEAM [( [sync-stat-list] )] [team-construct-name] 468R1115 team-value -> scalar-expr 469R1116 critical-construct -> critical-stmt block end-critical-stmt 470R1117 critical-stmt -> 471 [critical-construct-name :] CRITICAL [( [sync-stat-list] )] 472R1118 end-critical-stmt -> END CRITICAL [critical-construct-name] 473R1119 do-construct -> do-stmt block end-do 474R1120 do-stmt -> nonlabel-do-stmt | label-do-stmt 475R1121 label-do-stmt -> [do-construct-name :] DO label [loop-control] 476R1122 nonlabel-do-stmt -> [do-construct-name :] DO [loop-control] 477R1123 loop-control -> 478 [,] do-variable = scalar-int-expr , scalar-int-expr 479 [, scalar-int-expr] | 480 [,] WHILE ( scalar-logical-expr ) | 481 [,] CONCURRENT concurrent-header concurrent-locality 482R1124 do-variable -> scalar-int-variable-name 483R1125 concurrent-header -> 484 ( [integer-type-spec ::] concurrent-control-list [, scalar-mask-expr] ) 485R1126 concurrent-control -> 486 index-name = concurrent-limit : concurrent-limit [: concurrent-step] 487R1127 concurrent-limit -> scalar-int-expr 488R1128 concurrent-step -> scalar-int-expr 489R1129 concurrent-locality -> [locality-spec]... 490R1130 locality-spec -> 491 LOCAL ( variable-name-list ) | LOCAL_INIT ( variable-name-list ) | 492 SHARED ( variable-name-list ) | DEFAULT ( NONE ) 493R1131 end-do -> end-do-stmt | continue-stmt 494R1132 end-do-stmt -> END DO [do-construct-name] 495R1133 cycle-stmt -> CYCLE [do-construct-name] 496R1134 if-construct -> 497 if-then-stmt block [else-if-stmt block]... [else-stmt block] 498 end-if-stmt 499R1135 if-then-stmt -> [if-construct-name :] IF ( scalar-logical-expr ) THEN 500R1136 else-if-stmt -> ELSE IF ( scalar-logical-expr ) THEN [if-construct-name] 501R1137 else-stmt -> ELSE [if-construct-name] 502R1138 end-if-stmt -> END IF [if-construct-name] 503R1139 if-stmt -> IF ( scalar-logical-expr ) action-stmt 504R1140 case-construct -> select-case-stmt [case-stmt block]... end-select-stmt 505R1141 select-case-stmt -> [case-construct-name :] SELECT CASE ( case-expr ) 506R1142 case-stmt -> CASE case-selector [case-construct-name] 507R1143 end-select-stmt -> END SELECT [case-construct-name] 508R1144 case-expr -> scalar-expr 509R1145 case-selector -> ( case-value-range-list ) | DEFAULT 510R1146 case-value-range -> 511 case-value | case-value : | : case-value | case-value : case-value 512R1147 case-value -> scalar-constant-expr 513R1148 select-rank-construct -> 514 select-rank-stmt [select-rank-case-stmt block]... end-select-rank-stmt 515R1149 select-rank-stmt -> 516 [select-construct-name :] SELECT RANK ( [associate-name =>] selector ) 517R1150 select-rank-case-stmt -> 518 RANK ( scalar-int-constant-expr ) [select-construct-name] | 519 RANK ( * ) [select-construct-name] | 520 RANK DEFAULT [select-construct-name] 521R1151 end-select-rank-stmt -> END SELECT [select-construct-name] 522R1152 select-type-construct -> 523 select-type-stmt [type-guard-stmt block]... end-select-type-stmt 524R1153 select-type-stmt -> 525 [select-construct-name :] SELECT TYPE ( [associate-name =>] selector ) 526R1154 type-guard-stmt -> 527 TYPE IS ( type-spec ) [select-construct-name] | 528 CLASS IS ( derived-type-spec ) [select-construct-name] | 529 CLASS DEFAULT [select-construct-name] 530R1155 end-select-type-stmt -> END SELECT [select-construct-name] 531R1156 exit-stmt -> EXIT [construct-name] 532R1157 goto-stmt -> GO TO label 533R1158 computed-goto-stmt -> GO TO ( label-list ) [,] scalar-int-expr 534R1159 continue-stmt -> CONTINUE 535R1160 stop-stmt -> STOP [stop-code] [, QUIET = scalar-logical-expr] 536R1161 error-stop-stmt -> ERROR STOP [stop-code] [, QUIET = scalar-logical-expr] 537R1162 stop-code -> scalar-default-char-expr | scalar-int-expr 538R1163 fail-image-stmt -> FAIL IMAGE 539R1164 sync-all-stmt -> SYNC ALL [( [sync-stat-list] )] 540R1165 sync-stat -> STAT = stat-variable | ERRMSG = errmsg-variable 541R1166 sync-images-stmt -> SYNC IMAGES ( image-set [, sync-stat-list] ) 542R1167 image-set -> int-expr | * 543R1168 sync-memory-stmt -> SYNC MEMORY [( [sync-stat-list] )] 544R1169 sync-team-stmt -> SYNC TEAM ( team-value [, sync-stat-list] ) 545R1170 event-post-stmt -> EVENT POST ( event-variable [, sync-stat-list] ) 546R1171 event-variable -> scalar-variable 547R1172 event-wait-stmt -> EVENT WAIT ( event-variable [, event-wait-spec-list] ) 548R1173 event-wait-spec -> until-spec | sync-stat 549R1174 until-spec -> UNTIL_COUNT = scalar-int-expr 550R1175 form-team-stmt -> 551 FORM TEAM ( team-number , team-variable [, form-team-spec-list] ) 552R1176 team-number -> scalar-int-expr 553R1177 team-variable -> scalar-variable 554R1178 form-team-spec -> NEW_INDEX = scalar-int-expr | sync-stat 555R1179 lock-stmt -> LOCK ( lock-variable [, lock-stat-list] ) 556R1180 lock-stat -> ACQUIRED_LOCK = scalar-logical-variable | sync-stat 557R1181 unlock-stmt -> UNLOCK ( lock-variable [, sync-stat-list] ) 558R1182 lock-variable -> scalar-variable 559 560R1201 io-unit -> file-unit-number | * | internal-file-variable 561R1202 file-unit-number -> scalar-int-expr 562R1203 internal-file-variable -> char-variable 563R1204 open-stmt -> OPEN ( connect-spec-list ) 564R1205 connect-spec -> 565 [UNIT =] file-unit-number | ACCESS = scalar-default-char-expr | 566 ACTION = scalar-default-char-expr | 567 ASYNCHRONOUS = scalar-default-char-expr | 568 BLANK = scalar-default-char-expr | 569 DECIMAL = scalar-default-char-expr | DELIM = scalar-default-char-expr | 570 ENCODING = scalar-default-char-expr | ERR = label | 571 FILE = file-name-expr | FORM = scalar-default-char-expr | 572 IOMSG = iomsg-variable | IOSTAT = scalar-int-variable | 573 NEWUNIT = scalar-int-variable | PAD = scalar-default-char-expr | 574 POSITION = scalar-default-char-expr | RECL = scalar-int-expr | 575 ROUND = scalar-default-char-expr | SIGN = scalar-default-char-expr | 576 STATUS = scalar-default-char-expr 577 @ | CARRIAGECONTROL = scalar-default-char-expr 578 | CONVERT = scalar-default-char-expr 579 | DISPOSE = scalar-default-char-expr 580R1206 file-name-expr -> scalar-default-char-expr 581R1207 iomsg-variable -> scalar-default-char-variable 582R1208 close-stmt -> CLOSE ( close-spec-list ) 583R1209 close-spec -> 584 [UNIT =] file-unit-number | IOSTAT = scalar-int-variable | 585 IOMSG = iomsg-variable | ERR = label | 586 STATUS = scalar-default-char-expr 587R1210 read-stmt -> 588 READ ( io-control-spec-list ) [input-item-list] | 589 READ format [, input-item-list] 590R1211 write-stmt -> WRITE ( io-control-spec-list ) [output-item-list] 591R1212 print-stmt -> PRINT format [, output-item-list] 592R1213 io-control-spec -> 593 [UNIT =] io-unit | [FMT =] format | [NML =] namelist-group-name | 594 ADVANCE = scalar-default-char-expr | 595 ASYNCHRONOUS = scalar-default-char-constant-expr | 596 BLANK = scalar-default-char-expr | DECIMAL = scalar-default-char-expr | 597 DELIM = scalar-default-char-expr | END = label | EOR = label | 598 ERR = label | ID = id-variable | IOMSG = iomsg-variable | 599 IOSTAT = scalar-int-variable | PAD = scalar-default-char-expr | 600 POS = scalar-int-expr | REC = scalar-int-expr | 601 ROUND = scalar-default-char-expr | SIGN = scalar-default-char-expr | 602 SIZE = scalar-int-variable 603R1214 id-variable -> scalar-int-variable 604R1215 format -> default-char-expr | label | * 605R1216 input-item -> variable | io-implied-do 606R1217 output-item -> expr | io-implied-do 607R1218 io-implied-do -> ( io-implied-do-object-list , io-implied-do-control ) 608R1219 io-implied-do-object -> input-item | output-item 609R1220 io-implied-do-control -> 610 do-variable = scalar-int-expr , scalar-int-expr [, scalar-int-expr] 611R1221 dtv-type-spec -> TYPE ( derived-type-spec ) | CLASS ( derived-type-spec ) 612R1222 wait-stmt -> WAIT ( wait-spec-list ) 613R1223 wait-spec -> 614 [UNIT =] file-unit-number | END = label | EOR = label | ERR = label | 615 ID = scalar-int-expr | IOMSG = iomsg-variable | 616 IOSTAT = scalar-int-variable 617R1224 backspace-stmt -> 618 BACKSPACE file-unit-number | BACKSPACE ( position-spec-list ) 619R1225 endfile-stmt -> ENDFILE file-unit-number | ENDFILE ( position-spec-list ) 620R1226 rewind-stmt -> REWIND file-unit-number | REWIND ( position-spec-list ) 621R1227 position-spec -> 622 [UNIT =] file-unit-number | IOMSG = iomsg-variable | 623 IOSTAT = scalar-int-variable | ERR = label 624R1228 flush-stmt -> FLUSH file-unit-number | FLUSH ( flush-spec-list ) 625R1229 flush-spec -> 626 [UNIT =] file-unit-number | IOSTAT = scalar-int-variable | 627 IOMSG = iomsg-variable | ERR = label 628R1230 inquire-stmt -> 629 INQUIRE ( inquire-spec-list ) | 630 INQUIRE ( IOLENGTH = scalar-int-variable ) output-item-list 631R1231 inquire-spec -> 632 [UNIT =] file-unit-number | FILE = file-name-expr | 633 ACCESS = scalar-default-char-variable | 634 ACTION = scalar-default-char-variable | 635 ASYNCHRONOUS = scalar-default-char-variable | 636 BLANK = scalar-default-char-variable | 637 DECIMAL = scalar-default-char-variable | 638 DELIM = scalar-default-char-variable | 639 ENCODING = scalar-default-char-variable | 640 ERR = label | EXIST = scalar-logical-variable | 641 FORM = scalar-default-char-variable | 642 FORMATTED = scalar-default-char-variable | ID = scalar-int-expr | 643 IOMSG = iomsg-variable | IOSTAT = scalar-int-variable | 644 NAME = scalar-default-char-variable | 645 NAMED = scalar-logical-variable | NEXTREC = scalar-int-variable | 646 NUMBER = scalar-int-variable | OPENED = scalar-logical-variable | 647 PAD = scalar-default-char-variable | 648 PENDING = scalar-logical-variable | POS = scalar-int-variable | 649 POSITION = scalar-default-char-variable | 650 READ = scalar-default-char-variable | 651 READWRITE = scalar-default-char-variable | 652 RECL = scalar-int-variable | ROUND = scalar-default-char-variable | 653 SEQUENTIAL = scalar-default-char-variable | 654 SIGN = scalar-default-char-variable | SIZE = scalar-int-variable | 655 STREAM = scalar-default-char-variable | 656 STATUS = scalar-default-char-variable | 657 WRITE = scalar-default-char-variable 658 @ | CARRIAGECONTROL = scalar-default-char-expr 659 | CONVERT = scalar-default-char-expr 660 | DISPOSE = scalar-default-char-expr 661 662R1301 format-stmt -> FORMAT format-specification 663R1302 format-specification -> 664 ( [format-items] ) | ( [format-items ,] unlimited-format-item ) 665R1303 format-items -> format-item [[,] format-item]... 666R1304 format-item -> 667 [r] data-edit-desc | control-edit-desc | char-string-edit-desc | [r] ( format-items ) 668R1305 unlimited-format-item -> * ( format-items ) 669R1306 r -> digit-string 670R1307 data-edit-desc -> 671 I w [. m] | B w [. m] | O w [. m] | Z w [. m] | F w . d | 672 E w . d [E e] | EN w . d [E e] | ES w . d [E e] | EX w . d [E e] | 673 G w [. d [E e]] | L w | A [w] | D w . d | 674 DT [char-literal-constant] [( v-list )] 675R1308 w -> digit-string 676R1309 m -> digit-string 677R1310 d -> digit-string 678R1311 e -> digit-string 679R1312 v -> [sign] digit-string 680R1313 control-edit-desc -> 681 position-edit-desc | [r] / | : | sign-edit-desc | k P | 682 blank-interp-edit-desc | round-edit-desc | decimal-edit-desc | 683 @ $ | \ 684R1314 k -> [sign] digit-string 685R1315 position-edit-desc -> T n | TL n | TR n | n X 686R1316 n -> digit-string 687R1317 sign-edit-desc -> SS | SP | S 688R1318 blank-interp-edit-desc -> BN | BZ 689R1319 round-edit-desc -> RU | RD | RZ | RN | RC | RP 690R1320 decimal-edit-desc -> DC | DP 691R1321 char-string-edit-desc -> char-literal-constant 692 693R1401 main-program -> 694 [program-stmt] [specification-part] [execution-part] 695 [internal-subprogram-part] end-program-stmt 696R1402 program-stmt -> PROGRAM program-name 697R1403 end-program-stmt -> END [PROGRAM [program-name]] 698R1404 module -> 699 module-stmt [specification-part] [module-subprogram-part] 700 end-module-stmt 701R1405 module-stmt -> MODULE module-name 702R1406 end-module-stmt -> END [MODULE [module-name]] 703R1407 module-subprogram-part -> contains-stmt [module-subprogram]... 704R1408 module-subprogram -> 705 function-subprogram | subroutine-subprogram | 706 separate-module-subprogram 707R1409 use-stmt -> 708 USE [[, module-nature] ::] module-name [, rename-list] | 709 USE [[, module-nature] ::] module-name , ONLY : [only-list] 710R1410 module-nature -> INTRINSIC | NON_INTRINSIC 711R1411 rename -> 712 local-name => use-name | 713 OPERATOR ( local-defined-operator ) => 714 OPERATOR ( use-defined-operator ) 715R1412 only -> generic-spec | only-use-name | rename 716R1413 only-use-name -> use-name 717R1414 local-defined-operator -> defined-unary-op | defined-binary-op 718R1415 use-defined-operator -> defined-unary-op | defined-binary-op 719R1416 submodule -> 720 submodule-stmt [specification-part] [module-subprogram-part] 721 end-submodule-stmt 722R1417 submodule-stmt -> SUBMODULE ( parent-identifier ) submodule-name 723R1418 parent-identifier -> ancestor-module-name [: parent-submodule-name] 724R1419 end-submodule-stmt -> END [SUBMODULE [submodule-name]] 725R1420 block-data -> block-data-stmt [specification-part] end-block-data-stmt 726R1421 block-data-stmt -> BLOCK DATA [block-data-name] 727R1422 end-block-data-stmt -> END [BLOCK DATA [block-data-name]] 728 729R1501 interface-block -> 730 interface-stmt [interface-specification]... end-interface-stmt 731R1502 interface-specification -> interface-body | procedure-stmt 732R1503 interface-stmt -> INTERFACE [generic-spec] | ABSTRACT INTERFACE 733R1504 end-interface-stmt -> END INTERFACE [generic-spec] 734R1505 interface-body -> 735 function-stmt [specification-part] end-function-stmt | 736 subroutine-stmt [specification-part] end-subroutine-stmt 737R1506 procedure-stmt -> [MODULE] PROCEDURE [::] specific-procedure-list 738R1507 specific-procedure -> procedure-name 739R1508 generic-spec -> 740 generic-name | OPERATOR ( defined-operator ) | 741 ASSIGNMENT ( = ) | defined-io-generic-spec 742R1509 defined-io-generic-spec -> 743 READ ( FORMATTED ) | READ ( UNFORMATTED ) | 744 WRITE ( FORMATTED ) | WRITE ( UNFORMATTED ) 745R1510 generic-stmt -> 746 GENERIC [, access-spec] :: generic-spec => specific-procedure-list 747R1511 external-stmt -> EXTERNAL [::] external-name-list 748R1512 procedure-declaration-stmt -> 749 PROCEDURE ( [proc-interface] ) [[, proc-attr-spec]... ::] 750 proc-decl-list 751R1513 proc-interface -> interface-name | declaration-type-spec 752R1514 proc-attr-spec -> 753 access-spec | proc-language-binding-spec | INTENT ( intent-spec ) | 754 OPTIONAL | POINTER | PROTECTED | SAVE 755R1515 proc-decl -> procedure-entity-name [=> proc-pointer-init] 756R1516 interface-name -> name 757R1517 proc-pointer-init -> null-init | initial-proc-target 758R1518 initial-proc-target -> procedure-name 759R1519 intrinsic-stmt -> INTRINSIC [::] intrinsic-procedure-name-list 760R1520 function-reference -> procedure-designator ( [actual-arg-spec-list] ) 761R1521 call-stmt -> CALL procedure-designator [( [actual-arg-spec-list] )] 762R1522 procedure-designator -> 763 procedure-name | proc-component-ref | data-ref % binding-name 764R1523 actual-arg-spec -> [keyword =] actual-arg 765R1524 actual-arg -> 766 expr | variable | procedure-name | proc-component-ref | alt-return-spec 767R1525 alt-return-spec -> * label 768R1526 prefix -> prefix-spec [prefix-spec]... 769R1527 prefix-spec -> 770 declaration-type-spec | ELEMENTAL | IMPURE | MODULE | NON_RECURSIVE | 771 PURE | RECURSIVE 772R1528 proc-language-binding-spec -> language-binding-spec 773R1529 function-subprogram -> 774 function-stmt [specification-part] [execution-part] 775 [internal-subprogram-part] end-function-stmt 776R1530 function-stmt -> 777 [prefix] FUNCTION function-name ( [dummy-arg-name-list] ) [suffix] 778R1531 dummy-arg-name -> name 779R1532 suffix -> 780 proc-language-binding-spec [RESULT ( result-name )] | 781 RESULT ( result-name ) [proc-language-binding-spec] 782R1533 end-function-stmt -> END [FUNCTION [function-name]] 783R1534 subroutine-subprogram -> 784 subroutine-stmt [specification-part] [execution-part] 785 [internal-subprogram-part] end-subroutine-stmt 786R1535 subroutine-stmt -> 787 [prefix] SUBROUTINE subroutine-name 788 [( [dummy-arg-list] ) [proc-language-binding-spec]] 789R1536 dummy-arg -> dummy-arg-name | * 790R1537 end-subroutine-stmt -> END [SUBROUTINE [subroutine-name]] 791R1538 separate-module-subprogram -> 792 mp-subprogram-stmt [specification-part] [execution-part] 793 [internal-subprogram-part] end-mp-subprogram-stmt 794R1539 mp-subprogram-stmt -> MODULE PROCEDURE procedure-name 795R1540 end-mp-subprogram-stmt -> END [PROCEDURE [procedure-name]] 796R1541 entry-stmt -> ENTRY entry-name [( [dummy-arg-list] ) [suffix]] 797R1542 return-stmt -> RETURN [scalar-int-expr] 798R1543 contains-stmt -> CONTAINS 799R1544 stmt-function-stmt -> 800 function-name ( [dummy-arg-name-list] ) = scalar-expr 801``` 802