Commit 121766ca authored by yoogx's avatar yoogx
Browse files

* Update reference output

parent 7cf19e3a
......@@ -409,7 +409,6 @@ virtual processor)
end POK;
package Base_Types
public
with data_model;
......@@ -521,425 +520,6 @@ public
end Base_Types;
property set Taste is
Interface_Coordinates : aadlstring
applies to (subprogram access, bus access);
Coordinates : aadlstring
applies to (system, package, device, memory, processor, process, access, subprogram access, connection, bus, virtual bus, feature group);
Fill_Color : aadlstring
applies to (system, device, processor, process, bus);
HWLibraries : list of aadlstring
applies to (package);
Data_Transport : enumeration (legacy, asn1)
applies to (device, abstract);
Importance : enumeration (low, medium, high)
applies to (system, subprogram access, access);
APLC_Binding : list of reference (
process)
applies to (process, device, system);
APLC_Properties : record (APLC : aadlstring; Coordinates : aadlstring; Source_Language : Supported_Source_Language;)
applies to (process);
ASN1_types : type enumeration (asequenceof, asequence, aenumerated, aset, asetof, ainteger, aboolean, areal, achoice, aoctetstring, astring);
ASN1_Basic_Type : Taste::ASN1_types
applies to (data);
FS_Default_Value : aadlstring
applies to (data);
Deadline : inherit Time => Period
applies to (thread, thread group, process, system, device, subprogram access);
Max_Priority_Value : constant aadlinteger => 28;
Min_Interrupt_Priority_Value : constant aadlinteger => 29;
Max_Interrupt_Priority_Value : constant aadlinteger => 31;
Criticality_Level_Type : type enumeration (A, B, C, D, E);
Transmission_Type : type enumeration (simplex, half_duplex, full_duplex);
Frequency : type aadlinteger 0 Hz .. Max_Aadlinteger units (
Hz,
KHz => Hz * 1000,
MHz => KHz * 1000,
GHz => MHz * 1000);
Criticality : Taste::Criticality_Level_Type
applies to (process, system);
Local_Scheduling_Policy : Supported_Scheduling_Protocols
applies to (process, system);
Time_Budget : aadlinteger
applies to (process, system);
Budget_Replenishment_Period : Time
applies to (process, system);
Storage_Budget : Size
applies to (process, system);
Longest_Critical_Section : Time
applies to (processor);
Periodic_Clock_Interrupt_Period : Time
applies to (processor);
Periodic_Clock_Handler : Time
applies to (processor);
Demanded_Clock_Handler : Time
applies to (processor);
Interrupt_Handler : Time
applies to (processor);
External_Interrupt : Time
applies to (processor);
Wakeup_Jitter : Time
applies to (processor);
Ready : Time
applies to (processor);
Select : Time
applies to (processor);
Context_Switch : Time
applies to (processor);
Signal : Time
applies to (processor);
Suspension_Call : Time
applies to (processor);
Wait_Call : Time
applies to (processor);
Priority_Raising : Time
applies to (processor);
Priority_Lowering : Time
applies to (processor);
Barrier_Evaluation : Time
applies to (processor);
Budget_Replenishment_Overhead : Time
applies to (processor);
Budget_Exhausted_Recovery_Call : Time
applies to (processor);
Processor_Speed : Taste::Frequency
applies to (processor);
Interconnection_Speed_Factor : aadlreal
applies to (bus);
Transmission_Kind : Taste::Transmission_Type
applies to (bus);
Bandwidth : Data_Volume
applies to (bus);
Memory_Size : Size
applies to (memory);
Access_Time : Time
applies to (memory);
Access_Bandwidth : Data_Volume
applies to (bus);
RCMoperation : classifier (
subprogram)
applies to (event port, event data port);
RCMoperationKind_list : type enumeration (cyclic, sporadic, variator, protected, transaction, barrier, unprotected, deferred, immediate, any);
RCMoperationKind : Taste::RCMoperationKind_list
applies to (event port, event data port, access, subprogram access);
RCMceiling : aadlinteger
applies to (event port, event data port);
RCMperiod : Time
applies to (event port, event data port, access, subprogram access);
RCMpartition : reference (
system)
applies to (system);
dataview : list of aadlstring
applies to (package);
dataviewpath : list of aadlstring
applies to (package);
Encoding_type : type enumeration (native, uper, acn);
Encoding : Taste::Encoding_type
applies to (parameter);
Ada_Package_Name : aadlstring
applies to (data);
Forbid_In_PI : aadlboolean
applies to (data);
interfaceView : aadlstring
applies to (package);
WCET : Time
applies to (subprogram access);
Instance_Name : aadlstring
applies to (system);
Associated_Queue_Size : aadlinteger
applies to (subprogram);
EncodingDefinitionFile : classifier (
data)
applies to (data);
labelInheritance : aadlstring
applies to (subprogram access);
version : aadlstring
applies to (package);
InterfaceName : aadlstring
applies to (subprogram access, feature group);
FunctionName : aadlstring
applies to (system);
Active_Interfaces : enumeration (Enabled, Disabled, Any) => Enabled
applies to (system);
end Taste;
property set ARINC653 is
Module_Major_Frame : Time
applies to (processor, virtual processor);
Sampling_Refresh_Period : Time
applies to (data port);
Supported_Error_Code : type enumeration (Module_Config, Module_Init, Module_Scheduling, Partition_Scheduling, Partition_Config, Partition_Handler, Partition_Init, Deadline_Miss, Application_Error, Numeric_Error, Illegal_Request, Stack_Overflow, Memory_Violation, Hardware_Fault, Power_Fail);
Supported_Memory_Type : type enumeration (Data_Memory, Code_Memory, IO_Memory);
Memory_Type : list of ARINC653::Supported_Memory_Type
applies to (memory);
Timeout : Time
applies to (port, access connections);
Supported_DAL_Type : type enumeration (LEVEL_A, LEVEL_B, LEVEL_C, LEVEL_D, LEVEL_E);
DAL : ARINC653::Supported_DAL_Type
applies to (virtual processor, system, abstract);
Module_Version : aadlstring
applies to (processor);
Module_Identifier : aadlstring
applies to (processor);
Partition_Identifier : aadlinteger
applies to (virtual processor);
Partition_Name : aadlstring
applies to (virtual processor);
System_Partition : aadlboolean
applies to (virtual processor);
Error_Handling : reference (
thread)
applies to (virtual processor);
Error_Level_Type : type enumeration (Module_Level, Partition_Level, Process_Level);
HM_Error_ID_Level_Type : type record (ErrorIdentifier : aadlinteger; Description : aadlstring; ErrorLevel : ARINC653::Error_Level_Type; ErrorCode : ARINC653::Supported_Error_Code;);
HM_Error_ID_Levels : list of ARINC653::HM_Error_ID_Level_Type
applies to (processor);
HM_Error_ID_Action_Type : type record (ErrorIdentifier : aadlinteger; Description : aadlstring; Action : aadlstring;);
HM_Error_ID_Actions : list of ARINC653::HM_Error_ID_Action_Type
applies to (processor, virtual processor, thread);
State_Information_Type : type record (Identifier : aadlinteger; Description : aadlstring;);
State_Information : ARINC653::State_Information_Type
applies to (mode);
Queueing_Discipline_Type : type enumeration (Fifo, By_Priority);
Queueing_Discipline : ARINC653::Queueing_Discipline_Type
applies to (port, data access);
Schedule_Window : type record (Partition : reference (
virtual processor, processor); Duration : time; Periodic_Processing_Start : aadlboolean;);
Module_Schedule : list of ARINC653::Schedule_Window
applies to (processor, virtual processor);
Time_Capacity : Time
applies to (thread);
Deadline_Type : enumeration (soft, hard)
applies to (thread);
end ARINC653;
property set ASSERT_Properties is
APLC_Binding : list of aadlstring
applies to (process);
ASN1_types : type enumeration (asequenceof, asequence, aenumerated, aset, asetof, ainteger, aboolean, areal, achoice, aoctetstring);
ASN1_Basic_Type : ASSERT_Properties::ASN1_types
applies to (data);
Max_Priority_Value : constant aadlinteger => 28;
Min_Interrupt_Priority_Value : constant aadlinteger => 29;
Max_Interrupt_Priority_Value : constant aadlinteger => 31;
Criticality_Level_Type : type enumeration (A, B, C, D, E);
Transmission_Type : type enumeration (simplex, half_duplex, full_duplex);
Frequency : type aadlinteger 0 Hz .. Max_Aadlinteger units (
Hz,
KHz => Hz * 1000,
MHz => KHz * 1000,
GHz => MHz * 1000);
Criticality : ASSERT_Properties::Criticality_Level_Type
applies to (process, system);
Local_Scheduling_Policy : Supported_Scheduling_Protocols
applies to (process, system);
Time_Budget : aadlinteger
applies to (process, system);
Budget_Replenishment_Period : Time
applies to (process, system);
Storage_Budget : Size
applies to (process, system);
Longest_Critical_Section : Time
applies to (processor);
Periodic_Clock_Interrupt_Period : Time
applies to (processor);
Periodic_Clock_Handler : Time
applies to (processor);
Demanded_Clock_Handler : Time
applies to (processor);
Interrupt_Handler : Time
applies to (processor);
External_Interrupt : Time
applies to (processor);
Wakeup_Jitter : Time
applies to (processor);
Ready : Time
applies to (processor);
Select : Time
applies to (processor);
Context_Switch : Time
applies to (processor);
Signal : Time
applies to (processor);
Suspension_Call : Time
applies to (processor);
Wait_Call : Time
applies to (processor);
Priority_Raising : Time
applies to (processor);
Priority_Lowering : Time
applies to (processor);
Barrier_Evaluation : Time
applies to (processor);
Budget_Replenishment_Overhead : Time
applies to (processor);
Budget_Exhausted_Recovery_Call : Time
applies to (processor);
Processor_Speed : ASSERT_Properties::Frequency
applies to (processor);
Interconnection_Speed_Factor : aadlreal
applies to (bus);
Transmission_Kind : ASSERT_Properties::Transmission_Type
applies to (bus);
Bandwidth : Data_Volume
applies to (bus);
Memory_Size : Size
applies to (memory);
Access_Time : Time
applies to (memory);
Access_Bandwidth : Data_Volume
applies to (bus);
RCMoperation : classifier (
subprogram)
applies to (event port, event data port);
RCMoperationKind_list : type enumeration (cyclic, sporadic, variator, protected, transaction, barrier, unprotected, deferred, immediate, any);
RCMoperationKind : ASSERT_Properties::RCMoperationKind_list
applies to (event port, event data port);
RCMceiling : aadlinteger
applies to (event port, event data port);
RCMperiod : Time
applies to (event port, event data port);
RCMpartition : reference (
system)
applies to (system);
end ASSERT_Properties;
property set Replication_Properties is
Description : aadlstring
applies to (system, process, thread, processor, device);
......@@ -978,7 +558,6 @@ property set props is
end props;
package TestCase_ParseSubcomponentsArraysWithAADLXMLBackend
public
with props;
......
......@@ -409,7 +409,6 @@ virtual processor)
end POK;
package Base_Types
public
with data_model;
......@@ -521,425 +520,6 @@ public
end Base_Types;
property set Taste is
Interface_Coordinates : aadlstring
applies to (subprogram access, bus access);
Coordinates : aadlstring
applies to (system, package, device, memory, processor, process, access, subprogram access, connection, bus, virtual bus, feature group);
Fill_Color : aadlstring
applies to (system, device, processor, process, bus);
HWLibraries : list of aadlstring
applies to (package);
Data_Transport : enumeration (legacy, asn1)
applies to (device, abstract);
Importance : enumeration (low, medium, high)
applies to (system, subprogram access, access);
APLC_Binding : list of reference (
process)
applies to (process, device, system);
APLC_Properties : record (APLC : aadlstring; Coordinates : aadlstring; Source_Language : Supported_Source_Language;)
applies to (process);
ASN1_types : type enumeration (asequenceof, asequence, aenumerated, aset, asetof, ainteger, aboolean, areal, achoice, aoctetstring, astring);
ASN1_Basic_Type : Taste::ASN1_types
applies to (data);
FS_Default_Value : aadlstring
applies to (data);
Deadline : inherit Time => Period
applies to (thread, thread group, process, system, device, subprogram access);
Max_Priority_Value : constant aadlinteger => 28;
Min_Interrupt_Priority_Value : constant aadlinteger => 29;
Max_Interrupt_Priority_Value : constant aadlinteger => 31;
Criticality_Level_Type : type enumeration (A, B, C, D, E);
Transmission_Type : type enumeration (simplex, half_duplex, full_duplex);
Frequency : type aadlinteger 0 Hz .. Max_Aadlinteger units (
Hz,
KHz => Hz * 1000,
MHz => KHz * 1000,
GHz => MHz * 1000);
Criticality : Taste::Criticality_Level_Type
applies to (process, system);
Local_Scheduling_Policy : Supported_Scheduling_Protocols
applies to (process, system);
Time_Budget : aadlinteger
applies to (process, system);
Budget_Replenishment_Period : Time
applies to (process, system);
Storage_Budget : Size
applies to (process, system);
Longest_Critical_Section : Time
applies to (processor);
Periodic_Clock_Interrupt_Period : Time
applies to (processor);
Periodic_Clock_Handler : Time
applies to (processor);
Demanded_Clock_Handler : Time
applies to (processor);
Interrupt_Handler : Time
applies to (processor);
External_Interrupt : Time
applies to (processor);
Wakeup_Jitter : Time
applies to (processor);
Ready : Time
applies to (processor);
Select : Time
applies to (processor);
Context_Switch : Time
applies to (processor);
Signal : Time
applies to (processor);
Suspension_Call : Time
applies to (processor);
Wait_Call : Time
applies to (processor);
Priority_Raising : Time
applies to (processor);
Priority_Lowering : Time
applies to (processor);
Barrier_Evaluation : Time
applies to (processor);
Budget_Replenishment_Overhead : Time
applies to (processor);
Budget_Exhausted_Recovery_Call : Time
applies to (processor);
Processor_Speed : Taste::Frequency
applies to (processor);
Interconnection_Speed_Factor : aadlreal
applies to (bus);
Transmission_Kind : Taste::Transmission_Type
applies to (bus);
Bandwidth : Data_Volume
applies to (bus);
Memory_Size : Size
applies to (memory);
Access_Time : Time
applies to (memory);
Access_Bandwidth : Data_Volume
applies to (bus);
RCMoperation : classifier (
subprogram)
applies to (event port, event data port);
RCMoperationKind_list : type enumeration (cyclic, sporadic, variator, protected, transaction, barrier, unprotected, deferred, immediate, any);
RCMoperationKind : Taste::RCMoperationKind_list
applies to (event port, event data port, access, subprogram access);
RCMceiling : aadlinteger
applies to (event port, event data port);
RCMperiod : Time
applies to (event port, event data port, access, subprogram access);
RCMpartition : reference (
system)
applies to (system);