Identify constants used by MMS.F_PT.F_EM

8 years ago · 3b349cfd8b
1 changed files with 12 additions and 0 deletions
--- a/UseCaseDevelopment/Layer2_MMS_SW_SPARK/mms-f_pt-f_em-behavior.ads
+++ b/UseCaseDevelopment/Layer2_MMS_SW_SPARK/mms-f_pt-f_em-behavior.ads
@ -0,0 +1,12 @@
				@@ -0,0 +1,12 @@
+package MMS.F_PT.F_EM.Behavior is
+
+   ---------------
+   -- Constants --
+   ---------------
+   
+   --  From 6.8.4
+   
+   Primary_Initial_Capacity   : Energy_Level_Type;
+   Secondary_Initial_CapacitY : Energy_Level_Type;
+
+end MMS.F_PT.F_EM.Behavior;