MoDisco/Z

Class Abstract_declarator
Attributes	Relations

Class Abstract_declarator_seq (Direct_abstract_declarator)
Attributes	Relations abstract_declarator [0..*] : Abstract_declarator

Class Additive_expression (Shift_expression)
Attributes	Relations

Class And_equality_expression (And_expression)
Attributes	Relations and_expression [1..1] : And_expression equality_expression [1..1] : Equality_expression

Class And_expression (Exclusive_or_expression)
Attributes	Relations

Class Assignment_expression (ExpressionInitializer)
Attributes	Relations

Class Assignment_operator
Attributes valeur : EString	Relations

Class Auto (Storage_class_specifier)
Attributes valeur : EString	Relations

Class Break (Jump_statement)
Attributes valeur : EString	Relations

Class Cast_expression (Multiplicative_expression)
Attributes	Relations

Class Char (Type_specifier)
Attributes valeur : EString	Relations

Class Character_constant (Constant)
Attributes valeur : EChar	Relations

Class Comment
Attributes valeur : EString	Relations

Class Compound_statement (Statement)
Attributes	Relations declaration [0..*] : Declaration statement [0..*] : Statement

Class Conditional_expression (Assignment_expression)
Attributes	Relations

Class Const (Type_qualifier)
Attributes valeur : EString	Relations

Class Constant (Primary_expression)
Attributes	Relations

Class Constant_expression (Struct_declarator)
Attributes	Relations conditional_expression [1..1] : Conditional_expression

Class Constant_expression_statement (Labeled_statement)
Attributes	Relations constant_expression [1..1] : Constant_expression statement [1..1] : Statement

Class Continue (Jump_statement)
Attributes valeur : EString	Relations

Class Declaration (External_declaration)
Attributes	Relations declaration_specifier [0..*] : Declaration_specifier init_declarator [0..*] : Init_declarator

Class Declaration_specifier
Attributes	Relations

Class Declaration_specifier_abstract_declarator (Parameter_declaration)
Attributes	Relations declaration_specifier [1..*] : Declaration_specifier abstract_declarator [1..1] : Abstract_declarator

Class Declaration_specifier_declarator (Parameter_declaration)
Attributes	Relations declaration_specifier [1..*] : Declaration_specifier declarator [1..1] : Declarator

Class Declaration_specifier_seq (Parameter_declaration)
Attributes	Relations declaration_specifier [1..*] : Declaration_specifier

Class Declarator (Struct_declaratorDirect_declaratorInit_declarator)
Attributes	Relations pointer [0..1] : Pointer direct_declarator [0..1] : Direct_declarator

Class Declarator_constant_expression (Struct_declarator)
Attributes	Relations declarator [1..1] : Declarator constant_expression [1..1] : Constant_expression

Class Declarator_initializer (Init_declarator)
Attributes	Relations declarator [1..1] : Declarator initializer [1..1] : Initializer

Class Default_statement (Labeled_statement)
Attributes	Relations statement [1..1] : Statement

Class Different_equality_relational_expression (Equality_expression)
Attributes	Relations equality_expression [1..1] : Equality_expression relational_expression [1..1] : Relational_expression

Class Direct_abstract_declarator (Abstract_declarator)
Attributes	Relations

Class Direct_abstract_declarator_constant_expression (Direct_abstract_declarator)
Attributes	Relations direct_abstract_declarator [0..1] : Direct_abstract_declarator constant_expression [0..1] : Constant_expression

Class Direct_abstract_declarator_parameter_type_list (Direct_abstract_declarator)
Attributes	Relations direct_abstract_declarator [0..1] : Direct_abstract_declarator parameter_type_list [0..1] : Parameter_type_list

Class Direct_declarator
Attributes	Relations

Class Direct_declarator_constant_expression (Direct_declarator)
Attributes	Relations direct_declarator [1..1] : Direct_declarator constant_expression [0..1] : Constant_expression

Class Direct_declarator_identifier (Direct_declarator)
Attributes	Relations direct_declarator [1..1] : Direct_declarator identifier [1..1] : Identifier

Class Direct_declarator_parameter_type_list (Direct_declarator)
Attributes	Relations direct_declarator [1..1] : Direct_declarator parameter_type_list [1..1] : Parameter_type_list

Class Directory (EPackage)
Attributes	Relations translation_unit [0..*] : Translation_unit

Class Divide_expression (Multiplicative_expression)
Attributes	Relations multiplicative_expression [1..1] : Multiplicative_expression cast_expression [1..1] : Cast_expression

