X-Git-Url: http://git.efficios.com/?p=babeltrace.git;a=blobdiff_plain;f=formats%2Fctf%2Fmetadata%2Fctf-ast.h;h=8d2e5d776b838232de8ec5f5c08f18043f786618;hp=db297afdbd3864f121adad80b44e0c6e6fd70043;hb=9117bff7bdb6fbef175f136d1c5a83c97e33eda2;hpb=ae5193a6f3a1b717175f4cc864e730c24ce0f264 diff --git a/formats/ctf/metadata/ctf-ast.h b/formats/ctf/metadata/ctf-ast.h index db297afd..8d2e5d77 100644 --- a/formats/ctf/metadata/ctf-ast.h +++ b/formats/ctf/metadata/ctf-ast.h @@ -1,10 +1,26 @@ -#ifndef _CTF_PARSER_H -#define _CTF_PARSER_H +#ifndef _CTF_AST_H +#define _CTF_AST_H + +/* + * ctf-ast.h + * + * Copyright 2011-2012 - Mathieu Desnoyers + * + * Permission is hereby granted, free of charge, to any person obtaining a copy + * of this software and associated documentation files (the "Software"), to deal + * in the Software without restriction, including without limitation the rights + * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell + * copies of the Software, and to permit persons to whom the Software is + * furnished to do so, subject to the following conditions: + * + * The above copyright notice and this permission notice shall be included in + * all copies or substantial portions of the Software. + */ #include -#include #include #include +#include // the parameter name (of the reentrant 'yyparse' function) // data is a pointer to a 'SParserParam' structure @@ -17,20 +33,25 @@ struct ctf_node; struct ctf_parser; enum node_type { - NODE_UNKNOWN, + NODE_UNKNOWN = 0, NODE_ROOT, NODE_EVENT, NODE_STREAM, + NODE_ENV, NODE_TRACE, + NODE_CLOCK, NODE_CTF_EXPRESSION, + NODE_UNARY_EXPRESSION, NODE_TYPEDEF, + NODE_TYPEALIAS_TARGET, + NODE_TYPEALIAS_ALIAS, NODE_TYPEALIAS, NODE_TYPE_SPECIFIER, - NODE_DECLARATION_SPECIFIER, + NODE_TYPE_SPECIFIER_LIST, NODE_POINTER, NODE_TYPE_DECLARATOR, @@ -47,67 +68,116 @@ enum node_type { }; struct ctf_node { + /* + * Parent node is only set on demand by specific visitor. + */ struct ctf_node *parent; - struct cds_list_head siblings; - struct cds_list_head gc; + struct bt_list_head siblings; + struct bt_list_head tmp_head; + struct bt_list_head gc; enum node_type type; union { struct { } unknown; struct { + /* + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. + */ + struct bt_list_head declaration_list; + struct bt_list_head trace; + struct bt_list_head env; + struct bt_list_head stream; + struct bt_list_head event; + struct bt_list_head clock; } root; struct { /* - * Children nodes are ctf_expression, typedef or - * typealias. + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. */ - struct cds_list_head _typedef; - struct cds_list_head typealias; - struct cds_list_head ctf_expression; + struct bt_list_head declaration_list; } event; struct { /* - * Children nodes are ctf_expression, typedef or - * typealias. + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. */ - struct cds_list_head _typedef; - struct cds_list_head typealias; - struct cds_list_head ctf_expression; + struct bt_list_head declaration_list; } stream; struct { /* - * Children nodes are ctf_expression, typedef or - * typealias. + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. */ - struct cds_list_head _typedef; - struct cds_list_head typealias; - struct cds_list_head ctf_expression; + struct bt_list_head declaration_list; + } env; + struct { + /* + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. + */ + struct bt_list_head declaration_list; } trace; struct { - char *left_id; + /* + * Children nodes are ctf_expression, typedef, + * typealias and type_specifier_list. + */ + struct bt_list_head declaration_list; + } clock; + struct { + struct bt_list_head left; /* Should be string */ + struct bt_list_head right; /* Unary exp. or type */ + } ctf_expression; + struct { enum { - EXP_ID, - EXP_TYPE, + UNARY_UNKNOWN = 0, + UNARY_STRING, + UNARY_SIGNED_CONSTANT, + UNARY_UNSIGNED_CONSTANT, + UNARY_SBRAC, + UNARY_NESTED, } type; union { - char *id; - struct ctf_node *type; - } right; - } ctf_expression; + /* + * string for identifier, id_type, keywords, + * string literals and character constants. + */ + char *string; + int64_t signed_constant; + uint64_t unsigned_constant; + struct ctf_node *sbrac_exp; + struct ctf_node *nested_exp; + } u; + enum { + UNARY_LINK_UNKNOWN = 0, + UNARY_DOTLINK, + UNARY_ARROWLINK, + UNARY_DOTDOTDOT, + } link; + } unary_expression; struct { - struct ctf_node *declaration_specifier; - struct cds_list_head type_declarator; + struct ctf_node *type_specifier_list; + struct bt_list_head type_declarators; } _typedef; + /* new type is "alias", existing type "target" */ + struct { + struct ctf_node *type_specifier_list; + struct bt_list_head type_declarators; + } typealias_target; + struct { + struct ctf_node *type_specifier_list; + struct bt_list_head type_declarators; + } typealias_alias; struct { - /* new type is "alias", existing type "target" */ - struct ctf_node *target_declaration_specifier; - struct cds_list_head target_type_declarator; - struct ctf_node *alias_declaration_specifier; - struct cds_list_head alias_type_declarator; + struct ctf_node *target; + struct ctf_node *alias; } typealias; struct { enum { + TYPESPEC_UNKNOWN = 0, TYPESPEC_VOID, TYPESPEC_CHAR, TYPESPEC_SHORT, @@ -119,112 +189,114 @@ struct ctf_node { TYPESPEC_UNSIGNED, TYPESPEC_BOOL, TYPESPEC_COMPLEX, + TYPESPEC_IMAGINARY, + TYPESPEC_CONST, TYPESPEC_ID_TYPE, - TYPESPEC_FLOATING_POINT, TYPESPEC_INTEGER, TYPESPEC_STRING, - TYPESPEC_ENUM, - TYPESPEC_VARIANT, TYPESPEC_STRUCT, + TYPESPEC_VARIANT, + TYPESPEC_ENUM, } type; - union { - struct ctf_node *floating_point; - struct ctf_node *integer; - struct ctf_node *string; - struct ctf_node *_enum; - struct ctf_node *variant; - struct ctf_node *_struct; - } u; + /* For struct, variant and enum */ + struct ctf_node *node; + const char *id_type; } type_specifier; struct { - /* drop "const" specifier */ - /* Children nodes are type_specifiers */ - struct cds_list_head type_specifiers; - } declaration_specifier; + /* list of type_specifier */ + struct bt_list_head head; + } type_specifier_list; struct { + unsigned int const_qualifier; } pointer; struct { - struct cds_list_head pointers; + struct bt_list_head pointers; enum { + TYPEDEC_UNKNOWN = 0, TYPEDEC_ID, /* identifier */ - TYPEDEC_TYPEDEC,/* nested with () */ - TYPEDEC_DIRECT, /* array or sequence */ + TYPEDEC_NESTED, /* (), array or sequence */ } type; union { char *id; - struct ctf_node *typedec; struct { /* typedec has no pointer list */ - struct ctf_node *typedec; - struct { - enum { - TYPEDEC_TYPE_VALUE, /* must be > 0 */ - TYPEDEC_TYPE_TYPE, - } type; - union { - uint64_t value; - struct ctf_node *declaration_specifier; - } u; - } length; - } direct; + struct ctf_node *type_declarator; + /* + * unary expression (value) or + * type_specifier_list. + */ + struct bt_list_head length; + /* for abstract type declarator */ + unsigned int abstract_array; + } nested; } u; + struct ctf_node *bitfield_len; } type_declarator; struct { /* Children nodes are ctf_expression. */ - struct cds_list_head expressions; + struct bt_list_head expressions; } floating_point; struct { /* Children nodes are ctf_expression. */ - struct cds_list_head expressions; + struct bt_list_head expressions; } integer; struct { /* Children nodes are ctf_expression. */ - struct cds_list_head expressions; + struct bt_list_head expressions; } string; struct { char *id; - union { /* inclusive start/end of range */ - struct { - int64_t start, end; - } _signed; - struct { - uint64_t start, end; - } _unsigned; - } u; + /* + * Range list or single value node. Contains unary + * expressions. + */ + struct bt_list_head values; } enumerator; struct { char *enum_id; - struct { - enum { - ENUM_TYPE_VALUE, /* must be > 0 */ - ENUM_TYPE_TYPE, - } type; - union { - uint64_t value; - struct ctf_node *declaration_specifier; - } u; - } container_type; - struct cds_list_head enumerator_list; + /* + * Either NULL, or points to unary expression or + * type_specifier_list. + */ + struct ctf_node *container_type; + struct bt_list_head enumerator_list; + int has_body; } _enum; struct { - struct ctf_node *declaration_specifier; + struct ctf_node *type_specifier_list; + struct bt_list_head type_declarators; } struct_or_variant_declaration; struct { - struct cds_list_head _typedef; - struct cds_list_head typealias; - struct cds_list_head declaration_list; + char *name; + char *choice; + /* list of typedef, typealias and declarations */ + struct bt_list_head declaration_list; + int has_body; } variant; struct { - struct cds_list_head _typedef; - struct cds_list_head typealias; - struct cds_list_head declaration_list; + char *name; + /* list of typedef, typealias and declarations */ + struct bt_list_head declaration_list; + int has_body; + struct bt_list_head min_align; /* align() attribute */ } _struct; } u; }; struct ctf_ast { struct ctf_node root; + struct bt_list_head allocated_nodes; }; -#endif /* _CTF_PARSER_H */ +const char *node_type(struct ctf_node *node); + +struct ctf_trace; + +int ctf_visitor_print_xml(FILE *fd, int depth, struct ctf_node *node); +int ctf_visitor_semantic_check(FILE *fd, int depth, struct ctf_node *node); +int ctf_visitor_parent_links(FILE *fd, int depth, struct ctf_node *node); +int ctf_visitor_construct_metadata(FILE *fd, int depth, struct ctf_node *node, + struct ctf_trace *trace, int byte_order); + +#endif /* _CTF_AST_H */