c-type-name.tex

\begin{syntax}
C-type-expr ::= C-specifier-qualifier+ C-abstract-declarator?
\
C-type-name ::= C-declaration-specifier+
\
C-specifier-qualifier ::= C-type-specifier | C-type-qualifier
\
C-type-qualifier ::= "const" | "volatile"
\
C-type-specifier ::= "void" ;
                   | "char" ;
                   | "short" ;
                   | "int" ;
                   | "long" ;
                   | "float" ;
                   | "double" ;
                   | "signed" ;
                   | "unsigned" ;
                   | ( "struct" | "union" | "enum" ) ident [ACSL does not permit declaring a new type within the type-specifier] ;
                   | ident
\
C-abstract-declarator ::= C-pointer ;
| C-pointer C-direct-abstract-declarator ;
| C-direct-abstract-declarator
\
C-pointer ::= ( "*" C-type-qualifier* )+
\
C-direct-abstract-declarator ::= "(" C-abstract-declarator ")" ; 
| C-direct-abstract-declarator? ;
  "[" C-constant-expression "]" ;
| C-direct-abstract-declarator? ;
  "(" C-parameter-type-list? ")"
\
C-parameter-type-list ::= C-parameter-declaration;
 ("," C-parameter-declaration )+
\
C-parameter-declaration ::= C-declaration-specifier+ C-declarator ;
                          | C-declaration-specifier+ ;
                            C-abstract-declarator ;
                          | C-declaration-specifier+ ;
\
C-declaration-specifier ::= C-type-specifier | C-type-qualifier
\
C-declarator ::= C-pointer? C-direct-declarator
\
C-direct-declarator ::= ident ;
                      | "(" C-declarator ")" ;
                      | C-direct-declarator;
                        "[" C-constant-expression? "]" ;
                      | C-direct-declarator;
                        "(" C-parameter-type-list ")" ;
                      | C-direct-declarator "(" ident* ")"
\
C-constant-expression ::=  ... [An expression formed from constant literals]
\end{syntax}