------------------------------------- ------------------------------------------- -- -- -- OCARINA COMPONENTS -- -- -- -- OCARINA.AADL.PRINTER.COMPONENTS.FEATURES -- -- -- -- B o d y -- -- -- -- Copyright (C) 2005-2007, 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 Output; with Ocarina.Nodes; with Ocarina.AADL.Printer.Properties; with Ocarina.AADL.Printer.Identifiers; with Ocarina.AADL.Printer.Components; package body Ocarina.AADL.Printer.Components.Features is use Output; use Ocarina.Nodes; use Ocarina.AADL.Printer.Properties; use Ocarina.AADL.Printer.Identifiers; use Ocarina.AADL.Printer.Components; ------------------- -- Print_Feature -- ------------------- procedure Print_Feature (Node : node_id; Options : output_options) is pragma assert (Present (Node)); begin Write_Indentation; case Kind (Node) is when k_parameter => Print_Parameter (Node, Options); when k_port_spec => Print_Port_Spec (Node, Options); when k_port_group_spec => Print_Port_Group_Spec (Node, Options); when k_subcomponent_access => Print_Subcomponent_Access (Node, Options); when k_subprogram_spec => Print_Subprogram_Spec (Node, Options); when others => raise Program_Error; end case; Print_Contained_Property_Associations (Ocarina.Nodes.Properties (Node), Options); Print_Token (t_semicolon); Write_Eol; end Print_Feature; --------------------- -- Print_Parameter -- --------------------- procedure Print_Parameter (Node : node_id; Options : output_options) is pragma unreferenced (Options); begin Print_Item_Refined_To (Node); Write_Space; if Is_In (Node) then Print_Token (t_in); Write_Space; end if; if Is_Out (Node) then Print_Token (t_out); Write_Space; end if; Print_Token (t_parameter); Write_Space; if Entity_Ref (Node) /= No_Node then Print_Entity_Reference (Entity_Ref (Node)); end if; end Print_Parameter; --------------------------- -- Print_Port_Group_Spec -- --------------------------- procedure Print_Port_Group_Spec (Node : node_id; Options : output_options) is pragma unreferenced (Options); begin Print_Item_Refined_To (Node); Write_Space; Print_Tokens ((t_port, t_group)); Write_Space; if Entity_Ref (Node) /= No_Node then Print_Entity_Reference (Entity_Ref (Node)); end if; end Print_Port_Group_Spec; --------------------- -- Print_Port_Spec -- --------------------- procedure Print_Port_Spec (Node : node_id; Options : output_options) is pragma unreferenced (Options); Class_Ref : constant node_id := Entity_Ref (Node); begin Print_Item_Refined_To (Node); Write_Space; if Is_In (Node) then Print_Token (t_in); Write_Space; end if; if Is_Out (Node) then Print_Token (t_out); Write_Space; end if; if Is_Event (Node) then Print_Token (t_event); Write_Space; end if; if Is_Data (Node) then Print_Token (t_data); Write_Space; Print_Token (t_port); if Present (Class_Ref) then Write_Space; Print_Entity_Reference (Class_Ref); end if; else Print_Token (t_port); end if; end Print_Port_Spec; ------------------------------- -- Print_Subcomponent_Access -- ------------------------------- procedure Print_Subcomponent_Access (Node : node_id; Options : output_options) is pragma unreferenced (Options); Class_Ref : constant node_id := Entity_Ref (Node); begin Print_Item_Refined_To (Node); Write_Space; if Is_Provided (Node) then Print_Token (t_provides); else Print_Token (t_requires); end if; Write_Space; Print_Component_Category (Subcomponent_Category (Node)); Write_Space; Print_Token (t_access); if Present (Class_Ref) then Write_Space; Print_Entity_Reference (Class_Ref); end if; end Print_Subcomponent_Access; --------------------------- -- Print_Subprogram_Spec -- --------------------------- procedure Print_Subprogram_Spec (Node : node_id; Options : output_options) is pragma unreferenced (Options); Subprog_Ref : constant node_id := Entity_Ref (Node); begin Print_Item_Refined_To (Node); Write_Space; if Is_Server (Node) then Print_Token (t_server); Write_Space; end if; Print_Token (t_subprogram); if Present (Subprog_Ref) then Write_Space; Print_Entity_Reference (Subprog_Ref); end if; end Print_Subprogram_Spec; end Ocarina.AADL.Printer.Components.Features;