Commit 998b482e authored by Maxime Perrotin's avatar Maxime Perrotin

Fix buildsupport - Keep ASN.1 module name case

parent 80770559
Pipeline #1182 skipped
......@@ -589,8 +589,7 @@ procedure BuildSupport is
Get_Name_String
(Get_Type_Source_Name (Asntype)),
Len_Type,
To_Lower
(Get_Name_String (ASN1_Module)),
Get_Name_String (ASN1_Module),
Get_Name_String
(ASN1_Module)'Length,
Get_Name_String (ASN1_Filename),
......@@ -605,8 +604,7 @@ procedure BuildSupport is
Get_Name_String
(Get_Type_Source_Name (Asntype)),
Len_Type,
To_Lower
(Get_Name_String (ASN1_Module)),
Get_Name_String (ASN1_Module),
Get_Name_String
(ASN1_Module)'Length,
Get_Name_String (ASN1_Filename),
......
......@@ -49,7 +49,7 @@ void vdm_gw_preamble(FV * fv)
"class %s_Interface\n"
"operations\n"
" public Startup: () ==> ()\n"
" Startup (-) is subclass responsibility;\n\n",
" Startup () is subclass responsibility;\n\n",
fv->name);
......@@ -62,7 +62,7 @@ void vdm_gw_preamble(FV * fv)
"is subclass of %s_Interface\n"
"operations\n"
" public Startup: () ==> ()\n"
" -- user: fill your code\n\n",
" Startup () == skip; -- fill your code\n\n",
fv->name,
fv->name);
}
......@@ -176,9 +176,9 @@ void add_pi_to_vdm_gw(Interface * i)
fprintf(interface,
"\n"
" %s%s == is subclass responsibility\n\n",
" %s%s == is subclass responsibility;\n\n",
i->name,
NULL != i->in? " (-)" : "");
NULL != i->in? " (-)" : "()");
if (NULL != user_code)
......
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