Commit 9c9e7f1f authored by yoogx's avatar yoogx
Browse files

* Test case for openaadl/ocarina#99

parent a2252706
...@@ -26,8 +26,8 @@ end Array_Type; ...@@ -26,8 +26,8 @@ end Array_Type;
data implementation Array_Type.I data implementation Array_Type.I
properties properties
Data_Model::Data_Representation => array; Data_Model::Data_Representation => array;
Data_Model::Dimension => (4); Data_Model::Dimension => (4_000);
Data_Model::Base_Type => (classifier (Software::Integer_Type)); Data_Model::Base_Type => (classifier (Software::Integer_Type));
end Array_Type.I; end Array_Type.I;
data String_Type data String_Type
...@@ -117,7 +117,7 @@ features ...@@ -117,7 +117,7 @@ features
end Emitter_Wrapper; end Emitter_Wrapper;
subprogram implementation Emitter_Wrapper.Impl subprogram implementation Emitter_Wrapper.Impl
calls calls
Mycalls : { Mycalls : {
B_Spg : subprogram Emit_Boolean; B_Spg : subprogram Emit_Boolean;
I_Spg : subprogram Emit_Integer; I_Spg : subprogram Emit_Integer;
...@@ -144,7 +144,7 @@ features ...@@ -144,7 +144,7 @@ features
end Emitter; end Emitter;
thread implementation Emitter.Impl thread implementation Emitter.Impl
calls calls
Mycall : { Mycall : {
Emitter_Wrapper : subprogram Emitter_Wrapper.Impl; Emitter_Wrapper : subprogram Emitter_Wrapper.Impl;
}; };
...@@ -164,7 +164,7 @@ features ...@@ -164,7 +164,7 @@ features
end Boolean_Receiver; end Boolean_Receiver;
thread implementation Boolean_Receiver.Impl thread implementation Boolean_Receiver.Impl
calls calls
Mycall : { Mycall : {
B_Spg : subprogram Receive_Boolean; B_Spg : subprogram Receive_Boolean;
}; };
...@@ -181,7 +181,7 @@ features ...@@ -181,7 +181,7 @@ features
end Integer_Receiver; end Integer_Receiver;
thread implementation Integer_Receiver.Impl thread implementation Integer_Receiver.Impl
calls calls
Mycall : { Mycall : {
I_Spg : subprogram Receive_Integer; I_Spg : subprogram Receive_Integer;
}; };
...@@ -198,7 +198,7 @@ features ...@@ -198,7 +198,7 @@ features
end Array_Receiver; end Array_Receiver;
thread implementation Array_Receiver.Impl thread implementation Array_Receiver.Impl
calls calls
Mycall : { Mycall : {
I_Spg : subprogram Receive_Array; I_Spg : subprogram Receive_Array;
}; };
...@@ -215,7 +215,7 @@ features ...@@ -215,7 +215,7 @@ features
end String_Receiver; end String_Receiver;
thread implementation String_Receiver.Impl thread implementation String_Receiver.Impl
calls calls
Mycall : { Mycall : {
S_Spg : subprogram Receive_String; S_Spg : subprogram Receive_String;
}; };
......
...@@ -40,7 +40,7 @@ package body Some_Types_Pkg is ...@@ -40,7 +40,7 @@ package body Some_Types_Pkg is
Boolean_Type_Var : Boolean_Type := False; Boolean_Type_Var : Boolean_Type := False;
Integer_Type_Var : Integer_Type := 0; Integer_Type_Var : Integer_Type := 0;
Array_Type_I_Var : Array_Type_I := (1, 2, 3, 4); Array_Type_I_Var : Array_Type_I := (1, 2, 3, 4, others => 0);
String_Array : constant array (Integer range <>) of String_Type := String_Array : constant array (Integer range <>) of String_Type :=
(To_Bounded_String ("Bounded string message"), (To_Bounded_String ("Bounded string message"),
To_Bounded_String ("Longer bounded string message"), To_Bounded_String ("Longer bounded string message"),
...@@ -99,10 +99,12 @@ package body Some_Types_Pkg is ...@@ -99,10 +99,12 @@ package body Some_Types_Pkg is
procedure Emit_Array (Data_Source : out Array_Type_I) is procedure Emit_Array (Data_Source : out Array_Type_I) is
begin begin
Data_Source := Array_Type_I_Var; Data_Source := Array_Type_I_Var;
Array_Type_I_Var := (Array_Type_I_Var (2), Array_Type_I_Var (Array_Type_I_Var'First .. Array_Type_I_Var'First + 3)
Array_Type_I_Var (3), := (Array_Type_I_Var (2),
Array_Type_I_Var (4), Array_Type_I_Var (3),
Array_Type_I_Var (1)); Array_Type_I_Var (4),
Array_Type_I_Var (1));
Put_Line Put_Line
("***** Emitting Array : (" ("***** Emitting Array : ("
& Integer_Type'Image (Data_Source (1)) & Integer_Type'Image (Data_Source (1))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment