Tasking with Ravenscar

The Solar_System API with tasking

The purpose of this exercise is to use Ravenscar tasks instead of one sequential thread.

Expected result

Question 1

Use the code from the privacy exercise and create a protected type Body_P wrapping a record Body_T.

Question 2

Modify Bodies_Array_T to be an array of protected object of type Body_P.

Question 3

Create an array of tasks where each task is in charge of moving one object.