------------------------------------------------------- ------------------------- -- -- -- OCARINA COMPONENTS -- -- -- -- O C A R I N A . A A D L . P A R S E R _ E R R O R S -- -- -- -- S p e c -- -- -- -- Copyright (C) 2004-2006, GET-Telecom Paris. -- -- -- -- Ocarina is free software; you can redistribute it and/or modify -- -- it under terms of the GNU General Public License as published by the -- -- Free Software Foundation; either version 2, or (at your option) any -- -- later version. Ocarina is distributed in the hope that it will be -- -- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of -- -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- -- Public License for more details. You should have received a copy of the -- -- GNU General Public License distributed with Ocarina; see file COPYING. -- -- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth -- -- Floor, Boston, MA 02111-1301, USA. -- -- -- -- As a special exception, if other files instantiate generics from this -- -- unit, or you link this unit with other files to produce an executable, -- -- this unit does not by itself cause the resulting executable to be -- -- covered by the GNU General Public License. This exception does not -- -- however invalidate any other reasons why the executable file might be -- -- covered by the GNU Public License. -- -- -- -- Ocarina is maintained by the Ocarina team -- -- (ocarina-users@listes.enst.fr) -- -- -- ------------------------------------------------------------------------------ with Types; use Types; with Ocarina.AADL.Tokens; use Ocarina.AADL.Tokens; package Ocarina.AADL.Parser_Errors is -- Parsing Codes type parsing_code is (pc_none_statement, pc_items_list, pc_classifier_reference, pc_identifiers, pc_defining_identifier, pc_defining_name, pc_aadl_specification, pc_aadl_declaration, pc_package_specification, pc_package_declarations, pc_annex_library, pc_annex_subclause, pc_component, pc_component_category, pc_unique_component_type_identifier, pc_component_type, pc_component_type_extension, pc_unique_component_impl_name, pc_component_implementation, pc_component_implementation_extension, pc_connections, pc_connection, pc_connection_refinement, pc_data_connection, pc_data_connection_refinement, pc_event_connection, pc_event_connection_refinement, pc_event_data_connection, pc_event_data_connection_refinement, pc_port_group_connection, pc_port_group_connection_refinement, pc_parameter_connection, pc_parameter_connection_refinement, pc_access_connection, pc_access_connection_refinement, pc_features, pc_refines_type, pc_feature, pc_feature_refinement, pc_parameters, pc_parameter, pc_parameter_refinement, pc_flow_identifier, pc_subcomponent_flow_identifier, pc_flow_specifications, pc_flow_spec, pc_flow_spec_refinement, pc_flow_source_spec, pc_flow_source_spec_refinement, pc_flow_sink_spec, pc_flow_sink_spec_refinement, pc_flow_path_spec, pc_flow_path_spec_refinement, pc_end_to_end_flow_spec, pc_end_to_end_flow_refinement, pc_flow_implementations, pc_flow_implementation, pc_flow_implementation_refinement, pc_flow_path_implementation, pc_flow_path_implementation_refinement, pc_flow_sink_implementation, pc_flow_sink_implementation_refinement, pc_flow_source_implementation, pc_flow_source_implementation_refinement, pc_mode, pc_mode_refinement, pc_in_modes, pc_in_modes_and_transitions, pc_mode_or_mode_transition, pc_mode_or_transition, pc_mode_transition, pc_port_type, pc_port_group_spec, pc_port_group_refinement, pc_port_group_type, pc_port_group_type_extension, pc_port_spec, pc_port_refinement, pc_port_spec_or_port_group_spec, pc_port_refinement_or_port_group_refinement, pc_unique_port_group_type_reference, pc_unique_port_identifier, pc_properties, pc_property_set, pc_property_declaration, pc_property_type_declaration, pc_property_type_designator, pc_unique_property_type_identifier, pc_enumeration_type, pc_units_type, pc_unit_definition, pc_number_type, pc_range_type, pc_number_range, pc_real_range, pc_integer_range, pc_classifier_type, pc_reference_type, pc_referable_element_category, pc_property_name_declaration, pc_property_owner_category, pc_single_valued_property, pc_multi_valued_property, pc_property_constant, pc_unique_property_constant_identifier, pc_single_valued_property_constant, pc_multi_valued_property_constant, pc_constant_signed_integer_value, pc_constant_signed_real_value, pc_constant_string_value, pc_constant_property_value, pc_property_association, pc_access_property_association, pc_contained_property_association, pc_property_association_or_contained_property_association, pc_property_expression, pc_property_list_value, pc_property_term, pc_boolean_property_term, pc_component_classifier_term, pc_reference_term, pc_boolean_term, pc_number_range_term, pc_integer_range_term, pc_real_range_term, pc_data_subprogram_spec, pc_data_subprogram_refinement, pc_server_subprogram, pc_server_subprogram_refinement, pc_subprogram_call, pc_subprogram_call_sequences, pc_subprogram_call_sequence, pc_subcomponents, pc_subcomponent, pc_subcomponent_refinement, pc_subcomponent_access, pc_subcomponent_access_refinement, pc_subcomponent_access_classifier); -- Error Message Code type error_message_code is (emc_access_property_association_is_not_allowed, emc_contained_property_association_is_not_allowed, emc_debug, emc_invalid_range, emc_list_is_empty, emc_no_defining_identifier, emc_refinement_is_not_allowed, emc_extends_incompatible_entity); procedure Display_Parsing_Error (Code : parsing_code; Error_Msg : error_message_code); procedure DPE (Code : parsing_code; Error_Msg : error_message_code) renames Display_Parsing_Error; -- Display an output message: -- Location: parsing ..., procedure Display_Parsing_Error (Code : parsing_code); procedure DPE (Code : parsing_code) renames Display_Parsing_Error; -- Display an output error message: -- Location: parsing ..., unexpected `Current_Token_Image` procedure Display_Parsing_Error (Code : parsing_code; Identifier : name_id); procedure DPE (Code : parsing_code; Identifier : name_id) renames Display_Parsing_Error; -- Display an output error message: -- Location: parsing ..., identifier <...> expected, found -- Current_Token_Image procedure Display_Parsing_Error (Code : parsing_code; Expected_Token : token_type); procedure DPE (Code : parsing_code; Expected_Token : token_type) renames Display_Parsing_Error; -- Display an output error message: -- Location: parsing ..., token ... expected, found Current_Token_Image procedure Display_Parsing_Error (Code : parsing_code; Expected_Tokens : token_list_type); procedure DPE (Code : parsing_code; Expected_Tokens : token_list_type) renames Display_Parsing_Error; -- Display an output error message: -- Location: parsing ..., token ... or ... or ... expected, -- found Current_Token_Image function Image (Code : parsing_code) return String; -- Return corresponding string of given parsing code function Image (Code : error_message_code) return String; -- Return corresponding string of given error message code end Ocarina.AADL.Parser_Errors;