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 7.4KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170
  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_DYNAMIC_SIZED_OBJECTS
  9. RV SPARK_05
  10. U mission4%b mission4 .adb 3fc5f18d NE OO SU IL
  11. W assert%s assert.adb assert.ali
  12. W avion_sol%s avion_sol.adb avion_sol.ali
  13. W carburant%s carburant.adb carburant.ali
  14. W cartographie%s cartographie.adb cartographie.ali
  15. W gada%s gada.ads gada.ali
  16. W gada.text_io%s gada-text_io.adb gada-text_io.ali
  17. W insa_air%s insa_air.adb insa_air.ali
  18. W pilote_automatique%s pilote_automatique.adb pilote_automatique.ali
  19. Z system.concat_2%s s-conca2.adb s-conca2.ali
  20. Z system.concat_6%s s-conca6.adb s-conca6.ali
  21. Z system.img_bool%s s-imgboo.adb s-imgboo.ali
  22. Z system.img_real%s s-imgrea.adb s-imgrea.ali
  23. Z system.secondary_stack%s s-secsta.adb s-secsta.ali
  24. W tour%s tour.adb tour.ali
  25. W train%s train.adb train.ali
  26. D assert.ads 20171011075454 7e627795 assert%s
  27. D avion_sol.ads 20171011075454 45c7a2a5 avion_sol%s
  28. D carburant.ads 20220829092117 e5bbfbdc carburant%s
  29. D cartographie.ads 20171011075454 703ea294 cartographie%s
  30. D gada.ads 20171011075454 65bf3563 gada%s
  31. D gada-text_io.ads 20171011075454 f74da4f3 gada.text_io%s
  32. D insa_air.ads 20171011075454 dbdc639f insa_air%s
  33. D "mission4 .adb" 20221017135735 3a77a8c5 mission4%b
  34. D pilote_automatique.ads 20171011075454 f2bc4282 pilote_automatique%s
  35. D system.ads 20210601075304 4635ec04 system%s
  36. D s-conca2.ads 20210601075304 02a0d7d0 system.concat_2%s
  37. D s-conca6.ads 20210601075304 d2c72db2 system.concat_6%s
  38. D s-imgboo.ads 20210601075304 f5d971eb system.img_bool%s
  39. D s-imgrea.ads 20210601075304 c7a851e2 system.img_real%s
  40. D s-parame.ads 20210601075304 48ec542b system.parameters%s
  41. D s-secsta.ads 20210601075304 20bbe636 system.secondary_stack%s
  42. D s-stoele.ads 20210601075304 2dc34a04 system.storage_elements%s
  43. D tour.ads 20171011075454 65261ee1 tour%s
  44. D train.ads 20171011075454 10994e3f train%s
  45. X 1 assert.ads
  46. 1K9*Assert 11e11 8|5w6 95r7 144r7
  47. 9U14*Failif 8|95s14 144s14
  48. X 2 avion_sol.ads
  49. 5K9*Avion_Sol 26e14 8|4w6 108r7 120r8 121r8 122r8 123r8 125r8 127r8 129r8
  50. . 131r8 132r8 133r8 166r8 167r8 168r8 169r8 183r8 184r8 185r8 186r8 263r8
  51. . 264r8 265r8 266r8 282r8 283r8 284r8 285r8
  52. 9U14*Rouler_Vers 8|120s18 121s18 132s18 133s18 166s18 167s18 168s18 169s18
  53. . 183s18 184s18 185s18 186s18 263s18 264s18 265s18 266s18 282s18 283s18 284s18
  54. . 285s18
  55. 19U14*Freiner 8|108s17 122s18
  56. 23U14*Attendre_Entree 8|123s18 125s18 127s18 129s18 131s18
  57. X 3 carburant.ads
  58. 5K9*Carburant 37e14 8|6w6 164r8 261r11
  59. 10U14*Faire_Le_Plein 8|164s18 261s21
  60. X 4 cartographie.ads
  61. 6K9*Cartographie 56e17 8|9w6 191r38 192r43 192r107 197r38 198r43 198r108
  62. . 199r38 200r43 200r108 201r38 202r43 202r108 205r28 205r55 208r17 216r22
  63. . 216r64 217r22 217r63 218r16 226r24 230r25 230r52 230r81 230r136 230r163
  64. . 230r192 230r247 230r274 241r23 241r50 243r11 243r38 243r67 244r27 244r54
  65. . 244r83 259r54 259r98
  66. 14R9*T_Coords 17e15 8|205r41 205r68
  67. 15f7*Long{float} 8|192r87 198r88 200r88 202r88 208r39 208r49 216r57 216r90
  68. 16f7*Lat{float} 8|192r151 198r153 200r153 202r153 208r64 208r73 217r57 217r89
  69. 20V13*Coords_Avion{14R9} 8|216s77 217s76 230s38 230s149 241s36 244s40
  70. 27V13*Nom_Aeroport{string} 8|191s51 197s51 199s51 201s51
  71. 27a27 Code{string} 8|191r64 197r64 199r64 201r64
  72. 31V13*Pays_Aeroport{string} 8|230s260
  73. 34V13*Coords_Aeroport{14R9} 8|192s56 192s120 198s56 198s121 200s56 200s121
  74. . 202s56 202s121 216s35 217s35 230s65 230s176 241s63 243s51 244s67 259s67
  75. . 259s111
  76. 34a30 Code{string} 8|192r72 192r136 198r72 198r137 200r72 200r137 202r72
  77. . 202r137
  78. 38V13*Nb_Aeroports{integer} 8|226s37
  79. 41V13*Code_Aeroport{string} 8|230s94 230s205 230s287 243s80 244s96
  80. 44U14*Placer_Marque 8|243s24
  81. 50V13*Cap_Vecteur{float} 8|218s29
  82. 54V13*SQRT{float} 8|208s30
  83. X 5 gada.ads
  84. 1K9*GAda 3e9 8|1r6 45r7 64r7 191r9 192r9 197r9 198r9 199r9 200r9 201r9 202r9
  85. . 247r8 259r4 260r4
  86. X 6 gada-text_io.ads
  87. 1K14*Text_IO 32e17 8|1w11 45r12 64r12 191r14 192r14 197r14 198r14 199r14
  88. . 200r14 201r14 202r14 247r13 259r9 260r9
  89. 7U14*Put_Line 8|45s20 64s20 191s22 192s22 197s22 198s22 199s22 200s22 201s22
  90. . 202s22 247s21 259s17 260s17
  91. 7a24 Aff{string} 8|45r30 64r29 191r32 197r32 199r32 201r32
  92. X 7 insa_air.ads
  93. 1K9*INSA_Air 49e13 8|2w6 96r7 97r34 98r31 106r10 145r34 146r31 148r13 150r13
  94. . 152r13 156r7 171r8 173r8 176r8 178r8 179r8 268r8 270r8 278r11
  95. 9V13*Cap_Courant{float} 8|97s43 98s40 145s43 146s40
  96. 15U14*Regler_Reacteur 8|96s16 171s17 173s17 179s17 268s17 270s17 278s20
  97. 25U14*Positionner_Gouverne_A_Droite 8|152s22
  98. 26U14*Positionner_Gouverne_A_Gauche 8|148s22
  99. 27U14*Positionner_Gouverne_A_Zero 8|150s22 156s16
  100. 46U14*Attendre 8|106s19 176s17 178s17
  101. X 8 mission4 .adb
  102. 10U11*mission4 10b11 124r8 126r8 128r8 130r8 175r8 177r8 287l5 287t13
  103. 19V13 Delta_Cap{float} 19b13 19>23 19>44 33l8 33t17 44s22 53s22 98s21 146s21
  104. 19f23 Cap_Actuel{float} 23r34 44r32
  105. 19f44 Cap_Voulu{float} 23r22 44r52
  106. 20f7 Ecart_Angle{float} 23m7 25r10 26m10 26r25 28r10 29m10 29r25 32r14
  107. 41U14 Tester_Delta_Cap 41b14 41>31 41>46 46l8 46t24 72s7 73s7 74s7 75s7 76s7
  108. . 77s7
  109. 41f31 CapA{float} 44r46 45r72 72r25 73r25 74r25 75r25 76r25 77r25
  110. 41f46 CapV{float} 44r65 45r117 72r40 73r40 74r40 75r40 76r40 77r41
  111. 42f7 Ecart_Angle{float} 44m7 45r158
  112. 50V13 Caps_Egaux{boolean} 50b13 50>24 50>36 55l8 55t18 63s14 97s17 145s17
  113. 50f24 Cap1{float} 53r32
  114. 50f36 Cap2{float} 53r39
  115. 51f7 Dif_Cap{float} 53m7 54r14
  116. 60U14 Tester_Caps_Egaux 60b14 60>32 60>45 65l8 65t25 78s7 79s7 80s7 81s7
  117. . 82s7
  118. 60f32 Cap1{float} 63r25 78r25 79r25 80r25 81r25 82r25
  119. 60f45 Cap2{float} 63r32 78r40 79r39 80r40 81r40 82r41
  120. 61b7 Rep{boolean} 63m7 64r61
  121. 70U14 Tests_Unitaires 70b14 85l8 85t23
  122. 90U14 Orienter_Au_Sol 90b14 90>30 109l9 109t24 124s17 126s17 128s17 130s17
  123. 90f30 Cap{float} 94r18 94r33 97r28 98r54
  124. 91b7 Cap_Bon{boolean} 94m7 95r21
  125. 92f7 Delt_Cap{float} 98m10 99r13 101r16
  126. 118U15 Tester_Cap 118b15 135l8 135t18
  127. 139U15 Orienter_En_Vol 139b15 139>31 157l9 157t24 175s17 177s17 242s11
  128. 139f31 Cap{float} 143r18 143r33 145r28 146r54
  129. 140b7 Cap_Bon{boolean} 143m7 144r21
  130. 141f7 Delt_Cap{float} 146m10 147r13 149r16
  131. 162U15 Realiser_Vol_Demo 162b15 187l10 187t27
  132. 189U16 Info_Aeroport 189b16 189>30 193l10 193t23 257s4
  133. 189a30 CodeA{string} 191r72 192r80 192r144
  134. 195U16 Tester_Carto 195b16 203l10 203t22 258s4
  135. 205V15 Distance{float} 205b15 205>24 205>51 210l10 210t18 230s16 230s127
  136. . 241s14 244s18 259s38
  137. 205r24 P1{4|14R9} 208r46 208r70 259r48
  138. 205r51 P2{4|14R9} 208r36 208r61 259r92
  139. 206f9 Dist{float} 208m9 209r16
  140. 212V15 Cap_Cible{float} 212b15 212>25 219l10 219t19 242s27 260s38
  141. 212a25 Code{string} 216r51 217r51
  142. 213f9 Vecteur_X{float} 216m9 218r41
  143. 214f9 Vecteur_Y{float} 217m9 218r53
  144. 221V20 Aeroport_Proche{integer} 221b20 236l10 236t25 243s94 244s110
  145. 222i9 Aeroport_Max{integer} 226m9 229r32
  146. 223i9 Aeroport_Test{integer} 227m9 229r15 230r108 230r301 231r34 233m12 233r28
  147. 224i9 Aeroport_Proche{integer} 228m9 230r219 231m15 235r16
  148. 238U16 Naviguer_Vers 238b16 238>30 248l10 248t23 272s4 273s4 274s4 275s4
  149. . 276s4
  150. 238a30 Code{string} 241r79 242r37
  151. 239f9 Moy{float} 244m11 244r131 247r92
  152. X 9 pilote_automatique.ads
  153. 1K9*Pilote_Automatique 8|7w6 172r8 182r8 269r8 281r8 9|21e23
  154. 9U14*Decoller 8|172s27 269s27
  155. 18U14*Atterrir 8|182s27 281s27
  156. X 18 tour.ads
  157. 4K9*Tour 8|8w6 165r8 170r8 181r8 262r8 267r8 280r8 18|22e9
  158. 9U14*Attendre_Autorisation_Roulage 8|165s13 262s13
  159. 14U14*Attendre_Autorisation_Decollage 8|170s13 267s13
  160. 19U14*Attendre_Autorisation_Atterrissage 8|181s13 280s13
  161. X 19 train.ads
  162. 1K9*Train 8|3w6 100r13 102r13 104r13 174r8 180r8 271r8 279r8 19|34e10
  163. 4U14*Positionner_A_Gauche 8|100s19
  164. 5U14*Positionner_A_Droite 8|104s19
  165. 6U14*Positionner_A_Zero 8|102s19
  166. 11U14*Deplacer_Train 8|174s14 180s14 271s14 279s14