Commit b4a40f02 authored by julien.delange's avatar julien.delange

write ASN1 module description correctly



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@672 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 3acc39d3
......@@ -38,6 +38,7 @@ with Ocarina.ME_AADL.AADL_Instances.Nutils;
with Ocarina.ME_AADL.AADL_Instances.Entities;
with Ocarina.Backends.ASN1_Tree.Nutils;
with Ocarina.Backends.ASN1_Tree.Nodes;
package body Ocarina.Backends.ASN1.Deployment is
......@@ -47,6 +48,7 @@ package body Ocarina.Backends.ASN1.Deployment is
use Ocarina.Backends.ASN1_Tree.Nutils;
package ASN1N renames Ocarina.Backends.ASN1_Tree.Nodes;
package AAU renames Ocarina.ME_AADL.AADL_Instances.Nutils;
procedure Visit_Architecture_Instance (E : Node_Id);
......@@ -84,6 +86,9 @@ package body Ocarina.Backends.ASN1.Deployment is
ASN1_Root := Make_ASN1_File
(Make_Defining_Identifier
(Get_String_Name ("deployment")));
ASN1N.Set_Name
(ASN1N.Module_Node (ASN1_Root),
Get_String_Name ("POHIC_DEPLOYMENT"));
Visit (Root_System (E));
end Visit_Architecture_Instance;
......
......@@ -49,6 +49,8 @@ package body Ocarina.Backends.ASN1_Tree.Generator is
procedure Write (T : Token_Type);
procedure Write_Line (T : Token_Type);
pragma Unreferenced (Write_Line);
procedure Generate_ASN1_File (N : Node_Id);
procedure Generate_Module (N : Node_Id);
......@@ -114,9 +116,12 @@ package body Ocarina.Backends.ASN1_Tree.Generator is
---------------------
procedure Generate_Module (N : Node_Id) is
pragma Unreferenced (N);
begin
Write_Line (Tok_Module);
Write_Name (Name (N));
Write_Space;
Write_Str ("DEFINITIONS AUTOMATIC TAGS ::= BEGIN");
Write_Eol;
Write_Line ("END");
end Generate_Module;
end Ocarina.Backends.ASN1_Tree.Generator;
......@@ -426,6 +426,9 @@ package body Ocarina.Backends.ASN1_Tree.Nutils is
Set_Corresponding_Node (Identifier, File);
Set_Module_Node (File, New_Node (K_ASN1_Module));
Set_Name
(Module_Node (File),
Get_String_Name ("unknownmodule"));
return File;
end Make_ASN1_File;
......
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