Class Do_iteration_statement (Iteration_statement)
Attributes	Relations statement [1..1] : Statement expression [0..1] : Expression

Class Double (Type_specifier)
Attributes valeur : EString	Relations

Class Double_plus_unary_expression (Unary_expression)
Attributes	Relations unary_expression [1..1] : Unary_expression

Class Double_subtract_unary_expression (Unary_expression)
Attributes	Relations unary_expression [1..1] : Unary_expression

Class Else
Attributes	Relations statement [1..1] : Statement

Class Enum_specifier (Type_specifier)
Attributes	Relations

Class Enumeration_constant (Constant)
Attributes valeur : EString	Relations

Class Enumerator (Enumerator_list)
Attributes	Relations

Class Enumerator_list (Enum_specifier)
Attributes	Relations

Class Enumerator_list_seq (Enumerator_list)
Attributes	Relations enumerator_list [1..1] : Enumerator_list enumerator [1..1] : Enumerator

Class Equal_equality_relational_expression (Equality_expression)
Attributes	Relations equality_expression [1..1] : Equality_expression relational_expression [1..1] : Relational_expression

Class Equality_expression (And_expression)
Attributes	Relations

Class Exclusive_or_and_expression (Exclusive_or_expression)
Attributes	Relations exclusive_or_expression [1..1] : Exclusive_or_expression and_expression [1..1] : And_expression

Class Exclusive_or_expression (Inclusive_or_expression)
Attributes	Relations

Class Expression
Attributes	Relations comment [0..1] : Comment

Class Expression_assignment_expression (Expression)
Attributes	Relations expression [1..1] : Expression assignment_expression [1..1] : Assignment_expression

Class Expression_init
Attributes	Relations expression [1..1] : Expression

Class Expression_max
Attributes	Relations expression [1..1] : Expression

Class Expression_parenthese (Primary_expression)
Attributes	Relations expression [0..1] : Expression

Class Expression_statement (Statement)
Attributes	Relations expression [0..1] : Expression

Class Extern (Storage_class_specifier)
Attributes valeur : EString	Relations

Class External_declaration
Attributes	Relations comment [0..*] : Comment

Class Float (Type_specifier)
Attributes valeur : EString	Relations

Class Floating_constant (Constant)
Attributes valeur : EFloat	Relations

Class For_iteration_statement (Iteration_statement)
Attributes	Relations var_expression [0..1] : Var_expression expression_init [0..1] : Expression_init expression_max [0..1] : Expression_max statement [1..1] : Statement

Class Function_definition (External_declaration)
Attributes	Relations declaration_specifier [0..*] : Declaration_specifier declarator [0..1] : Declarator declaration [0..*] : Declaration compound_statement [0..1] : Compound_statement

Class Goto (Jump_statement)
Attributes	Relations identifier [1..1] : Identifier

Class Identifier (Direct_declaratorPrimary_expressionEnum_specifierEnumerator)
Attributes valeur : EString	Relations

Class Identifier_constant_expression (Enumerator)
Attributes	Relations identifier [1..1] : Identifier constant_expression [1..1] : Constant_expression

Class Identifier_enumerator_list (Enum_specifier)
Attributes	Relations identifier [1..1] : Identifier enumerator_list [1..1] : Enumerator_list

Class Identifier_statement (Labeled_statement)
Attributes	Relations identifier [1..1] : Identifier statement [1..1] : Statement

Class If_else_selection_statement (Selection_statement)
Attributes	Relations expression [1..1] : Expression Then [1..1] : Then Else [1..1] : Else

Class If_selection_statement (Selection_statement)
Attributes	Relations expression [1..1] : Expression statement [0..1] : Statement

Class Includes (External_declaration)
Attributes	Relations identifier [1..1] : Identifier

Class Inclusive_exclusive_or_expression (Inclusive_or_expression)
Attributes	Relations inclusive_or_expression [1..1] : Inclusive_or_expression exclusive_or_expression [1..1] : Exclusive_or_expression

Class Inclusive_or_expression (Logical_and_expression)
Attributes	Relations

Class Inferior_equal_expression (Relational_expression)
Attributes	Relations relational_expression [1..1] : Relational_expression shift_expression [1..1] : Shift_expression

Class Inferior_expression (Relational_expression)
Attributes	Relations relational_expression [1..1] : Relational_expression shift_expression [1..1] : Shift_expression

