Anais La M et Bruno La M
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

mission4.ali 8.4KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
  1. V "GNAT Lib v9"
  2. M P W=b
  3. P SS ZX
  4. RN
  5. RV NO_DIRECT_BOOLEAN_OPERATORS
  6. RV NO_FLOATING_POINT
  7. RV NO_SECONDARY_STACK
  8. RV NO_STANDARD_STORAGE_POOLS
  9. RV NO_DYNAMIC_SIZED_OBJECTS
  10. RV SPARK_05
  11. U mission4%b mission4.adb 0f252a84 NE OO SU
  12. W assert%s assert.adb assert.ali
  13. W avion_sol%s avion_sol.adb avion_sol.ali
  14. W carburant%s carburant.adb carburant.ali
  15. W cartographie%s cartographie.adb cartographie.ali
  16. W gada%s gada.ads gada.ali
  17. W gada.integer_text_io%s gada-integer_text_io.adb gada-integer_text_io.ali
  18. W gada.text_io%s gada-text_io.adb gada-text_io.ali
  19. W insa_air%s insa_air.adb insa_air.ali
  20. W pilote_automatique%s pilote_automatique.adb pilote_automatique.ali
  21. Z system.concat_2%s s-conca2.adb s-conca2.ali
  22. Z system.concat_3%s s-conca3.adb s-conca3.ali
  23. Z system.concat_6%s s-conca6.adb s-conca6.ali
  24. Z system.img_bool%s s-imgboo.adb s-imgboo.ali
  25. Z system.img_int%s s-imgint.adb s-imgint.ali
  26. Z system.img_real%s s-imgrea.adb s-imgrea.ali
  27. Z system.secondary_stack%s s-secsta.adb s-secsta.ali
  28. W tour%s tour.adb tour.ali
  29. W train%s train.adb train.ali
  30. D assert.ads 20171011075454 7e627795 assert%s
  31. D avion_sol.ads 20171011075454 45c7a2a5 avion_sol%s
  32. D carburant.ads 20220829092117 e5bbfbdc carburant%s
  33. D cartographie.ads 20171011075454 703ea294 cartographie%s
  34. D gada.ads 20171011075454 65bf3563 gada%s
  35. D gada-integer_text_io.ads 20171011075454 b857ae47 gada.integer_text_io%s
  36. D gada-text_io.ads 20171011075454 f74da4f3 gada.text_io%s
  37. D insa_air.ads 20171011075454 dbdc639f insa_air%s
  38. D mission4.adb 20221024134224 b2c0dd8b mission4%b
  39. D pilote_automatique.ads 20171011075454 f2bc4282 pilote_automatique%s
  40. D system.ads 20210601075304 4635ec04 system%s
  41. D s-conca2.ads 20210601075304 02a0d7d0 system.concat_2%s
  42. D s-conca3.ads 20210601075304 0b705ca5 system.concat_3%s
  43. D s-conca6.ads 20210601075304 d2c72db2 system.concat_6%s
  44. D s-imgboo.ads 20210601075304 f5d971eb system.img_bool%s
  45. D s-imgint.ads 20210601075304 02dbe0c2 system.img_int%s
  46. D s-imgrea.ads 20210601075304 c7a851e2 system.img_real%s
  47. D s-parame.ads 20210601075304 48ec542b system.parameters%s
  48. D s-secsta.ads 20210601075304 20bbe636 system.secondary_stack%s
  49. D s-stoele.ads 20210601075304 2dc34a04 system.storage_elements%s
  50. D tour.ads 20171011075454 65261ee1 tour%s
  51. D train.ads 20171011075454 10994e3f train%s
  52. X 1 assert.ads
  53. 1K9*Assert 11e11 9|5w6 96r7 145r7
  54. 9U14*Failif 9|96s14 145s14
  55. X 2 avion_sol.ads
  56. 5K9*Avion_Sol 26e14 9|4w6 109r7 121r7 122r7 123r7 124r7 126r7 128r7 130r7
  57. . 132r7 133r7 134r7 167r7 168r7 169r7 170r7 184r7 185r7 186r7 187r7 304r4
  58. . 305r4 306r4 307r4 319r4 320r4 321r4 322r4
  59. 9U14*Rouler_Vers 9|121s17 122s17 133s17 134s17 167s17 168s17 169s17 170s17
  60. . 184s17 185s17 186s17 187s17 304s14 305s14 306s14 307s14 319s14 320s14 321s14
  61. . 322s14
  62. 19U14*Freiner 9|109s17 123s17
  63. 23U14*Attendre_Entree 9|124s17 126s17 128s17 130s17 132s17
  64. X 3 carburant.ads
  65. 5K9*Carburant 37e14 9|6w6 165r7 302r4
  66. 10U14*Faire_Le_Plein 9|165s17 302s14
  67. X 4 cartographie.ads
  68. 6K9*Cartographie 56e17 9|9w6 192r36 193r41 193r105 198r36 199r41 199r106
  69. . 200r36 201r41 201r106 202r36 203r41 203r106 206r26 206r53 209r15 217r20
  70. . 217r62 218r20 218r61 219r14 227r22 231r23 231r50 231r79 231r134 231r161
  71. . 231r190 243r22 243r49 245r10 245r37 245r66 246r22 246r49 246r78 247r34
  72. . 247r61 247r90 259r13 261r32 261r58 273r28 274r37 300r54 300r98
  73. 14R9*T_Coords 17e15 9|206r39 206r66
  74. 15f7*Long{float} 9|193r85 199r86 201r86 203r86 209r37 209r47 217r55 217r88
  75. 16f7*Lat{float} 9|193r149 199r151 201r151 203r151 209r62 209r71 218r55 218r87
  76. 20V13*Coords_Avion{14R9} 9|217s75 218s74 231s36 231s147 243s35 246s35 247s47
  77. 27V13*Nom_Aeroport{string} 9|192s49 198s49 200s49 202s49 261s45
  78. 27a27 Code{string} 9|192r62 198r62 200r62 202r62
  79. 34V13*Coords_Aeroport{14R9} 9|193s54 193s118 199s54 199s119 201s54 201s119
  80. . 203s54 203s119 217s33 218s33 231s63 231s174 243s62 245s50 246s62 247s74
  81. . 300s67 300s111
  82. 34a30 Code{string} 9|193r70 193r134 199r70 199r135 201r70 201r135 203r70
  83. . 203r135
  84. 38V13*Nb_Aeroports{integer} 9|227s35 259s26 273s41
  85. 41V13*Code_Aeroport{string} 9|231s92 231s203 245s79 246s91 247s103 261s71
  86. . 274s50
  87. 44U14*Placer_Marque 9|245s23
  88. 50V13*Cap_Vecteur{float} 9|219s27
  89. 54V13*SQRT{float} 9|209s28
  90. X 5 gada.ads
  91. 1K9*GAda 3e9 9|1r6 10r6 13r24 46r7 65r7 192r7 193r7 198r7 199r7 200r7 201r7
  92. . 202r7 203r7 261r10 279r13 287r7 300r4 301r4
  93. X 6 gada-integer_text_io.ads
  94. 1K14*Integer_Text_IO 12e25 9|10w11 13r29
  95. 4V13*FGet{integer} 9|271s26 281s29
  96. X 7 gada-text_io.ads
  97. 1K14*Text_IO 32e17 9|1w11 46r12 65r12 192r12 193r12 198r12 199r12 200r12
  98. . 201r12 202r12 203r12 261r15 279r18 287r12 300r9 301r9
  99. 7U14*Put_Line 9|46s20 65s20 192s20 193s20 198s20 199s20 200s20 201s20 202s20
  100. . 203s20 261s23 279s26 287s20 300s17 301s17
  101. 7a24 Aff{string} 9|46r30 65r29 192r30 198r30 200r30 202r30
  102. X 8 insa_air.ads
  103. 1K9*INSA_Air 49e13 9|2w6 97r7 98r34 99r31 107r10 146r34 147r31 149r13 151r13
  104. . 153r13 157r7 172r7 174r7 177r7 179r7 180r7 309r4 311r4 315r4
  105. 9V13*Cap_Courant{float} 9|98s43 99s40 146s43 147s40
  106. 15U14*Regler_Reacteur 9|97s16 172s16 174s16 180s16 309s13 311s13 315s13
  107. 25U14*Positionner_Gouverne_A_Droite 9|153s22
  108. 26U14*Positionner_Gouverne_A_Gauche 9|149s22
  109. 27U14*Positionner_Gouverne_A_Zero 9|151s22 157s16
  110. 46U14*Attendre 9|107s19 177s16 179s16
  111. X 9 mission4.adb
  112. 11U11*Mission4 11b11 125r7 127r7 129r7 131r7 176r7 178r7 324l5 324t13
  113. 13K12 Int=13:29 271r22 281r25
  114. 20V13 Delta_Cap{float} 20b13 20>23 20>44 34l8 34t17 45s22 54s22 99s21 147s21
  115. 20f23 Cap_Actuel{float} 24r34 45r32
  116. 20f44 Cap_Voulu{float} 24r22 45r52
  117. 21f7 Ecart_Angle{float} 24m7 26r10 27m10 27r25 29r10 30m10 30r25 33r14
  118. 42U14 Tester_Delta_Cap 42b14 42>31 42>46 47l8 47t24 73s7 74s7 75s7 76s7 77s7
  119. . 78s7
  120. 42f31 CapA{float} 45r46 46r72 73r25 74r25 75r25 76r25 77r25 78r25
  121. 42f46 CapV{float} 45r65 46r117 73r40 74r40 75r40 76r40 77r40 78r41
  122. 43f7 Ecart_Angle{float} 45m7 46r158
  123. 51V13 Caps_Egaux{boolean} 51b13 51>24 51>36 56l8 56t18 64s14 98s17 146s17
  124. 51f24 Cap1{float} 54r32
  125. 51f36 Cap2{float} 54r39
  126. 52f7 Dif_Cap{float} 54m7 55r14
  127. 61U14 Tester_Caps_Egaux 61b14 61>32 61>45 66l8 66t25 79s7 80s7 81s7 82s7
  128. . 83s7
  129. 61f32 Cap1{float} 64r25 79r25 80r25 81r25 82r25 83r25
  130. 61f45 Cap2{float} 64r32 79r40 80r39 81r40 82r40 83r41
  131. 62b7 Rep{boolean} 64m7 65r61
  132. 71U14 Tests_Unitaires 71b14 86l8 86t23
  133. 91U14 Orienter_Au_Sol 91b14 91>30 110l8 110t23 125s16 127s16 129s16 131s16
  134. 91f30 Cap{float} 95r18 95r33 98r28 99r54
  135. 92b7 Cap_Bon{boolean} 95m7 96r21
  136. 93f7 Delt_Cap{float} 99m10 100r13 102r16
  137. 119U14 Tester_Cap 119b14 136l8 136t18
  138. 140U14 Orienter_En_Vol 140b14 140>30 158l8 158t23 176s16 178s16 244s10
  139. 140f30 Cap{float} 144r18 144r33 146r28 147r54
  140. 141b7 Cap_Bon{boolean} 144m7 145r21
  141. 142f7 Delt_Cap{float} 147m10 148r13 150r16
  142. 163U14 Realiser_Vol_Demo 163b14 188l8 188t25
  143. 190U14 Info_Aeroport 190b14 190>28 194l8 194t21 298s4
  144. 190a28 CodeA{string} 192r70 193r78 193r142
  145. 196U14 Tester_Carto 196b14 204l8 204t20 299s4
  146. 206V13 Distance{float} 206b13 206>22 206>49 211l8 211t16 231s14 231s125 243s13
  147. . 246s13 247s25 300s38
  148. 206r22 P1{4|14R9} 209r44 209r68 300r48
  149. 206r49 P2{4|14R9} 209r34 209r59 300r92
  150. 207f7 Dist{float} 209m7 210r14
  151. 213V13 Cap_Cible{float} 213b13 213>23 220l8 220t17 244s26 301s38
  152. 213a23 Code{string} 217r49 218r49
  153. 214f7 Vecteur_X{float} 217m7 219r39
  154. 215f7 Vecteur_Y{float} 218m7 219r51
  155. 222V13 Aeroport_Proche{integer} 222b13 237l8 237t23 245s93 246s105 247s117
  156. . 248s29
  157. 223i7 Aeroport_Max{integer} 227m7 230r30
  158. 224i7 Aeroport_Test{integer} 228m7 230r13 231r106 232r32 234m10 234r26
  159. 225i7 Aeroport_Proche{integer} 229m7 231r217 232m13 236r14
  160. 239V13 Naviguer_Vers{float} 239b13 239>27 253l8 253t21 274s23 283s20
  161. 239a27 Code{string} 243r78 244r36
  162. 240f7 Dist_Max{float} 246r126 247m13 252r14
  163. 241i7 Aeroport_Max{integer} 248m13
  164. 255U14 Liste 255b14 264l8 264t13 297s4
  165. 256i7 Nb{integer} 259m7 260r13
  166. 257i7 Nb_Actuel{integer} 260r18 261r85 261r119 262m10 262r23
  167. 266U14 Voyage 266b14 288l8 288t14 313s4
  168. 267i7 Destination{integer} 271m7 272r14 272r35 273r13 274r64 281m10
  169. 268f7 Dist_Test{float} 274m10 275r14 276r33 283m7 284r10 285r29
  170. 269f7 Dist_Max_Totale{float} 275r26 276m14 284r22 285m10 287r101
  171. X 10 pilote_automatique.ads
  172. 1K9*Pilote_Automatique 9|7w6 173r7 183r7 310r4 318r4 10|21e23
  173. 9U14*Decoller 9|173s26 310s23
  174. 18U14*Atterrir 9|183s26 318s23
  175. X 21 tour.ads
  176. 4K9*Tour 9|8w6 166r7 171r7 182r7 303r4 308r4 317r4 21|22e9
  177. 9U14*Attendre_Autorisation_Roulage 9|166s12 303s9
  178. 14U14*Attendre_Autorisation_Decollage 9|171s12 308s9
  179. 19U14*Attendre_Autorisation_Atterrissage 9|182s12 317s9
  180. X 22 train.ads
  181. 1K9*Train 9|3w6 101r13 103r13 105r13 175r7 181r7 312r4 316r4 22|34e10
  182. 4U14*Positionner_A_Gauche 9|101s19
  183. 5U14*Positionner_A_Droite 9|105s19
  184. 6U14*Positionner_A_Zero 9|103s19
  185. 11U14*Deplacer_Train 9|175s13 181s13 312s10 316s10