From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 2 Sep 2019 13:46:59 +0900
Subject: Initial commit

---
 macros/latex/contrib/progkeys/demo/demo.tex | 72 +++++++++++++++++++++++++++++
 1 file changed, 72 insertions(+)
 create mode 100644 macros/latex/contrib/progkeys/demo/demo.tex

(limited to 'macros/latex/contrib/progkeys/demo/demo.tex')

diff --git a/macros/latex/contrib/progkeys/demo/demo.tex b/macros/latex/contrib/progkeys/demo/demo.tex
new file mode 100644
index 0000000000..712f4eb295
--- /dev/null
+++ b/macros/latex/contrib/progkeys/demo/demo.tex
@@ -0,0 +1,72 @@
+\ifx\documentclass\undefined
+\documentstyle[fr,programs,keywords]{article}
+\else
+\documentclass{article}
+\usepackage{CheckForDef}
+\usepackage{fr}
+\usepackage{programs}
+\usepackage{keywords}
+\fi
+
+\def\p#1{{\bf{}#1}}
+
+\def\wideoutput{%
+\setlength{\topmargin}{-1.54cm}%
+\setlength{\headsep}{0cm}%
+\setlength{\textwidth}{17.5cm}%
+\setlength{\textheight}{25.5cm}%
+\setlength{\oddsidemargin}{-1cm}%
+\setlength{\evensidemargin}{-1cm}}
+\wideoutput
+
+\InBodyLeftNumberLine
+
+\ProgKeywords
+
+\begin{document}
+
+Dans le programme suivant, quel est le type de \p{A}?
+celui de~\p{B}?
+\p{A} et~\p{B} ont-ils m\^eme type?
+Les instructions des
+lignes~\ref{progFORTTYPAGEinstruction1}--\ref{progFORTTYPAGEinstruction3}
+sont-elles correctes? 
+Pourquoi?
+
+\input{prog1.tex}
+
+La variable \p{A} est d'un type anonyme tableau \`a une
+dimension de \p{COULEURS}.
+Il en est de m\^eme pour \p{B}.
+Bien que la description des deux types soit identique, ils sont
+diff\'erents.
+
+L'instruction de la ligne~\ref{progFORTTYPAGEinstruction1} est
+correcte (affectation d'une valeur de type \p{COULEURS} dans une
+variable du m\^eme type). 
+Les instructions des lignes~\ref{progFORTTYPAGEinstruction2}
+et~\ref{progFORTTYPAGEinstruction3} sont ill\'egales (les types
+sont diff\'erents).
+Par contre, si l'on avait \'ecrit le programme comme suit
+
+\NewKeyword{\BEGIN}{this is the beginning}[ceci est le d\'ebut]
+\FUAlgoKeywords
+
+\input{prog2.tex}
+
+\noindent%
+il n'y aurait pas eu d'erreur.
+Dans ce cas, en effet, \p{A} et \p{B} appartiennent au m\^eme
+sous-type initial, et un contr\^ole sera mis en place pour
+v\'erifier les bornes des intervalles \`a l'ex\'ecution.
+
+\bigskip
+
+Un exercice de num\'erotation:
+
+\NewKeyword{\END}{this IS the real end}
+\AlgoKeywords
+
+\input{prog3.tex}    
+
+\end{document}
-- 
cgit v1.2.3

