RESSAC_Use_Case/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 8 years ago			`with Types; use Types;`

List the entities in Ada specification files 8 years ago			`package MMS.F_EL.Output is`

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

Layer2_MMS_SW_SPARK behavioural specification of F_EL 8 years ago			`function Braking_Torque return Torque_Type with Global => Output_State;`
List the entities in Ada specification files 8 years ago
			`-------------`
			`-- To F_PT --`
			`-------------`

Layer2_MMS_SW_SPARK behavioural specification of F_EL 8 years ago			`function Mission_Abort return Boolean with Global => Output_State;`
List the entities in Ada specification files 8 years ago
			`end MMS.F_EL.Output;`