Compare commits
2 commits
1b316c5315
...
489c125783
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
489c125783 | ||
|
|
d6ed37ab47 |
2 changed files with 144 additions and 184 deletions
|
|
@ -1,17 +1,7 @@
|
||||||
<html class="ada2" lang="fr" id="h" xmlns="http://www.w3.org/1999/xhtml">
|
<!DOCTYPE html>
|
||||||
|
<!-- Page generated by OCaml with Ocsigen.
|
||||||
<head>
|
See http://ocsigen.org/ and http://caml.inria.fr/ for information -->
|
||||||
<title>mission1.adb</title>
|
<html class="ada2" lang="fr" id="h" xmlns="http://www.w3.org/1999/xhtml"><head><title>mission1.adb</title><meta content="text/html; charset=utf-8" http-equiv="content-type"/><link media="all" href="../../../ystyle.css" rel="stylesheet"/><script src="../../../Scripts/yfold.js"></script></head><body><div class="header" id="header"><h1 id="title">mission1.adb</h1></div><main><code class="page block"><span class="kw">with</span> <span class="ident">Gada.Text_IO</span> ;<span class="eols">
|
||||||
<meta content="text/html; charset=utf-8" http-equiv="content-type" />
|
|
||||||
<link media="all" href="../../../ystyle.css" rel="stylesheet" />
|
|
||||||
<script src="../../../Scripts/yfold.js"></script>
|
|
||||||
</head>
|
|
||||||
|
|
||||||
<body>
|
|
||||||
<div class="header" id="header">
|
|
||||||
<h1 id="title">mission1.adb</h1>
|
|
||||||
</div>
|
|
||||||
<main><code class="page block"><span class="kw">with</span> <span class="ident">Gada.Text_IO</span> ;<span class="eols">
|
|
||||||
|
|
||||||
</span><span class="kw">procedure</span> <span class="fname">Mission1</span> <span class="kw">is</span><span class="eols">
|
</span><span class="kw">procedure</span> <span class="fname">Mission1</span> <span class="kw">is</span><span class="eols">
|
||||||
|
|
||||||
|
|
@ -26,8 +16,7 @@
|
||||||
<span class="ident">Txt.New_Line</span> ;
|
<span class="ident">Txt.New_Line</span> ;
|
||||||
<span class="kw">end</span> <span class="fname">Tracer_Ligne</span> ;<span class="eols">
|
<span class="kw">end</span> <span class="fname">Tracer_Ligne</span> ;<span class="eols">
|
||||||
|
|
||||||
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Rectangle</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span
|
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Rectangle</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span class="kw">is</span>
|
||||||
class="kw">is</span>
|
|
||||||
<span class="kw">begin</span>
|
<span class="kw">begin</span>
|
||||||
<span class="comment">-- Première ligne, pleine
|
<span class="comment">-- Première ligne, pleine
|
||||||
</span> <span class="ident">Tracer_Ligne</span>(<span class="ident">Largeur</span>) ;<span class="eols">
|
</span> <span class="ident">Tracer_Ligne</span>(<span class="ident">Largeur</span>) ;<span class="eols">
|
||||||
|
|
@ -51,15 +40,13 @@
|
||||||
<span class="ident">Txt.New_Line</span> ;
|
<span class="ident">Txt.New_Line</span> ;
|
||||||
<span class="kw">end</span> <span class="fname">Tracer_Rectangle</span> ;<span class="eols">
|
<span class="kw">end</span> <span class="fname">Tracer_Rectangle</span> ;<span class="eols">
|
||||||
|
|
||||||
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Quadrillage</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span
|
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Quadrillage</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span class="kw">is</span>
|
||||||
class="kw">is</span>
|
|
||||||
<span class="kw">begin</span>
|
<span class="kw">begin</span>
|
||||||
<span class="comment">-- On dessine ligne par ligne, colonne par colonne.
|
<span class="comment">-- On dessine ligne par ligne, colonne par colonne.
|
||||||
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
||||||
<span class="kw">for</span> <span class="ident">Col</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Largeur</span> <span class="kw">loop</span>
|
<span class="kw">for</span> <span class="ident">Col</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Largeur</span> <span class="kw">loop</span>
|
||||||
<span class="comment">-- Il suffit de tracer les lignes impaires et les colonnes impaires.
|
<span class="comment">-- Il suffit de tracer les lignes impaires et les colonnes impaires.
|
||||||
</span> <span class="kw">if</span> (<span class="ident">Ligne</span> <span class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span>) <span class="kw">or</span> (<span class="ident">Col</span> <span
|
</span> <span class="kw">if</span> (<span class="ident">Ligne</span> <span class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span>) <span class="kw">or</span> (<span class="ident">Col</span> <span class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span>) <span class="kw">then</span>
|
||||||
class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span>) <span class="kw">then</span>
|
|
||||||
<span class="ident">Txt.Put</span>(<span class="string">"#"</span>) ;
|
<span class="ident">Txt.Put</span>(<span class="string">"#"</span>) ;
|
||||||
<span class="kw">else</span>
|
<span class="kw">else</span>
|
||||||
<span class="ident">Txt.Put</span>(<span class="string">" "</span>) ;
|
<span class="ident">Txt.Put</span>(<span class="string">" "</span>) ;
|
||||||
|
|
@ -70,8 +57,7 @@
|
||||||
<span class="ident">Txt.New_Line</span> ;
|
<span class="ident">Txt.New_Line</span> ;
|
||||||
<span class="kw">end</span> <span class="fname">Tracer_Quadrillage</span> ;<span class="eols">
|
<span class="kw">end</span> <span class="fname">Tracer_Quadrillage</span> ;<span class="eols">
|
||||||
|
|
||||||
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Damier</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span
|
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Damier</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span class="kw">is</span>
|
||||||
class="kw">is</span>
|
|
||||||
<span class="kw">begin</span>
|
<span class="kw">begin</span>
|
||||||
<span class="comment">-- Même principe que Tester_Quadrillage
|
<span class="comment">-- Même principe que Tester_Quadrillage
|
||||||
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
||||||
|
|
@ -88,16 +74,14 @@
|
||||||
<span class="ident">Txt.New_Line</span> ;
|
<span class="ident">Txt.New_Line</span> ;
|
||||||
<span class="kw">end</span> <span class="fname">Tracer_Damier</span> ;<span class="eols">
|
<span class="kw">end</span> <span class="fname">Tracer_Damier</span> ;<span class="eols">
|
||||||
|
|
||||||
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Gros_Damier</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span
|
</span> <span class="kw">procedure</span> <span class="fname">Tracer_Gros_Damier</span> (<span class="ident">Largeur</span> : <span class="type">Integer</span> ; <span class="ident">Hauteur</span> : <span class="type">Integer</span>) <span class="kw">is</span>
|
||||||
class="kw">is</span>
|
|
||||||
<span class="kw">begin</span>
|
<span class="kw">begin</span>
|
||||||
<span class="comment">-- Même principe, mais en divisant les coordonnées par 2 pour faire des paquets de 2x2.
|
<span class="comment">-- Même principe, mais en divisant les coordonnées par 2 pour faire des paquets de 2x2.
|
||||||
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
</span> <span class="kw">for</span> <span class="ident">Ligne</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Hauteur</span> <span class="kw">loop</span>
|
||||||
<span class="kw">for</span> <span class="ident">Col</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Largeur</span> <span class="kw">loop</span><span class="eols">
|
<span class="kw">for</span> <span class="ident">Col</span> <span class="kw">in</span> <span class="number">1</span>..<span class="ident">Largeur</span> <span class="kw">loop</span><span class="eols">
|
||||||
|
|
||||||
</span> <span class="comment">-- On soustrait 1 car sinon le damier commence au milieu d'un paquet de 2x2 et ce n'est pas joli.
|
</span> <span class="comment">-- On soustrait 1 car sinon le damier commence au milieu d'un paquet de 2x2 et ce n'est pas joli.
|
||||||
</span> <span class="kw">if</span> ((<span class="ident">Ligne</span>-<span class="number">1</span>)/<span class="number">2</span> + (<span class="ident">Col</span>-<span class="number">1</span>)/<span class="number">2</span>) <span
|
</span> <span class="kw">if</span> ((<span class="ident">Ligne</span>-<span class="number">1</span>)/<span class="number">2</span> + (<span class="ident">Col</span>-<span class="number">1</span>)/<span class="number">2</span>) <span class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span> <span class="kw">then</span>
|
||||||
class="kw">mod</span> <span class="number">2</span> = <span class="number">1</span> <span class="kw">then</span>
|
|
||||||
<span class="ident">Txt.Put</span>(<span class="string">"#"</span>) ;
|
<span class="ident">Txt.Put</span>(<span class="string">"#"</span>) ;
|
||||||
<span class="kw">else</span>
|
<span class="kw">else</span>
|
||||||
<span class="ident">Txt.Put</span>(<span class="string">" "</span>) ;
|
<span class="ident">Txt.Put</span>(<span class="string">" "</span>) ;
|
||||||
|
|
@ -144,11 +128,4 @@
|
||||||
</span> <span class="ident">Tracer_Gros_Damier</span>(<span class="number">18</span>, <span class="number">10</span>) ;<span class="eols">
|
</span> <span class="ident">Tracer_Gros_Damier</span>(<span class="number">18</span>, <span class="number">10</span>) ;<span class="eols">
|
||||||
|
|
||||||
</span><span class="kw">end</span> <span class="fname">Mission1</span> ;
|
</span><span class="kw">end</span> <span class="fname">Mission1</span> ;
|
||||||
</code></main>
|
</code></main><footer><small class="pcom"><a class="caml_c" href="../../../yversion.html" data-eliom-c-onclick="GdR46hGdWKzn">Version information</a></small><a target="_blank" href="http://www.insa-toulouse.fr"><img title="INSA Toulouse" style="width:73px;height:28px;" alt="INSA logo" src="../../../Images/logo-insa-light.jpg"/></a><a target="_blank" href="http://jigsaw.w3.org/css-validator/check/referer"><img title="Validate css stylesheet" style="width:28px;height:32px;" alt="CSS3 logo" src="../../../Images/css3.png"/></a><a target="_blank" href="http://validator.w3.org/check/referer"><img title="Validate html5 content" style="width:32px;height:32px;" alt="HTML5 logo" src="../../../Images/html5.png"/></a></footer></body></html>
|
||||||
<footer><small class="pcom"><a class="caml_c" href="../../../yversion.html" data-eliom-c-onclick="GdR46hGdWKzn">Version information</a></small><a target="_blank" href="http://www.insa-toulouse.fr"><img title="INSA Toulouse"
|
|
||||||
style="width:73px;height:28px;" alt="INSA logo" src="../../../Images/logo-insa-light.jpg" /></a><a target="_blank" href="http://jigsaw.w3.org/css-validator/check/referer"><img title="Validate css stylesheet" style="width:28px;height:32px;"
|
|
||||||
alt="CSS3 logo" src="../../../Images/css3.png" /></a><a target="_blank" href="http://validator.w3.org/check/referer"><img title="Validate html5 content" style="width:32px;height:32px;" alt="HTML5 logo" src="../../../Images/html5.png" /></a>
|
|
||||||
</footer>
|
|
||||||
</body>
|
|
||||||
|
|
||||||
</html>
|
|
||||||
|
|
@ -1,17 +1,7 @@
|
||||||
<html class="ada2" lang="fr" id="h" xmlns="http://www.w3.org/1999/xhtml">
|
<!DOCTYPE html>
|
||||||
|
<!-- Page generated by OCaml with Ocsigen.
|
||||||
<head>
|
See http://ocsigen.org/ and http://caml.inria.fr/ for information -->
|
||||||
<title>mission2.ml</title>
|
<html class="ada2" lang="fr" id="h" xmlns="http://www.w3.org/1999/xhtml"><head><title>mission2.ml</title><meta content="text/html; charset=utf-8" http-equiv="content-type"/><link media="all" href="../../../ystyle.css" rel="stylesheet"/><script src="../../../Scripts/yfold.js"></script></head><body><div class="header" id="header"><h1 id="title">mission2.ml</h1></div><main><code class="page block"><span class="comment">(* Version OCaml de l'exercice sur les intervalles *)</span>
|
||||||
<meta content="text/html; charset=utf-8" http-equiv="content-type" />
|
|
||||||
<link media="all" href="../../../ystyle.css" rel="stylesheet" />
|
|
||||||
<script src="../../../Scripts/yfold.js"></script>
|
|
||||||
</head>
|
|
||||||
|
|
||||||
<body>
|
|
||||||
<div class="header" id="header">
|
|
||||||
<h1 id="title">mission2.ml</h1>
|
|
||||||
</div>
|
|
||||||
<main><code class="page block"><span class="comment">(* Version OCaml de l'exercice sur les intervalles *)</span>
|
|
||||||
|
|
||||||
<span class="kw">type</span> t_intervalle =
|
<span class="kw">type</span> t_intervalle =
|
||||||
{ inf: float ;
|
{ inf: float ;
|
||||||
|
|
@ -70,11 +60,4 @@
|
||||||
()
|
()
|
||||||
|
|
||||||
|
|
||||||
</code></main>
|
</code></main><footer><small class="pcom"><a class="caml_c" href="../../../yversion.html" data-eliom-c-onclick="UJHGP0o9lEGA">Version information</a></small><a target="_blank" href="http://www.insa-toulouse.fr"><img title="INSA Toulouse" style="width:73px;height:28px;" alt="INSA logo" src="../../../Images/logo-insa-light.jpg"/></a><a target="_blank" href="http://jigsaw.w3.org/css-validator/check/referer"><img title="Validate css stylesheet" style="width:28px;height:32px;" alt="CSS3 logo" src="../../../Images/css3.png"/></a><a target="_blank" href="http://validator.w3.org/check/referer"><img title="Validate html5 content" style="width:32px;height:32px;" alt="HTML5 logo" src="../../../Images/html5.png"/></a></footer></body></html>
|
||||||
<footer><small class="pcom"><a class="caml_c" href="../../../yversion.html" data-eliom-c-onclick="UJHGP0o9lEGA">Version information</a></small><a target="_blank" href="http://www.insa-toulouse.fr"><img title="INSA Toulouse"
|
|
||||||
style="width:73px;height:28px;" alt="INSA logo" src="../../../Images/logo-insa-light.jpg" /></a><a target="_blank" href="http://jigsaw.w3.org/css-validator/check/referer"><img title="Validate css stylesheet" style="width:28px;height:32px;"
|
|
||||||
alt="CSS3 logo" src="../../../Images/css3.png" /></a><a target="_blank" href="http://validator.w3.org/check/referer"><img title="Validate html5 content" style="width:32px;height:32px;" alt="HTML5 logo" src="../../../Images/html5.png" /></a>
|
|
||||||
</footer>
|
|
||||||
</body>
|
|
||||||
|
|
||||||
</html>
|
|
||||||
Loading…
Reference in a new issue