------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real-time scheduling analysis tool. -- This program provides services to automatically check schedulability and -- other performance criteria of real-time architecture models. -- -- Copyright (C) 2002-2020, Frank Singhoff, Alain Plantec, Jerome Legrand, -- Hai Nam Tran, Stephane Rubini -- -- The Cheddar project was started in 2002 by -- Frank Singhoff, Lab-STICC UMR 6285, Université de Bretagne Occidentale -- -- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- The full list of contributors and sponsors can be found in AUTHORS.txt and SPONSORS.txt -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program 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 -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- ------------------------------------------------------------------------------ -- Last update : -- $Rev$ -- $Date$ -- $Author: singhoff $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Framework_Config; use Framework_Config; package Translate is procedure Initialize; type Labels is array (Languages'Range) of Unbounded_String; ---------------------------------------------------- -- Labels common on every languages ---------------------------------------------------- Lb_Dot, Lb_Colon, Lb_Minus, Lb_Equal, Lb_Comma, Lb_Double_Quote : Unbounded_String; ---------------------------------------------------- -- Menu and sub menu titles ---------------------------------------------------- Lb_Root_Title, Lb_File, Lb_New, Lb_Open, Lb_Save, Lb_Save_As, Lb_Open_Xml, Lb_Save_Xml, Lb_Save_As_Xml, Lb_Edit_Scheduler, Lb_Parametric, Lb_Aadl, Lb_Import_Aadl, Lb_Export_Aadl, Lb_Aadl_Options, Lb_Other_Aadl_Options, Lb_Export_Cheddar_Property_Sets, Lb_Export_Aadl_Standard_Properties_Set, Lb_Exit, Lb_Edit, Lb_Tools, Lb_Compute_Buffer, Lb_Draw_Buffer, Lb_Clear, Lb_Scheduling_Simulation, Lb_Scheduling_Feasibility, Lb_export_arinc653_tsp, Lb_Customized_Scheduling_Simulation, Lb_Customized_Feasibility_Tests, Lb_Compute_And_Display, Lb_Compute_And_Update, Lb_Compute_And_Display_One_Step, Lb_Compute_And_Update_One_Step, Lb_Memory_Requirement_Analysis, Lb_Check_And_Update_Address_Space, Lb_Check_Address_Space, Lb_Help, Lb_Manual, Lb_Ref, Lb_About, Lb_About_Text : Labels; ---------------------------------------------------- -- Edit model ---------------------------------------------------- Lb_add, lb_delete, Lb_Update, Lb_Update_Task, Lb_Update_Address_Space, lb_update_core_unit, Lb_Update_Event_Analyzer, Lb_Update_Message, Lb_Update_Buffer, Lb_Update_Processor, Lb_Update_Network, Lb_Update_Resource : Labels; ----------------------------------------------------------------------------- -- Simple errors on messages/tasks/processors/resources/buffers/networks ----------------------------------------------------------------------------- lb_cache_not_found, lb_core_unit_not_found, Lb_Dependency_Not_Found, Lb_Resource_Not_Found, Lb_Message_Not_Found, Lb_Task_Not_Found, Lb_Address_Space_Not_Found, Lb_task_group_Not_Found, Lb_Processor_Not_Found, lb_battery_not_found, Lb_Buffer_Not_Found, Lb_Event_Analyzer_Not_Found, lb_deployment_not_found : Labels; Lb_Define_core_units_Before, Lb_Define_Tasks_Before, Lb_Define_Task_Groups_Before, Lb_Define_Address_Spaces_Before, Lb_Define_Processors_Before, Lb_Define_Messages_Before, Lb_Define_Resources_Before, Lb_Define_Buffers_Before, Lb_Define_Event_Analyzers_Before, Lb_Define_deployments_Before, Lb_Define_Caches_Before : Labels; Lb_Can_Not_Define_More_Memories, Lb_Can_Not_Define_More_task_groups, Lb_Can_Not_Define_More_core_units, Lb_Can_Not_Define_More_sections, Lb_Can_Not_Define_More_Networks, Lb_Can_Not_Define_More_Tasks, Lb_Can_Not_Define_More_Address_Spaces, Lb_Can_Not_Define_More_Processors, Lb_Can_Not_Define_More_Resources, Lb_Can_Not_Define_More_Buffers, Lb_Can_Not_Define_More_batteries, Lb_Can_Not_Define_More_Messages, Lb_Can_Not_Define_More_Event_Analyzers, Lb_Can_Not_Define_More_deployments : Labels; lb_entity_referenced_elsewhere: Labels; ---------------------------------------------------- -- I/O Errors and messages ---------------------------------------------------- Lb_Open_File, Lb_Save_File, Lb_Not_Saved_File, Lb_Can_Not_Open_File, Lb_Can_Not_Read_File, Lb_Can_Not_Save_File, Lb_File_Name : Labels; Lb_Open_Project, Lb_Save_Project, Lb_Not_Saved_Project, Lb_Can_Not_Open_Project, Lb_Can_Not_Save_Project, Lb_Select_File : Labels; ---------------------------------------------------- -- Widget text fields ---------------------------------------------------- -- -- Deployments widget -- lb_deployment_name, lb_deployment, Lb_can_not_be_empty, Lb_sink_set, Lb_source_set, Lb_Select_Line_Before : Labels; -- Event analyzer widgets -- Lb_Event_Analyzer_Name, Lb_Event_Analyzer, Lb_Select_Event_Analyzer_First, Lb_Run_Event_Analyzers : Labels; -- Generic and named object -- lb_object_id, lb_object_Name : labels; -- Processor et core units widgets -- lb_core_unit_id, lb_speed, Lb_Parametric_File_Name, Lb_File_Name_Control, Lb_core_units_name_Mandatory, Lb_buffer_name_Mandatory, Lb_processor_name_Mandatory, Lb_address_space_name_Mandatory, Lb_network_name_Mandatory, Lb_task_name_Mandatory, Lb_Only_On_Parametric, Lb_Select_core_unit_First, lb_core_unit, lb_create_only_one_core_unit, Lb_Select_Processor_First, Lb_Read, Lb_Quantum_Control, Lb_Processor, lb_core_unit_name, Lb_Processor_Name, Lb_Processor_id, Lb_Scheduler, Lb_Option, Lb_Preemptive, Lb_Not_Preemptive, Lb_Invalid_Identifier, Lb_Variable_Size, lb_automaton, Lb_scheduler_type_Mandatory, Lb_network_type_Mandatory, Lb_preemptive_type_Mandatory, Lb_priority_Mandatory, Lb_processor_type_Mandatory, lb_Processor_Type_Not_Allow_With_Several_Cores, lb_Migration_Type_Not_Allow_With_Several_Cores, Lb_migration_type_Mandatory : Labels; Lb_core_with_same_scheduler, Lb_hierarchical_not_allowed :labels; -- Memory -- Lb_Memory, Lb_Memory_Name, lb_memory_id : Labels; -- Cache -- Lb_Cache_Id, Lb_Cache, Lb_Cache_Name, Lb_Number_Of_Block, Lb_Cache_Size, Lb_Line_Size, Lb_Associativity, Lb_Hit_Time, Lb_Miss_Time, Lb_Block_reload_Time, Lb_Miss_Rate, Lb_Can_Not_Define_More_Caches : Labels; -- Cache Block -- Lb_Cache_Block_Id, Lb_Cache_Block, Lb_Cache_Block_Name, Lb_Can_Not_Define_More_Cache_Blocks : Labels; -- Cache Access Profile -- Lb_Cache_Access_Profile_Id, Lb_Cache_Access_Profile, Lb_Cache_Access_Profile_Name, Lb_UCBs, Lb_ECBs, Lb_UCBs_Nb_Entries, Lb_ECBs_Nb_Entries, Lb_Cache_Access_Profile_Not_Found, Lb_Compute_Cache_Access_Profile, Lb_Compute_Cache_Access_Profile_Method, Lb_Can_Not_Define_More_Cache_Access_Profiles, Lb_Cache_Access_Profile_Must_Be_Defined, Lb_Cache_Access_Profile_Must_Be_Defined_For_All_Tasks, Lb_CFG_Imported, Lb_Import_CFG, Lb_Import_CFG_And_Compute_Cache_Access_Profile: Labels; -- -- Labels related to the sections -- Lb_section_Name, Lb_section : Labels; -- -- Tasks widgets -- lb_task_id, Lb_Task_Group_id, Lb_Task_Name, Lb_Task_Group_Name, Lb_Task, Lb_Task_Group, Lb_Task_Type, Lb_Task_Type_mandatory, Lb_Policy_Mandatory, Lb_Capacity, Lb_Criticality, Lb_Deadline, Lb_Period, Lb_Jitter, Lb_Priority, Lb_Policy, Lb_Policy_Control, Lb_Start_Time, Lb_Seed, Lb_Predictable, Lb_Unpredictable, Lb_Offset_Val, Lb_Offset_Act, Lb_Offsets, Lb_Activations, Lb_Activation, Lb_Values, Lb_Value, Lb_User_Defined_Parameter, Lb_Rule_For_Parametric_Only, Lb_Main, Lb_No_Period, Lb_Require_Period, Lb_Require_Activation_Rule, Lb_Have_To_Be_On_The_Same_Processor, Lb_Select_Task_First, Lb_Can_Not_Modify, Lb_Task_Not_Permitted, Lb_Activation_Rule, lb_context_switch_overhead, lb_every, Lb_energy_consumption : Labels; -- -- Address space widgets -- Lb_Address_Space_Name, Lb_Address_Space_id, Lb_Select_Address_Space_First, Lb_Address_Space, Lb_Invalid_Scheduler, Lb_Text, Lb_Heap, Lb_Data, Lb_Stack, Lb_Text_Memory_Size, Lb_Text_Memory_Start_Address, Lb_Heap_Memory_Size, Lb_Data_Memory_Size, Lb_Stack_Memory_Size : Labels; Lb_require_same_Scheduler_on_all_address_space : Labels; -- -- Message widgets -- lb_message_id, Lb_Message_Type, Lb_Message, Lb_Response_Time_Message, Lb_Communication_Time_Message, Lb_Message_Name : Labels; -- -- Network widgets -- Lb_Only_On_Parametric_Network, Lb_Network, Lb_Network_Name, Lb_Networks_List , Lb_Select_network_First, Lb_View_Networks_Type, Lb_Define_Networks_Before, Lb_Delete_Network, Lb_Network_Not_Found, Lb_Network_Type, lb_number_of_processor : Labels; -- -- Battery widgets -- Lb_battery, Lb_battery_Name, Lb_rechargeable_power : Labels; -- -- Buffer widgets -- lb_buffer_id, Lb_Buffer, Lb_Buffer_Name, Lb_Size, Lb_Time, Lb_Timeout, Lb_Select_Buffer_First, Lb_Utilization_Level, Lb_Bound_Buffer, Lb_Role_Type, Lb_Role, Lb_Role_Consumer, Lb_Role_Producer, Lb_Role_List, Lb_Buffer_List, Lb_duplicated_buffer_role, Lb_Queueing_System, Lb_Buffer_Information : Labels; -- -- Resource widgets -- lb_resource_id, Lb_Resource_Name, Lb_Resource, Lb_Select_Resource_First, lb_address, Lb_Update_Resource_Control, Lb_Used_Protocol, Lb_Resource_Filter, Lb_Cpu_Filter, Lb_State, Lb_Protocol, Lb_Modify, Lb_Resource_State, Lb_Task_Begin, Lb_Task_End, Lb_Resources, Lb_Resource_Affect, Lb_Resource_Information, Lb_Invalid_Protocol, lb_duplicated_critical_section, Lb_can_not_add_more_task_for_this_resource : Labels; -- -- Dependencies graph widgets -- Lb_New_Buffer_Role, Lb_Disp1, Lb_Disp2, Lb_Disp3, Lb_Create, Lb_Select, Lb_Name, Lb_Select_Row_Before, Lb_Precedencies, Lb_Arrow, Lb_New_Item, Lb_Graph_View, Lb_Choose_Item, Lb_Select_Precedence_Sink_Before, Lb_Select_Precedence_Source_Before, Lb_Select_buffer_dependency_task_Before, Lb_Select_Buffer_Orientation_Before, Lb_Select_buffer_dependency_object_Before, Lb_Select_communication_dependency_task_Before, Lb_Select_communication_orientation_Before, Lb_Select_communication_dependency_object_Before, Lb_Select_time_triggered_communication_sink_Before, Lb_Select_time_triggered_communication_source_Before, Lb_Select_timing_property_Before, Lb_Select_resource_dependency_resource_Before , Lb_Select_resource_dependency_task_Before, Lb_Select_black_board_dependent_task_Before, Lb_Select_black_board_orientation_Before, Lb_Select_black_board_dependency_object_Before, Lb_Select_dependency_type_Before, Lb_Add_Precedence_Dependency_Before, Lb_Add_Queuing_Buffer_Dependency_Before, Lb_Add_Communication_Dependency_Before , Lb_Add_Time_Triggered_Dependency_Before, Lb_Add_Resource_Dependency_Before, Lb_Add_Black_Board_Buffer_Dependency_Before : Labels; -- -- AADL options -- Lb_Aadl_Process_Second_Import_Pass, Lb_Aadl_Process_Third_Import_Pass, Lb_Import_Aadl_Event_To_Precedencies, Lb_Import_Aadl_Event_Data_To_Precedencies , Lb_Import_Aadl_Event_To_Buffers_Messages, Lb_Import_Aadl_Event_Data_To_Buffers_Messages, Lb_Aadl_Debug, Lb_Import_Aadl_System_Name, Lb_Export_Aadl_Precedencies_To_Properties, Lb_Export_Aadl_Precedencies_To_Event, Lb_Export_Aadl_Precedencies_To_Event_Data : Labels; -- -- System entity checks -- Lb_are_unconsistent : Labels; -- -- Scheduling and event analyzer options -- Lb_Compute_Scheduling, Lb_Generate_Events, Lb_Scheduling_Options, Lb_Display_Event_Table, Lb_Automatically_Export_Event_Table, Lb_Event_Table_File_Name, Lb_Run_Simulation_On_One_Processor_Only, Lb_Run_Feasibility_Tests_On_One_Processor_Only, Lb_Schedule_According_To : Labels; -- -- options -- Lb_Event_Table_Services, Lb_Compute_Scheduling_And_Generate_Event_Table, Lb_Run_Analysis_On_Event_Table, Lb_Draw_Time_Line_From_Event_Table, Lb_Import_Event_Table, Lb_Export_Event_Table : Labels; Lb_Seed_Options, Lb_Task_Specific, Lb_All_Predictable, Lb_All_Unpredictable, Lb_Max_time_line_to_display, Lb_Time_Line_Between_Time_Axis : Labels; -- -- Duplicate widget -- Lb_Duplicate, Lb_Old, Lb_Object : Labels; -- -- Select time line widget -- Lb_Select_Time_Line, Lb_To_Display, Lb_Can_Not_Display_So_Much_Time_Line, Lb_Select_At_Least_One_Time_Line, Lb_Type : Labels; -- -- Others ... -- Lb_Advanced, Lb_Cancel, Lb_Warning, Lb_See, Lb_Equation, Lb_Theorem, Lb_Divisible, Lb_less_than, Lb_greater_than, lb_less_or_equal_than, lb_greater_or_equal_than, Lb_Lemma, Lb_Close, Lb_And, Lb_Continue : Labels; ---------------------------------------------------- -- Data controls ---------------------------------------------------- Lb_Invalid_Priority, Lb_Mandatory, Lb_Already_Defined, Lb_Must_Be, Lb_Must_Be_Numeric, Lb_Parameter : Labels; ---------------------------------------------------- -- Parametric scheduler messages ---------------------------------------------------- -- -- Parser and parametric simulation errors -- Lb_Type_Error, Lb_Parametric_File_Error, Lb_Statement_Error, Lb_Variable_Error, Lb_Syntax_Error, Lb_Identifier_Already_Exists, Lb_Variable_Declaration_Have_To_Be_Done_In_Start_Section, Lb_Undeclared_Identifier, Lb_Identifier, Lb_Integer_Conversion_Error, Lb_Double_Conversion_Error, Lb_Index_Error, Lb_Uncompatible_Type_Error, Lb_Can_Not_Edit_To_Parametric_Object, Lb_Identifier_Already_Declared, Lb_Operation_Not_Permitted : Labels; ---------------------------------------------------- -- Logic messages/errors (scheduling, buffer -- and blocking time) ---------------------------------------------------- -- -- Shared resource logic -- Lb_Compute_Blocking_Error1, Lb_Compute_Blocking_Error2, Lb_Compute_Blocking_Error3, Lb_Deadlock_Detection, Lb_Wait_for, Lb_Priority_Inversion_Detection, Lb_No_Deadlock_Found, Lb_No_Priority_Inversion_Found, Lb_Deadlock, Lb_Deadlock_At_Time, Lb_Priority_Inversion, Lb_Worst_Case_Blocking_Time, Lb_Has_Priority_Inversion, Lb_From_The_Time, Lb_To_The_Time, Lb_Blocking_Time, Lb_Simulation_Deadlock, Lb_Simulation_Priority_Inversion, Lb_Simulation_Blocking_Time, Lb_Blocking_Time_Inject_Success, Lb_Blocking_Time_Inject_Failed, Lb_Ceiling_Priority, Lb_ceiling_priority_Inject_Failed, Lb_ceiling_priority_Inject_Success : Labels; -- -- Scheduling logic -- Lb_Pb_Strict_Constraints, Lb_Pb_Sched_Unknown, Lb_feasibility_test_by_name, Lb_Select_Almost_One_Feasilibity_Test, Lb_Feasibility_Number1, Lb_Feasibility_Number2, Lb_Para, Lb_Edf, Lb_D_Over, Lb_Feasibility_Dbf, Lb_Feasibility_Dbf_Check_Interval, Lb_Feasibility_Dbf_Overrun_Instant, Lb_Sched_Explanation_Dbf1, Lb_Sched_Explanation_Dbf2, Lb_Muf, Lb_Rm, Lb_Dm, Lb_Llf, Lb_Hpf, Lb_Worst_Case, Lb_Best_Case, Lb_Average_Case, Lb_Curve, Lb_Simulation_warning, Lb_Simulation_Error, Lb_Priorities_Error1, Lb_Priorities_Error2, Lb_Priorities_Error_OPA, Lb_Priorities_Error_OPA_CRPD,Lb_Set_Priorities_Dm, Lb_Set_Priorities_Audsley_OPA, Lb_Set_Priorities_OPA_CRPD_PT, Lb_Set_Priorities_OPA_CRPD_PT_Simplified, Lb_Set_Priorities_OPA_CRPD_Tree, Lb_Set_Priorities_Rm, Lb_Set_Priorities, Lb_Unit_Of_Times, Lb_Draw_From, Lb_Draw_To, Lb_Schedule_To, Lb_Schedule_Time_Line_Too_Large, Lb_Draw_Time_Line_Too_Large, Lb_Periodic_Situation, Lb_Scheduling, Lb_Free_Unit_Time, Lb_Utilization_With_Period, Lb_Utilization_With_Deadline, Lb_Utilization_Bound1, Lb_Utilization_Bound11, Lb_Sched_Explanation1, Lb_Sched_Explanation12, Lb_Sched_Explanation2, Lb_Sched_Explanation22, Lb_Sched_Explanation3, Lb_Sched_Explanation5, Lb_Sched_Explanation52, Lb_Sched_Explanation6, Lb_Sched_Explanation62, Lb_Sched_Explanation7, Lb_Sched_Explanation8, Lb_Sched_Explanation81, Lb_Sched_Explanation82, Lb_No_Deadline_Missed_In_The_Computed_Scheduling, Lb_Cannot_Say_If_Deadline_will_be_Missed_In_The_Computed_Scheduling, Lb_No_Deadline_Will_Be_Missed_Task_Are_Schedulable, Lb_Deadline_Will_Be_Missed_Task_Are_Not_Schedulable, Lb_Worst_Case_Task_Response_Time, Lb_Task_Response_Time, Lb_Task_Response_Time_From_Simulation, Lb_Scheduling_Period, Lb_Number_Of_Preemption, Lb_Number_Of_Context_Switch, Lb_Priorities, Lb_Partition_Best_Fit, Lb_Partition_Next_Fit, Lb_Partition_First_Fit, Lb_Partition_Small_Task, Lb_Partition_General_Task, Lb_Partition, Lb_Partitioning_Result, Lb_Partition_Error1, Lb_Partition_Error2, Lb_Partition_Error3, Lb_Compute_Scheduling_Error_1, Lb_Partition_Error4, Lb_Compute_Scheduling_Error_2, Lb_Compute_Scheduling_Error_3, Lb_Compute_Scheduling_Error_4, Lb_Compute_Scheduling_Error_5, Lb_Compute_Scheduling_Error_6, Lb_Compute_Scheduling_Error_7, Lb_Compute_Scheduling_Error_8, Lb_Compute_Scheduling_Error_9, Lb_Compute_Scheduling_Error_10, Lb_Compute_Scheduling_Error_11, Lb_Compute_Scheduling_Error_12, Lb_Compute_Scheduling_Error_13, Lb_Compute_Scheduling_Error_14, Lb_Compute_Scheduling_Error_15, Lb_Compute_Scheduling_Error_18, Lb_Compute_Scheduling_Error_19, Lb_Compute_Scheduling_Error_21, Lb_Compute_Scheduling_Error_22, Lb_Compute_Scheduling_Error_23, Lb_Compute_Scheduling_Error_24, Lb_Compute_Scheduling_Error_25, Lb_Compute_Scheduling_Error_26, Lb_Compute_Scheduling_Error_27, Lb_Check_Deadline, Lb_Check_absolute_Deadline, Lb_Periodic, Lb_Frame, Lb_Aperiodic, Lb_Poisson_Process_Task, Lb_Sporadic_Task, Lb_Parametric_Task, Lb_Completion_Time, lb_computation_time_exceeded, Lb_task_is_not_over_response_time_is_not_computed, Lb_Processor_has_number_of_cores : Labels; -- -- Buffer logic -- Lb_Harmonic, Lb_Compute_Buffer_Error_1, Lb_Compute_Buffer_Error_2, Lb_Schedule_Before, Lb_Buffer_Utilization, Lb_Compute_Buffer_Error_3, Lb_Compute_Buffer_Error_4, Lb_Maximum_Buffer_Size, Lb_Average_Buffer_Size, Lb_Maximum_Waiting_Time, Lb_Average_Waiting_Time : Labels; -- -- Dependencies logic -- Lb_Chetto, Lb_Jitter_From_Response_Time_All_Steps, Lb_Deadlines_Are_Updated, Lb_Priorities_Are_Updated, Lb_Jitters_Are_Updated, Lb_Chetto_Error1, Lb_Chetto_Error2, Lb_Chetto_Error3, lb_chetto_error4, Lb_Chetto_Deadline, Lb_Chetto_Priority, Lb_Jitter_From_Response_Time_One_Step, Lb_Jitter_From_Response_Time, Lb_Precedencies_Period_Error, Lb_holistique_Error1, Lb_holistique_Error2, lb_dependencies : Labels; -- -- Random tools -- Lb_Random, Lb_Compute_Response_Time_Density, Lb_Response_Time_Density, Lb_Response_Time : Labels; -- -- Feasibility Tests Selection Tool -- Lb_Select_Simple, Lb_Select_Compositional : Labels; -- -- CFG -- Lb_CFG_Id, Lb_CFG, Lb_CFG_Name, Lb_Can_Not_Define_More_CFG : Labels; -- -- CFG_Node,Basic Block -- Lb_CFG_Node_Id, Lb_CFG_Node, Lb_CFG_Node_Name, Lb_Previous_Nodes, Lb_Next_Nodes, Lb_Instruction_Offset, Lb_Instruction_Capacity, Lb_Data_Offset, Lb_Data_Capacity, Lb_CFG_Node_Type, Lb_Can_Not_Define_More_CFG_Node: Labels; -- -- CFG Edge -- Lb_CFG_Edge_Id, Lb_CFG_Edge, Lb_CFG_Edge_Name, Lb_Can_Not_Define_More_CFG_Edge: Labels; -- -- Optimizations -- Lb_Partitioning_Algorithm_Name, Lb_Partitioning_Algorithm, Lb_Can_Not_Define_More_Partitioning_Algorithm, Lb_Partitioning_Algorithm_id : Labels; -- -- OPA, OPA_CRPD Requirement -- Lb_Offset_Must_Be_Defined_For_OPA, Lb_Cache_Access_Profile_Must_Be_Defined_For_OPA: Labels; -- -- WCRT+CRPD -- Lb_WCRT_CRPD_Preemptive_Only : Labels; -- -- Network logic -- Lb_Spacewire_analysis, Lb_noc_analysis : Labels; -- -- MILS -- Lb_mils_analysis : Labels; end Translate;