-
Notifications
You must be signed in to change notification settings - Fork 0
/
puissance4.ali
129 lines (124 loc) · 5.11 KB
/
puissance4.ali
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
V "GNAT Lib v4.8"
P ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_ENUMERATION_MAPS
RV NO_IO
RV NO_RECURSION
RV SPARK
U puissance4%b puissance4.adb 65660e78 NE OO PK GE
W ada%s ada.ads ada.ali
W ada.integer_text_io%s a-inteio.ads a-inteio.ali
W ada.text_io%s a-textio.adb a-textio.ali
W participant%s participant.adb participant.ali
U puissance4%s puissance4.ads 7c345d53 BN EE NE OO PK GE
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
W participant%s participant.adb participant.ali
D ada.ads 20121213103024 3ffc8e18
D a-except.ads 20121213103024 10fcae55
D a-finali.ads 20121213103024 52ecdc1b
D a-inteio.ads 20121213103029 f64b89a4
D a-ioexce.ads 20121213103029 8b9de6cd
D a-stream.ads 20121213103024 2ca4ee37
D a-tags.ads 20121213103024 6c0509d0
D a-textio.ads 20130106093217 386df5d4
D a-tiinio.ads 20121213103024 aa04e5d6
D a-unccon.ads 20121213103024 f9eb8f06
D interfac.ads 20121213103024 129923ea
D i-cstrea.ads 20130106093208 3286f6aa
D participant.ads 20171123142350 4dfe5e91
D puissance4.ads 20171125160210 09a7f616
D puissance4.adb 20171125172259 ef19da8f
D system.ads 20121213103024 90249111
D s-crtl.ads 20130106093200 1ea48bce
D s-exctab.ads 20121213103029 66e51330
D s-ficobl.ads 20121213103029 55a71d43
D s-finmas.ads 20121213103024 b95bb341
D s-finroo.ads 20121213103024 4ff27390
D s-parame.ads 20121213103024 b6e20cc0
D s-pooglo.ads 20121213103024 542f33d0
D s-soflin.ads 20121213103024 24c8153c
D s-stache.ads 20121213103024 596fc1b4
D s-stalib.ads 20130106093355 f78bcf95
D s-stoele.ads 20121213103024 facd7d98
D s-stoele.adb 20121213103024 afc5dc80
D s-stopoo.ads 20121213103024 7b8fbeee
D s-traent.ads 20121213103024 5221ee41
D s-unstyp.ads 20121213103024 6ae15c76
D s-wchcon.ads 20121213103024 bfeb2e3d
X 1 ada.ads
16K9*Ada 19e8 14|3r6 15|3r6 3r27 4r5 4r26
X 4 a-inteio.ads
18K13*Integer_Text_IO[9|45] 15|3w10 4r9
X 8 a-textio.ads
49K13*Text_IO 471e16 14|3w10 15|3w31 4r30
166U14*New_Line 15|124s9 140s13 145s9
242U14*Put 15|120s9 122s13 126s13 128s17 131s25 133s25 136s21 139s13 143s13
. 160s9 181s9
263U14*Put_Line 15|152s9 163s13 164s13 167s13 168s13 184s13 185s13 188s13
. 189s13
X 9 a-tiinio.ads
55U14*Get 15|161s9[4|18] 182s9[4|18]
X 13 participant.ads
1K9*Participant 8e16 14|2w6 4r5 15|2w6 5r5
3E10*Joueur 3e38 14|26r40 41r12 15|53r40 152r18
3n21*Joueur1{3E10} 15|109r30 130r35 171r16
3n30*Joueur2{3E10} 15|109r61 192r16
X 14 puissance4.ads
8i5 Largeur{integer} 44r38 15|17r25 71r36 81r36 121r21 127r25 142r21 162r41
. 163r86 183r41 184r86
10i5 Hauteur{integer} 44r27 15|16r21 63r34 81r57 92r50 125r29 166r17 187r17
12i5 Nbr_Pions{integer} 15|66r41 74r41 85r41 96r41
15k9*Puissance4 8z5 10z5 12z5 46l5 46e15 15|7b14 198l5 198t15
16R10*Coup 22r41 32r35 34r44 36r44 39c10 43e16 44r50 15|26r41 150r35 157r44
. 158r9 178r44 179r9
17A10*Etat(16R10) 20r38 22r31 22r54 24r27 26r30 28r26 30r31 34r31 36r31 44c10
. 15|14r38 26r31 26r54 27r21 39r27 53r30 107r26 117r31 157r31 178r31
20U15*Initialiser 20=27 15|14b15 22l9 22t20
20a27 E{17A10} 15|14b27 18m17 19m17
22V14*Etat_Suivant{17A10} 22>27 22>37 15|26b14 35l9 35t21
22a27 E{17A10} 15|26b27 27r29
22r37 C{16R10} 15|26b37 30r31 33r25 33r39
24V14*Est_Fini{boolean} 24>23 15|39b14 49l9 49t17
24a23 E{17A10} 15|39b23 41r18 42r22 43r24
26V14*Est_Gagnant{boolean} 26>26 26>36 15|53b14 103l9 103t20 109s16 109s47
26a26 E{17A10} 15|53b26 58r18 59r22 63r53 63r84 71r55 71r88 81r76 81r113
. 92r69 92r106
26e36 J{13|3E10} 15|53b36 63r99 71r105 81r134 92r127
28V14*Est_Nul{boolean} 28>22 15|107b14 113l9 113t16
28a22 E{17A10} 15|107b22 109r28 109r59
30U15*Affiche_Jeu 30>27 15|117b15 146l9 146t20
30a27 E{17A10} 15|117b27 129r20 130r24
32U15*Affiche_Coup 32>28 15|150b15 153l9 153t21
32r28 C{16R10} 15|150b28 152r31 152r65
34V14*Coup_Joueur1{16R10} 34>27 15|157b14 165s20 169s20 174l9 174t21
34a27 E{17A10} 15|157b27 165r33 166r15 169r33
36V14*Coup_Joueur2{16R10} 36>27 15|178b14 186s20 190s20 195l9 195t21
36a27 E{17A10} 15|178b27 186r33 187r15 190r33
40i9 Colonne{integer} 15|18m24 30r33 33r27 152r67 161m15 162r14 162r31 166r27
. 182m15 183r14 183r31 187r27
41e9 J{13|3E10} 15|63r95 71r101 81r130 92r123 130r31 152r33 171m11 192m11
42b9 Est_Joue{boolean} 15|19m24 30r42 43r31 63r64 71r68 81r93 92r86 129r27
. 166r36 172m11 187r36 193m11
X 15 puissance4.adb
16i13 i{integer} 18r19 19r19
17i17 k{integer} 18r21 18r35 19r21
27a9 Etat_Suiv{14|17A10} 30r15 33m9 34r16
28i9 Ligne{integer} 30r25 31m13 31r22 33r19
41i13 i{integer} 43r26
42i17 k{integer} 43r28
54i5 Ligne{integer} 60m17 63r25 63r55 63r86 65m21 65r30 78m17 81r48 81r78
. 81r115 84m21 84r30 89m17 92r41 92r71 92r108 95m21 95r30
55i5 Colonne{integer} 61m17 71r25 71r59 71r92 73m21 73r32 79m17 81r25 81r84
. 81r121 83m21 83r32 90m17 92r25 92r77 92r114 94m21 94r32
56i5 Compteur_Pions{integer} 62m17 64m21 64r39 66r24 70m17 72m21 72r39 74r24
. 80m17 82m21 82r39 85r24 91m17 93m21 93r39 96r24
58i13 i{integer} 60r26 71r57 71r90 78r26 89r26
59i17 k{integer} 61r28 63r61 63r92 79r28 90r28
121i13 i{integer} 122r31
125i13 i{integer} 129r22 130r26
127i17 k{integer} 129r24 130r28
142i13 i{integer}
158r5 C{14|16R10} 161m13 161r13 162r12 162r29 166r25 171m9 172m9 173r16
179r5 C{14|16R10} 182m13 182r13 183r12 183r29 187r25 192m9 193m9 194r16