Class Init_declarator
Attributes	Relations

Class Initializer (Initializer_list)
Attributes	Relations

Class Initializer_list
Attributes	Relations

Class Initializer_list_list (Initializer)
Attributes	Relations initializer_list [1..*] : Initializer_list

Class Initializer_list_only (Initializer)
Attributes	Relations initializer_list [1..1] : Initializer_list

Class Initializer_list_seq (Initializer_list)
Attributes	Relations initializer_list [1..1] : Initializer_list initializer [1..1] : Initializer

Class Int (Type_specifier)
Attributes valeur : EString	Relations

Class Integer_constant (Constant)
Attributes valeur : EInt	Relations

Class Iteration_statement (Statement)
Attributes	Relations

Class Jump_statement (Statement)
Attributes	Relations

Class Labeled_statement (Statement)
Attributes	Relations

Class Left_shift_expression (Shift_expression)
Attributes	Relations shift_expression [1..1] : Shift_expression additive_expression [1..1] : Additive_expression

Class Logical_and_expression (Logical_or_expression)
Attributes	Relations

Class Logical_and_inclusive_or_expression (Logical_and_expression)
Attributes	Relations logical_and_expression [1..1] : Logical_and_expression inclusive_or_expression [1..1] : Inclusive_or_expression

Class Logical_or_and_expression (Logical_or_expression)
Attributes	Relations logical_or_expression [1..1] : Logical_or_expression logical_and_expression [1..1] : Logical_and_expression

Class Logical_or_expression (Conditional_expression)
Attributes	Relations

Class Logical_or_expression_conditional (Conditional_expression)
Attributes	Relations logical_or_expression [1..1] : Logical_or_expression expression [1..1] : Expression conditional_expression [1..1] : Conditional_expression

Class Long (Type_specifier)
Attributes valeur : EString	Relations

Class Mod_expression (Multiplicative_expression)
Attributes	Relations multiplicative_expression [1..1] : Multiplicative_expression cast_expression [1..1] : Cast_expression

Class Multip_expression (Multiplicative_expression)
Attributes	Relations multiplicative_expression [1..1] : Multiplicative_expression cast_expression [1..1] : Cast_expression

Class Multiplicative_expression (Additive_expression)
Attributes	Relations

Class Parameter_declaration (Parameter_list)
Attributes	Relations

Class Parameter_list (Parameter_type_list)
Attributes	Relations

Class Parameter_list_declaration (Parameter_list)
Attributes	Relations parameter_list [0..1] : Parameter_list parameter_declaration [0..1] : Parameter_declaration

Class Parameter_list_list (Parameter_type_list)
Attributes	Relations parameter_list [0..*] : Parameter_list

Class Parameter_type_list
Attributes	Relations

Class Plus_expression (Additive_expression)
Attributes	Relations additive_expression [1..1] : Additive_expression multiplicative_expression [1..1] : Multiplicative_expression

Class Pointer (Abstract_declarator)
Attributes	Relations type_qualifier [0..*] : Type_qualifier pointer [0..1] : Pointer

Class Pointer_direct_abstract_declarator (Abstract_declarator)
Attributes	Relations pointer [1..1] : Pointer direct_abstract_declarator [1..1] : Direct_abstract_declarator

