From: John Howard <jhoward@sky.net>
Subject: Re: Pascal to Ada Tools?
Date: 1996/05/16
Date: 1996-05-16T00:00:00+00:00 [thread overview]
Message-ID: <Pine.SOL.3.91.960516120804.3907A-100000@sky.net> (raw)
On 16 May 1996, Steve Doiel wrote:
[..deletions..]
> I am looking for a cheap (free) Pascal to Ada translator.
>
> I have come to the conclusion that the only way I will get such a
> translator is to write it myself. This also gives me the opportunity
> learn more about Ada, since I am new to the language.
>
> Questions:
> Does anyone know of better tools for performing this task?
> Is there somewhere that I might find pieces of the translator that are
> already done?
>
> Any suggestions are welcome. Any indication as to whether or not I am
> following a resonable path is welcome as well.
There appears to be a useful toolset available called Gramact. It might
require changes to work with GNAT. I have not used it yet. I found it
yesterday from the Bindings link on WebAda. The entire project is about
450 kb Zip compressed. Listed below are the programming languages
currently supported and some URL's to English documentation.
LGL Component Library (Swiss Federal Institute of Technology at Lausanne)
http://lglwww.epfl.ch/Components/
Gramact Components: support for parsing and lexical analysis.
http://lglwww.epfl.ch/Components/Gramact/Abstract.html
http://lglwww.epfl.ch/Components/Gramact/directory.html
ftp://lglftp.epfl.ch/pub/Ada/Components/lgl_Gramact.tar.gz
The file to build the text formatter for Ada programs:
ftp://lglftp.epfl.ch/pub/Ada/Components/adastruct.tar.gz
ABSTRACT
Under the Gramact project, a toolset of lexical and syntactic analyser
generators has been developed. The generators are table-driven, i.e. a
parameter dynamically determines what language grammar to use for
source code analysis.
Lexical and syntactic grammars of taget languages are defined in
GRAMOL, an EBNF-like notation.
Lexical_Analyser_G is a generic package for lexical analysis. It may
be used alone.
Syntax_Analyser_G is a generic package for syntax analysis, including
access to the lexical tokens of Lexical_Analyser_G. To allow execution
of user-defined actions, grammar decorations control where the parser
must suspend analysis.
The paper entitled "GRAMACT: Presentation et mode d'emploi" only
available in French, provides an overview, a rough user's guide, and
the most accurate information on how to use the Gramact programs. The
grammar editor mentioned in the paper about the Syntax Analyser,
Gredi, has been replaced with a simpler solution; two programs now
separately decorate a grammar with actions (DECOGRA) and extract
actions from a (decorated) grammar (EXTRACT).
http://lglwww.epfl.ch/Components/Gramact/Gramact.html
GRAMOL: A grammar Description Language for Lexical and Syntactic Parsers
http://lglwww.epfl.ch/Components/Gramact/Gramol.english.html
Lexical_Analyser_G: A Multi-Language Lexical Analysis Package
http://lglwww.epfl.ch/Components/Gramact/Lexical.english.html
Syntax_Analyser_G: A Multi-Language Syntax Analysis Package
http://lglwww.epfl.ch/Components/Gramact/Syntax.english.html
Some language syntax definitions in Gramol:
pascal.gra
http://lglwww.epfl.ch/cgi-bin/expand/pascal.gra:Gramact/Grammars
ada95.gra
http://lglwww.epfl.ch/cgi-bin/expand/ada95.gra:Gramact/Grammars
c_lex.gra
http://lglwww.epfl.ch/cgi-bin/expand/c_lex.gra:Gramact/Grammars
ada83.gra
http://lglwww.epfl.ch/cgi-bin/expand/ada83.gra:Gramact/Grammars
modula-2.gra
http://lglwww.epfl.ch/cgi-bin/expand/modula-2.gra:Gramact/Grammars
ecl.gra
http://lglwww.epfl.ch/cgi-bin/expand/ecl.gra:Gramact/Grammars
example.gra
http://lglwww.epfl.ch/cgi-bin/expand/example.gra:Gramact/Grammars
gramol.gra
http://lglwww.epfl.ch/cgi-bin/expand/gramol.gra:Gramact/Grammars
WebAda
http://sw-eng.falls-church.va.us/AdaIC/compilers/webada/
------------------------------------------------------------------------
-- John Howard <jhoward@sky.net> -- Team Christ --
-- New American Standard Bible (Psalm 22:30-31) --
-- Posterity will serve Him; --
-- It will be told of the Lord to the coming generation. --
-- They will come and will declare His righteousness --
-- To a people who will be born, that He has performed it. --
------------------------------------------------------------------------
next reply other threads:[~1996-05-16 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-16 0:00 John Howard [this message]
[not found] <4ne1km$j8d@news.pacifier.com>
1996-05-16 0:00 ` Pascal to Ada Tools? Wiljan Derks
1996-05-16 0:00 ` Dale Stanbrough
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox