Skip to content

GitLab

Commit 88970eed authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Add fields to parse end-to-end connections

parent 31737ae0
Hide whitespace changes
Inline Side-by-side
src/parser_utils.adb
View file @ 88970eed
......@@ -578,6 +578,7 @@ package body Parser_Utils is
Subco : Node_Id;
-- To get the provided and required interfaces
PI_Or_RI : Node_Id;
Iface : Taste_Interface;
begin
Result.Name := US (Name);
Result.Prefix := (if Prefix'Length > 0 then Just (US (Prefix))
......@@ -605,12 +606,12 @@ package body Parser_Utils is
if Present (AIN.Features (Inst)) then
PI_Or_RI := AIN.First_Node (AIN.Features (Inst));
while Present (PI_Or_RI) loop
Iface := Parse_Interface (PI_Or_RI);
Iface.Parent_Function := Result.Name;
if AIN.Is_Provided (PI_Or_RI) then
Result.Provided := Result.Provided
& Parse_Interface (PI_Or_RI);
Result.Provided := Result.Provided & Iface;
else
Result.Required := Result.Required
& Parse_Interface (PI_Or_RI);
Result.Required := Result.Required & Iface;
end if;
PI_Or_RI := AIN.Next_Node (PI_Or_RI);
end loop;
......@@ -641,7 +642,6 @@ package body Parser_Utils is
end loop;
end if;
-- Routes := Routes & Parse_System_Connections (CI);
Routes_Map.Insert (Key => Name,
New_Item => Parse_System_Connections (CI));
......@@ -682,7 +682,7 @@ package body Parser_Utils is
return IV_AST : constant Complete_Interface_View :=
(Flat_Functions => Funcs,
End_To_End_Conn => Routes,
Nested_Conn => Routes_Map);
Nested_Routes => Routes_Map);
end AADL_to_Ada_IV;
end Parser_Utils;
src/parser_utils.ads
View file @ 88970eed
......@@ -114,80 +114,95 @@ package Parser_Utils is
subtype Optional_Long_Long is Option_ULL.Option;
type ASN1_Parameter is
record
Name : Unbounded_String;
Sort : Unbounded_String;
ASN1_Module : Unbounded_String;
ASN1_Basic_Type : Supported_ASN1_Basic_Type;
ASN1_File_Name : Unbounded_String;
Encoding : Supported_ASN1_Encoding;
Direction : Parameter_Direction;
end record;
record
Name : Unbounded_String;
Sort : Unbounded_String;
ASN1_Module : Unbounded_String;
ASN1_Basic_Type : Supported_ASN1_Basic_Type;
ASN1_File_Name : Unbounded_String;
Encoding : Supported_ASN1_Encoding;
Direction : Parameter_Direction;
end record;
package Parameters is new Indefinite_Vectors (Natural, ASN1_Parameter);
-- Remote entities reference to the other ends of an interface, when it
-- is connected. There can be several, but connections are optional.
type Remote_Entity is
record
Function_Name : Unbounded_String;
Interface_Name : Unbounded_String;
end record;
package Remote_Entities is new Indefinite_Vectors (Natural, Remote_Entity);
package Option_Remote_Entities is new Option_Type (Remote_Entities.Vector);
subtype Optional_Remote_Entities is Option_Remote_Entities.Option;
use Option_Remote_Entities;
type Taste_Interface is
record
Name : Unbounded_String;
Params : Parameters.Vector;
RCM : Supported_RCM_Operation_Kind;
Period_Or_MIAT : Unsigned_Long_Long;
WCET_ms : Optional_Long_Long := Nothing;
Queue_Size : Optional_Long_Long := Nothing;
User_Properties : Property_Maps.Map;
end record;
record
Name : Unbounded_String;
Parent_Function : Unbounded_String;
Remote_Interfaces : Optional_Remote_Entities := Nothing;
Params : Parameters.Vector;
RCM : Supported_RCM_Operation_Kind;
Period_Or_MIAT : Unsigned_Long_Long;
WCET_ms : Optional_Long_Long := Nothing;
Queue_Size : Optional_Long_Long := Nothing;
User_Properties : Property_Maps.Map;
end record;
package Interfaces is new Indefinite_Vectors (Natural, Taste_Interface);
type Context_Parameter is
record
Name : Unbounded_String;
Sort : Unbounded_String;
Default_Value : Unbounded_String;
ASN1_Module : Unbounded_String;
ASN1_File_Name : Optional_Unbounded_String := Nothing;
end record;
record
Name : Unbounded_String;
Sort : Unbounded_String;
Default_Value : Unbounded_String;
ASN1_Module : Unbounded_String;
ASN1_File_Name : Optional_Unbounded_String := Nothing;
end record;
package Ctxt_Params is new Indefinite_Vectors (Natural, Context_Parameter);
type Taste_Terminal_Function is
record
Name : Unbounded_String;
Prefix : Optional_Unbounded_String := Nothing;
Language : Supported_Source_Language;
Zip_File : Optional_Unbounded_String := Nothing;
Context_Params : Ctxt_Params.Vector;
User_Properties : Property_Maps.Map;
Timers : String_Vectors.Vector;
Provided : Interfaces.Vector;
Required : Interfaces.Vector;
end record;
record
Name : Unbounded_String;
Prefix : Optional_Unbounded_String := Nothing;
Language : Supported_Source_Language;
Zip_File : Optional_Unbounded_String := Nothing;
Context_Params : Ctxt_Params.Vector;
User_Properties : Property_Maps.Map;
Timers : String_Vectors.Vector;
Provided : Interfaces.Vector;
Required : Interfaces.Vector;
end record;
package Functions is new Indefinite_Vectors (Natural,
Taste_Terminal_Function);
type Connection is
record
Caller : Unbounded_String;
Callee : Unbounded_String;
RI_Name : Unbounded_String;
PI_Name : Unbounded_String;
end record;
record
Caller : Unbounded_String;
Callee : Unbounded_String;
RI_Name : Unbounded_String;
PI_Name : Unbounded_String;
end record;
package Option_Connection is new Option_Type (Connection);
subtype Optional_Connection is Option_Connection.Option;
package Channels is new Indefinite_Vectors (Natural, Connection);
package Connection_Maps is new Indefinite_Ordered_Maps (String,
Channels.Vector,
Channels.Vector,
"=" => Channels."=");
type Complete_Interface_View is
record
Flat_Functions : Functions.Vector;
End_To_End_Conn : Channels.Vector;
Nested_Conn : Connection_Maps.Map;
end record;
record
Flat_Functions : Functions.Vector;
End_To_End_Conn : Channels.Vector;
Nested_Routes : Connection_Maps.Map;
end record;
-- Function to build up the Ada AST by transforming the one from Ocarina
function AADL_to_Ada_IV (System : Node_Id) return Complete_Interface_View;
......
Supports Markdown
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