UseCaseData/Layer2_MMS_SW_SPARK/mms-f_el-output.ads

with Types; use Types;

package MMS.F_EL.Output is

   ------------
   -- To MMS --
   ------------
   
   function Braking_Torque return Torque_Type with Global => Output_State;
   
   -------------
   -- To F_PT --
   -------------
   
   function Mission_Abort return Boolean with Global => Output_State;

end MMS.F_EL.Output;
Layer2_MMS_SW_SPARK add external volatile state for captors 2017-06-26 18:01:29 +02:00			`with Types; use Types;`

List the entities in Ada specification files 2017-06-13 11:03:03 +02:00			`package MMS.F_EL.Output is`

			`------------`
			`-- To MMS --`
			`------------`

Layer2_MMS_SW_SPARK behavioural specification of F_EL 2017-06-28 14:57:09 +02:00			`function Braking_Torque return Torque_Type with Global => Output_State;`
List the entities in Ada specification files 2017-06-13 11:03:03 +02:00
			`-------------`
			`-- To F_PT --`
			`-------------`

Layer2_MMS_SW_SPARK behavioural specification of F_EL 2017-06-28 14:57:09 +02:00			`function Mission_Abort return Boolean with Global => Output_State;`
List the entities in Ada specification files 2017-06-13 11:03:03 +02:00
			`end MMS.F_EL.Output;`