Class Postfix_assignment_expression (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression assignment_expression [1..1] : Assignment_expression

Class Postfix_expression (Unary_expression)
Attributes	Relations

Class Postfix_expression_arrow_identifier (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression identifier [1..1] : Identifier

Class Postfix_expression_dot_identifier (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression identifier [1..1] : Identifier

Class Postfix_expression_double_plus (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression

Class Postfix_expression_double_subtract (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression

Class Postfix_expression_expression (Postfix_expression)
Attributes	Relations postfix_expression [1..1] : Postfix_expression expression [0..1] : Expression

Class Primary_expression (Postfix_expression)
Attributes	Relations

Class Register (Storage_class_specifier)
Attributes valeur : EString	Relations

Class Relational_expression (Equality_expression)
Attributes	Relations

Class Return (Jump_statement)
Attributes	Relations expression [0..1] : Expression

Class Right_shift_expression (Shift_expression)
Attributes	Relations shift_expression [1..1] : Shift_expression additive_expression [1..1] : Additive_expression

Class Selection_statement (Statement)
Attributes	Relations

Class Shift_expression (Relational_expression)
Attributes	Relations

Class Short (Type_specifier)
Attributes valeur : EString	Relations

Class Signed (Type_specifier)
Attributes valeur : EString	Relations

Class Sizeof_type_name (Unary_expression)
Attributes	Relations type_name [1..1] : Type_name

Class Sizeof_unary_expression (Unary_expression)
Attributes	Relations unary_expression [1..1] : Unary_expression

Class Specifier_qualifier
Attributes	Relations

Class Statement
Attributes	Relations comment [0..*] : Comment suivant [0..1] : Statement

Class Static (Storage_class_specifier)
Attributes valeur : EString	Relations

Class Storage_class_specifier (Declaration_specifier)
Attributes	Relations

Class String (Primary_expression)
Attributes valeur : EString	Relations

Class Struct (Struct_or_union)
Attributes valeur : EString	Relations

Class Struct_declaration
Attributes	Relations specifier_qualifier [0..*] : Specifier_qualifier struct_declarator_list [0..1] : Struct_declarator_list

Class Struct_declarator (Struct_declarator_list)
Attributes	Relations

Class Struct_declarator_list
Attributes	Relations

Class Struct_declarator_list_seq (Struct_declarator_list)
Attributes	Relations struct_declarator_list [0..1] : Struct_declarator_list struct_declarator [1..1] : Struct_declarator

Class Struct_or_union
Attributes	Relations

Class Struct_or_union_specifier (Type_specifier)
Attributes	Relations

Class Struct_or_union_with_decl (Struct_or_union_specifier)
Attributes	Relations struct_or_union [1..1] : Struct_or_union struct_declaration [0..*] : Struct_declaration

Class Struct_or_union_with_id (Struct_or_union_specifier)
Attributes	Relations struct_or_union [1..1] : Struct_or_union identifier [1..1] : Identifier

Class Struct_or_union_with_id_decl (Struct_or_union_specifier)
Attributes	Relations struct_or_union [1..1] : Struct_or_union identifier [1..1] : Identifier struct_declaration [0..*] : Struct_declaration

Class Subtract_expression (Additive_expression)
Attributes	Relations additive_expression [1..1] : Additive_expression multiplicative_expression [1..1] : Multiplicative_expression

Class Superior_equal_expression (Relational_expression)
Attributes	Relations relational_expression [1..1] : Relational_expression shift_expression [1..1] : Shift_expression

Class Superior_expression (Relational_expression)
Attributes	Relations relational_expression [1..1] : Relational_expression shift_expression [1..1] : Shift_expression

Class Switch_selection_statement (Selection_statement)
Attributes	Relations expression [1..1] : Expression statement [1..1] : Statement

Class Then
Attributes	Relations statement [1..1] : Statement

Class Translation_unit
Attributes	Relations comment [0..*] : Comment identifier [1..1] : Identifier external_declaration [0..*] : External_declaration

Class Type_cast_expression (Cast_expression)
Attributes	Relations type_name [1..1] : Type_name cast_expression [1..1] : Cast_expression

Class Type_name
Attributes	Relations specifier_qualifier [1..*] : Specifier_qualifier abstract_declarator [0..1] : Abstract_declarator

Class Type_qualifier (Declaration_specifierSpecifier_qualifier)
Attributes	Relations

Class Type_specifier (Declaration_specifierSpecifier_qualifier)
Attributes	Relations

Class Typedef (Storage_class_specifier)
Attributes valeur : EString	Relations

Class Typedef_name (Type_specifier)
Attributes	Relations identifier [0..1] : Identifier

Class Unary_expression (Cast_expression)
Attributes	Relations

Class Unary_operator
Attributes valeur : EString	Relations

Class Unary_operator_assignment_expression (Assignment_expression)
Attributes	Relations unary_expression [1..1] : Unary_expression assignment_operator [1..1] : Assignment_operator assignment_expression [1..1] : Assignment_expression

Class Unary_operator_cast_expression (Unary_expression)
Attributes	Relations unary_operator [1..1] : Unary_operator cast_expression [1..1] : Cast_expression

Class Union (Struct_or_union)
Attributes valeur : EString	Relations

Class Unsigned (Type_specifier)
Attributes valeur : EString	Relations

Class Var_expression
Attributes	Relations expression [1..1] : Expression

Class Void (Type_specifier)
Attributes valeur : EString	Relations

Class Volatile (Type_qualifier)
Attributes valeur : EString	Relations

Class While_iteration_statement (Iteration_statement)
Attributes	Relations expression [1..1] : Expression statement [1..1] : Statement