## raw-syntax.pkg
# Compiled by:
# src/lib/c-kit/src/ast/ast.sublibpackage raw_syntax
: (weak) Raw_Syntax { # Raw_Syntax is from src/lib/c-kit/src/ast/raw-syntax.api Pid = pid::Uid;
Aid = aid::Uid;
Tid = tid::Uid;
# Types: preliminary definitions
Storage_Ilk = AUTO | EXTERN | REGISTER | STATIC | DEFAULT;
Qualifier = CONST | VOLATILE;
Signedness = SIGNED | UNSIGNED;
# signednessTag determines whether a type was declared signed or unsigned, or
# the type was assumed to be one or the other.
Signedness_Tag = SIGNDECLARED | SIGNASSUMED;
Int_Kind = CHAR | SHORT | INT | LONG | LONGLONG | FLOAT | DOUBLE | LONGDOUBLE;
# BEGIN D
Fractionality = FRACTIONAL | WHOLENUM; # FRACTIONAL dominates WHOLENUM
Saturatedness = SATURATE | NONSATURATE; # SATURATE dominates NONSATURATE
# END D
# Note: Definition of ctype appears later -- it is part of the mutually recursive clump.
# IDENTIFIERS: preliminary definitions
# labels
Label = { name: symbol::Symbol, # the name of the label
uid: pid::Uid, # unique identifier
location: line_number_db::Location
};
Decl_Status
= IMPLICIT # used, but not yet declared or defined
| DECLARED # Declared, but not yet defined
| DEFINED; # defined, i.e. there is a FunctionDef or
# initializer for this identifier
# identifiers - we call these "id"s
Id_Kind
= NONFUN # is not of functional type
| FUNCTION_KIND # is of functional type
{ has_function_def: Bool }; # was defined by a FunctionDef
# OPERATORS
Binop
= PLUS | MINUS | TIMES | DIVIDE | MOD
| GT | LT | GTE | LTE | EQ | NEQ | AND | OR
| BIT_OR | BIT_AND | BIT_XOR | LSHIFT | RSHIFT
| PLUS_ASSIGN | MINUS_ASSIGN | TIMES_ASSIGN | DIV_ASSIGN
| MOD_ASSIGN | XOR_ASSIGN | OR_ASSIGN | AND_ASSIGN
| LSHIFT_ASSIGN | RSHIFT_ASSIGN | BINOP_EXT raw_syntax_tree_ext::Binop_Ext;
Unop
= UPLUS | NOT | NEGATE | BIT_NOT
| PRE_INC | POST_INC | PRE_DEC | POST_DEC | UNOP_EXT raw_syntax_tree_ext::Unop_Ext;
# DECLARATIONS
Declaration
= TYPE_DECL { shadow: Null_Or { strct: Bool }, tid: Tid }
# placeholder to indicate where typedefs/enums/structs should be printed
| VAR_DECL (Id, Null_Or Init_Expression)
# STATEMENTS
also
Statement = STMT (Core_Statement, Aid, line_number_db::Location)
also
Core_Statement
= EXPR Null_Or( Expression )
| COMPOUND (List( Declaration ), List( Statement ))
| WHILE (Expression, Statement)
| DO (Expression, Statement)
| FOR (Null_Or( Expression ), Null_Or( Expression ), Null_Or( Expression ), Statement)
| LABELED (Label, Statement)
| CASE_LABEL (large_int::Int, Statement)
| DEFAULT_LABEL Statement
| GOTO Label
| BREAK
| CONTINUE
| RETURN Null_Or( Expression )
| IF_THEN (Expression, Statement)
| IF_THEN_ELSE (Expression, Statement, Statement)
| SWITCH (Expression, Statement)
| STAT_EXT raw_syntax_tree_ext::Statement_Ext( Expression, Statement, Binop, Unop )
| ERROR_STMT
# EXPRESSIONS
also
Expression = EXPRESSION (Core_Expression, Aid, line_number_db::Location)
also
Core_Expression
= INT_CONST large_int::Int
| REAL_CONST Float
| STRING_CONST String
| CALL (Expression, List( Expression ))
| QUESTION_COLON (Expression, Expression, Expression)
| ASSIGN (Expression, Expression)
| COMMA (Expression, Expression)
| SUB (Expression, Expression)
| MEMBER (Expression, Member)
| ARROW (Expression, Member)
| DEREF Expression
| ADDR_OF Expression
| BINOP (Binop, Expression, Expression)
| UNOP (Unop, Expression)
| CAST (Ctype, Expression)
| ID Id
| ENUM_ID (Member, large_int::Int)
| SIZE_OF Ctype # not used in compiler mode; sizeof expr becomes sizeof (typeof expr)
| EXPR_EXT raw_syntax_tree_ext::Expression_Ext (Expression, Statement, Binop, Unop)
| ERROR_EXPR
also
Init_Expression
= SIMPLE Expression
| AGGREGATE List( Init_Expression )
also
Ctype
= VOID
| ELLIPSES
| QUAL (Qualifier, Ctype)
| NUMERIC /* D */ (Saturatedness, /* D */ Fractionality, Signedness, Int_Kind, Signedness_Tag)
| ARRAY (Null_Or( (large_int::Int, Expression) ), Ctype)
| POINTER Ctype
| FUNCTION (Ctype, List( (Ctype, Null_Or( Id )) ))
| STRUCT_REF Tid # reference to a tid bound by a struct decl
| UNION_REF Tid # reference to a tid bound by a union decl
| ENUM_REF Tid # reference to a tid bound by a enumeration decl
| TYPE_REF Tid # reference to a tid bound by a typedef decl
| ERROR
# INVARIANT: whenever the ERROR ctype is introduced, an error message will be printed.
# Thus any downstream code processing the ERROR value does not need to (and should not)
# generate additional error messages.
# MEMBERS AND IDENTIFIERS
# Members in structs and unions. Also used for named constants in
# enumerations; the ISO Standard calls these "members".
also
Member_Kind
= STRUCTMEM
| UNIONMEM
| ENUMMEM large_int::Int
withtype Member =
{ name: symbol::Symbol, # the name of the member
uid: pid::Uid, # unique identifier
location: line_number_db::Location,
ctype: Ctype,
kind: Member_Kind # member type
}
also
Id = { name: symbol::Symbol,
uid: pid::Uid, # unique identifier
location: line_number_db::Location,
ctype: Ctype, # Associated type
st_ilk: Storage_Ilk,
status: Decl_Status,
global: Bool, # Defined at top level
kind: Id_Kind
};
# the common fields of id and member could be factored out, but
# this would increase space usage and access time, and require
# nested patterns when accessing the common fields. E.g.:
#
# type id =
# { base: basicId,
# stIlk: Null_Or( storageIlk ),
# kind: idKind }
# top-level program elements
Core_External_Decl
= EXTERNAL_DECL Declaration
| FUN (Id, List( Id ), Statement)
| EXTERNAL_DECL_EXT raw_syntax_tree_ext::External_Decl_Ext( Expression, Statement, Binop, Unop );
# marked and (potentially) annotated external declarations
External_Decl = DECL (Core_External_Decl, Aid, line_number_db::Location);
# PROGRAMS
# abstract syntax of "programs", i.e. the result of processing a source file
# also known as a "translation unit"
Raw_Syntax_Tree = List( External_Decl );
}; # package raw_syntax