Skip to content
Snippets Groups Projects
Commit 9f49af03 authored by Pascal Raymond's avatar Pascal Raymond
Browse files

remove junk files

parent 754af014
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.pastex/devel-notes.aux deleted 100644 → 0
+ 0
− 16
View file @ 754af014
\relax
\catcode`:\active
\catcode`;\active
\catcode`!\active
\catcode`?\active
\select@language{french}
\@writefile{toc}{\select@language{french}}
\@writefile{lof}{\select@language{french}}
\@writefile{lot}{\select@language{french}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Ligne de commande et analyse syntaxique}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Fichiers accept\'es}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Analyse syntaxique}{1}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces La table des sources}}{2}}
\newlabel{srctab}{{1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Analyse des d\'eclarations}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Analyse r\'ef\'erentielle et typage de surface}{2}}
.pastex/devel-notes.log deleted 100644 → 0
+ 0
− 183
View file @ 754af014
This is pdfeTeX, Version 3.14159-1.10b-2.1 (Web2C 7.4.5) (format=pdflatex 2006.2.23) 9 NOV 2006 10:35
entering extended mode
**devel-notes
(./devel-notes.tex{/usr/share/texmf/pdftex/config/pdftex.cfg}
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, catalan, croatian, czech, danish, dutch, finnish, greek, iceland
ic, irish, italian, latin, magyar, norsk, norsk, portuges, romanian, russian, s
lovak, slovene, spanish, swedish, turkish, ukrainian, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size12.clo
File: size12.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 2001/07/10 v0.99a Input encoding file
(/usr/share/texmf/tex/latex/base/latin1.def
File: latin1.def 2001/07/10 v0.99a Input encoding file
))
(/usr/share/texmf/tex/generic/babel/babel.sty
Package: babel 2001/03/01 v3.7h The Babel package
(/usr/share/texmf/tex/generic/babel/frenchb.ldf
Language: french 2001/09/09 v1.5g French support from the babel system
(/usr/share/texmf/tex/generic/babel/babel.def
File: babel.def 2001/03/01 v3.7h Babel common definitions
\babel@savecnt=\count87
\U@D=\dimen103
)
Package babel Info: Making : an active character on input line 199.
Package babel Info: Making ; an active character on input line 200.
Package babel Info: Making ! an active character on input line 201.
Package babel Info: Making ? an active character on input line 202.
*************************************
* Local config file frenchb.cfg used
*
(/usr/share/texmf/tex/generic/babel/frenchb.cfg)))
(/usr/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)
(/usr/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 80.
(/usr/share/texmf/tex/latex/graphics/pdftex.def
File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
\Gread@gobject=\count88
))
(/usr/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info: Overwriting symbol font `lasy' in version `bold'
(Font) U/lasy/m/n --> U/lasy/b/n on input line 42.
)
(/usr/share/texmf/tex/latex/misc/here.sty)
(/usr/share/texmf/tex/latex/graphics/color.sty
Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)
(/usr/share/texmf/tex/latex/config/color.cfg
File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: pdftex.def on input line 125.
) (./devel-notes.aux)
\openout1 = `devel-notes.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 22.
LaTeX Font Info: ... okay on input line 22.
LaTeX Font Info: Checking defaults for OT2/wncyr/m/n on input line 22.
LaTeX Font Info: Try loading font information for OT2+wncyr on input line 22
.
(/usr/share/texmf/tex/latex/cyrillic/ot2wncyr.fd
File: ot2wncyr.fd 1999/12/17 v3.2a Computer Modern Cyrillic font definitions
)
LaTeX Font Info: ... okay on input line 22.
LaTeX Info: Redefining \dots on input line 22.
(/usr/share/texmf/tex/context/base/supp-pdf.tex
(/usr/share/texmf/tex/context/base/supp-mis.tex
loading : Context Support Macros / Missing
\protectiondepth=\count89
\scratchcounter=\count90
\scratchtoks=\toks14
\scratchdimen=\dimen104
\scratchskip=\skip43
\scratchmuskip=\muskip10
\scratchbox=\box26
\scratchread=\read1
\scratchwrite=\write3
\zeropoint=\dimen105
\minusone=\count91
\thousandpoint=\dimen106
\emptytoks=\toks15
\nextbox=\box27
\nextdepth=\dimen107
\everyline=\toks16
\!!counta=\count92
\!!countb=\count93
\recursecounter=\count94
)
loading : Context Support Macros / PDF
\nofMPsegments=\count95
\nofMParguments=\count96
\everyMPtoPDFconversion=\toks17
)
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <14.4> on input line 24.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <7> on input line 24.
LaTeX Font Info: Try loading font information for U+lasy on input line 24.
(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
) (./devel-notes.toc
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <12> on input line 3.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <8> on input line 3.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <6> on input line 3.
)
\tf@toc=\write4
\openout4 = `devel-notes.toc'.
[1
{/var/lib/texmf/dvips/config/pdftex.map}] (./srctab.pdf_t
<.pastex/srctab.pdf, id=17, 346.29375pt x 149.55875pt>
File: .pastex/srctab.pdf Graphic file (type pdf)
<use .pastex/srctab.pdf>)
Underfull \hbox (badness 3343) in paragraph at lines 98--100
[]/cmr12/Cependant, on ef-fec-tue tout de m^eme une ana-lyse pr^^Seliminaire
[]
[2 <../.pastex/srctab.pdf>] [3] (./devel-notes.aux) )
Here is how much of TeX's memory you used:
1480 strings out of 94960
17995 string characters out of 1182470
72040 words of memory out of 1000001
4603 multiletter control sequences out of 10000+50000
10082 words of font info for 40 fonts, out of 500000 for 1000
198 hyphenation exceptions out of 1000
24i,9n,24p,202b,299s stack positions out of 1500i,500n,5000p,200000b,5000s
37 PDF objects out of 300000
0 named destinations out of 131072
5 words of extra memory for PDF output out of 65536
{/usr/share/texmf/dvips/te
tex/0ef0afca.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cmcsc10.pfb>{/usr/sha
re/texmf/dvips/tetex/09fbbfac.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cmtt
8.pfb>{/usr/share/texmf/dvips/tetex/f7b6d320.enc}</usr/share/texmf/fonts/type1/
bluesky/cm/cmr8.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmtt12.pfb></usr/s
hare/texmf/fonts/type1/bluesky/cm/cmbx12.pfb></usr/share/texmf/fonts/type1/blue
sky/cm/cmr12.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.pfb>
Output written on devel-notes.pdf (3 pages, 52225 bytes).
.pastex/devel-notes.tex deleted 100644 → 0
+ 0
− 109
View file @ 754af014
%PASTEX:FIGDIR=figs
\documentclass[12pt,a4paper]{article}
\usepackage[latin1]{inputenc} % 8 bits
\usepackage[francais]{babel} % francais
\usepackage{graphics}
\usepackage{latexsym}
\usepackage{here}
\usepackage{color}
%\input{commandes}
%\input{algoenv}
%\input{save_paper}
\sloppy
\title{LPP-v6 -- Notes Développeur}
\author{P.Raymond}
\date{}
\begin{document}
\maketitle
\tableofcontents
%\clearpage
\section{Ligne de commande et analyse syntaxique}
\subsection{Fichiers acceptés}
Les fichiers supportés sont~:
\begin{itemize}
\item Les fichiers \verb|foo.lus| à la syntaxe Lustre-v6 comportant un ensemble
de déclarations de packages et de modules.
\item Les fichiers \verb|foo.lus| contenant uniquement un corps de
package à la syntaxe v6~;
un tel fichier est considéré comme la déclaration implicite d'un package
dont le nom est \verb|foo|, et dont tous les items sont exportés (\verb|provided|).
\end{itemize}
Restrictions/à faire~:
\begin{itemize}
\item pour l'instant on prend un seul fichier, mais ça sera facilement adaptable
\end{itemize}
\subsection{Analyse syntaxique}
Elle produit un ensemble de déclarations de packages et de modèles
dans une structure syntaxique abstraite (module \verb|Syntaxe|),
qui constitue le {\bf source brut}.
\section{Analyse des déclarations}
C'est la première phase de compilation qui consiste à vérifier la cohérences
des déclaration modulo l'organisation en ``name-space'' (les packages).
Cette phase produit une nouvelle version du source (module \verb|SrcTab|)~:
\begin{itemize}
\item unicité des déclarations de modèles et de packages
\item instanciation (purement syntaxique) des modèles
\item identification des items exportés et de leurs définitions
abstraites (e.g. un type fourni par un package est présenté abstrait
pour les utilisation extérieures).
\end{itemize}
Au final on a une table de sources bien organisée (\verb|SrcTab|) mais
qui renvoie encore à des infos purement syntaxiques (\verb|Syntaxe|),
voir figure~\ref{srctab}~:
\begin{itemize}
\item les trois tables d'export (const, type, oper) sont indéxées
par des identificateurs absolus (pack+nom) et pointent sur
des définitions éventuellement abstraites~: c'est la seule vision
qu'on en a de l'extérieur, et l'analyse doit être faite uniquement
modulo cette info.
\item la table des définitions de pack, chacun comportant
ses tables d'items (const, type, oper)~; les idents sont relatifs
et les définitions concrêtes.
\end{itemize}
\begin{figure}
\begin{center}
\input{srctab.pdf_t}
\caption{La table des sources}
\label{srctab}
\end{center}
\end{figure}
\section{Analyse référentielle et typage de surface}
À cause de la récursivité statique (notamment) il est pratiquement impossible
de faire dy typage ``fin'' (et a fortiori de la compilation) modulaire.
Le typage fin et la compilation proprement dite sera donc faite
à la demande~: on compile tout ce qui est nécessaire à l'exécution
d'un n\oe ud principal désigné.
Cependant, on effectue tout de même une analyse préliminaire
indépendante d'un main particulier~:
\begin{itemize}
\item chaque référence à un ident pointe bien sur un item de nature attendue,
\item
\end{itemize}
PAS CLAIR : A revoir ...
\end{document}
.pastex/devel-notes.toc deleted 100644 → 0
+ 0
− 6
View file @ 754af014
\select@language {french}
\contentsline {section}{\numberline {1}Ligne de commande et analyse syntaxique}{1}
\contentsline {subsection}{\numberline {1.1}Fichiers accept\'es}{1}
\contentsline {subsection}{\numberline {1.2}Analyse syntaxique}{1}
\contentsline {section}{\numberline {2}Analyse des d\'eclarations}{2}
\contentsline {section}{\numberline {3}Analyse r\'ef\'erentielle et typage de surface}{2}
.pastex/srctab.pdf deleted 100644 → 0
+ 0
− 0
View file @ 754af014
File deleted
.pastex/srctab.pdf_t deleted 100644 → 0
+ 0
− 73
View file @ 754af014
\begin{picture}(0,0)%
\includegraphics{.pastex/srctab.pdf}%
\end{picture}%
\setlength{\unitlength}{4144sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
\reset@font\fontsize{#1}{#2pt}%
\fontfamily{#3}\fontseries{#4}\fontshape{#5}%
\selectfont}%
\fi\endgroup%
\begin{picture}(5469,2361)(4804,-4123)
\put(9676,-2221){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}const}%
}}}}
\put(9676,-2446){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{\tt P1::x} =...}%
}}}}
\put(5086,-2671){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{\tt const x} =...}%
}}}}
\put(5086,-2851){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{...}}%
}}}}
\put(5086,-3166){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{\tt type x} =...}%
}}}}
\put(5086,-3346){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{...}}%
}}}}
\put(5086,-3661){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{\tt node x} =...}%
}}}}
\put(5086,-3841){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{...}}%
}}}}
\put(7696,-2671){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{\tt const x} =...}%
}}}}
\put(7696,-2851){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{...}}%
}}}}
\put(7696,-3166){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{\tt type x} =...}%
}}}}
\put(7696,-3346){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{...}}%
}}}}
\put(7696,-3661){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{\tt node x} =...}%
}}}}
\put(7696,-3841){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{...}}%
}}}}
\put(6391,-2671){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{\tt const x} =...}%
}}}}
\put(6391,-2851){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}{...}}%
}}}}
\put(6391,-3166){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{\tt type x} =...}%
}}}}
\put(6391,-3346){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{...}}%
}}}}
\put(6391,-3661){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{\tt node x} =...}%
}}}}
\put(6391,-3841){\makebox(0,0)[lb]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{...}}%
}}}}
\put(9676,-1861){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}export table}%
}}}}
\put(7336,-1861){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}pack def tables}%
}}}}
\put(8281,-2311){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}P3}%
}}}}
\put(6796,-2311){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}P2}%
}}}}
\put(5536,-2311){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}P1}%
}}}}
\put(9676,-2851){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}type}%
}}}}
\put(9631,-3031){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,.82}{\tt P1::y} =...}%
}}}}
\put(9676,-3526){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}oper}%
}}}}
\put(9676,-3706){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{\tt P2::x} =...}%
}}}}
\put(9676,-3886){\makebox(0,0)[b]{\smash{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.82,0,.82}{\tt P3::x} =...}%
}}}}
\end{picture}%
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment