Commit cf57792d authored by yoogx's avatar yoogx

* Add VDM as Supported_Language

        For issue #73
parent c208dc2d
...@@ -77,6 +77,7 @@ property set AADL_Project is ...@@ -77,6 +77,7 @@ property set AADL_Project is
Simulink, Simulink,
Simulink_6_5, Simulink_6_5,
System_C, System_C,
VDM,
VHDL, VHDL,
ACN, ACN,
QGenC, QGenC,
......
...@@ -276,6 +276,7 @@ package body Ocarina.Backends.Properties is ...@@ -276,6 +276,7 @@ package body Ocarina.Backends.Properties is
Language_Simulink_Name : Name_Id; Language_Simulink_Name : Name_Id;
Language_System_C_Name : Name_Id; Language_System_C_Name : Name_Id;
Language_VHDL_Name : Name_Id; Language_VHDL_Name : Name_Id;
Language_VDM_Name : Name_Id;
Language_QGenAda_Name : Name_Id; Language_QGenAda_Name : Name_Id;
Language_QGenC_Name : Name_Id; Language_QGenC_Name : Name_Id;
...@@ -1205,6 +1206,9 @@ package body Ocarina.Backends.Properties is ...@@ -1205,6 +1206,9 @@ package body Ocarina.Backends.Properties is
elsif Source_L = Language_VHDL_Name then elsif Source_L = Language_VHDL_Name then
return Language_VHDL; return Language_VHDL;
elsif Source_L = Language_VDM_Name then
return Language_VDM;
elsif Source_L = Language_GUI_Name then elsif Source_L = Language_GUI_Name then
return Language_Gui; return Language_Gui;
...@@ -1315,6 +1319,7 @@ package body Ocarina.Backends.Properties is ...@@ -1315,6 +1319,7 @@ package body Ocarina.Backends.Properties is
Language_SDL_RTDS | Language_SDL_RTDS |
Language_System_C | Language_System_C |
Language_SDL_OpenGEODE | Language_SDL_OpenGEODE |
Language_VDM |
Language_VHDL => Language_VHDL =>
-- A subprogram having this language as implementation -- A subprogram having this language as implementation
-- language is not supported. -- language is not supported.
...@@ -2918,6 +2923,7 @@ package body Ocarina.Backends.Properties is ...@@ -2918,6 +2923,7 @@ package body Ocarina.Backends.Properties is
Language_RTDS_Name := Get_String_Name ("rtds"); Language_RTDS_Name := Get_String_Name ("rtds");
Language_SDL_RTDS_Name := Get_String_Name ("sdl_rtds"); Language_SDL_RTDS_Name := Get_String_Name ("sdl_rtds");
Language_VHDL_Name := Get_String_Name ("vhdl"); Language_VHDL_Name := Get_String_Name ("vhdl");
Language_VDM_Name := Get_String_Name ("vdm");
Language_System_C_Name := Get_String_Name ("system_c"); Language_System_C_Name := Get_String_Name ("system_c");
Language_QGenAda_Name := Get_String_Name ("qgenada"); Language_QGenAda_Name := Get_String_Name ("qgenada");
Language_QGenC_Name := Get_String_Name ("qgenc"); Language_QGenC_Name := Get_String_Name ("qgenc");
......
...@@ -78,6 +78,7 @@ package Ocarina.Backends.Properties is ...@@ -78,6 +78,7 @@ package Ocarina.Backends.Properties is
Language_QGenC, Language_QGenC,
Language_QGenAda, Language_QGenAda,
Language_System_C, Language_System_C,
Language_VDM,
Language_VHDL, Language_VHDL,
Language_None); Language_None);
......
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