General Information
Tutorials
Reference Manuals
Libraries
Translation Tasks
Tools
Administration
|
|
Quick Reference Card
A product (e.g.: :exe) is a Unix file, a directory or a list of
files that can be requested from Eli. Parameters (e.g.: +fold)
allow the requestor to control some characteristics of the requested
product.
Product files can be displayed by appending >, file-lists
can be viewed with :viewlist and generated directories by listing
their contents with !ls.
A single file named `f' can be selected from a directory by
appending /f to the request for that directory.
For further details see Eli Products and Parameters.
:exe
- Executable file containing the generated processor.
:source
- File-List with all source and include files making up the processor.
:allspecs
- File-List with all files defining a processor.
:gencode
- File-List with all files generated by Eli from your specifications.
:fwGen
- Directory with all files specified by one .fw file.
:ligaResults
- File-List with all files generated by Liga from your specifications.
+define
- cpp directive for C compilation.
+fold
- To suppress case distinctions in identifiers and keywords.
+ignore
- To switch off the verification of the presence of certain include files.
+parser
- Selects the parser generator:pgs/cola.
:bnf
- File containing complete concrete grammar in BNF notation.
:consyntax
- File containing complete concrete grammar in EBNF notation.
:pgram
- File containing complete parsing grammer as given to the parser generator.
:abstree
- File containing complete tree grammar.
:inst
- File-List containing instantiated generic module.
:kwd
- Recognize specified literals as identifiers.
+instance, +referto
- For instantiation of specification modules.
:warning
- File containing Warnings noted while deriving a product.
:error
- File containing Errors noted while deriving a product.
:warn, :err
- Unprocessed warning and error messages.
:help
- Executable for browsing Warning and error messages of a derivation.
Messages contain references to documentation.
:parsable
- File containing verification protocol of the parsability of the
parsing grammar (LALR(1)).
:showFe, :showMe
- File-List with 3 files containing information about the Lido specifications.
:ExpInfo,:OrdInfo,:OptimInfo
- Files with Information from Liga on remote attribute access, attribute
dependencies, attribute storage.
:gorto
- Start
gorto, a graphical tool for attribute dependence analysis.
:stdout
- Standard output from a test run, for example
input +cmd=(x.specs:exe):stdout
:run
- Execute the generated processor, for example
. +cmd=(x.specs:exe) input :run
:output
- Output files from a test run, for example
input +cmd=(x.specs:exe) :output !ls -l
:dbx, :gdb
- Debug a program interactively at the source level.
:mon
- Monitor a program at the specification level.
:mondbx, :mongdb
- Monitor a program at the specification level.
+arg
- Command line arguments for processor execution (only usable with
:mon)
+debug
- Flag to request debugging information in object files.
+input
- Directory containing files to be made available during execution.
+monitor
- Flag to request monitoring support.
+printtokens
- Flag to request that tokens be printed as they are read.
+stdin
- File to be made available as standard input.
:ps
- PostScript file generated from a TeX file.
:fwTex
- TeX file generated from a .fw file.
:fwTexinfo
- Hypertext document generated from a .fw file.
!:redo
- Tell Eli to redo a derivation step, even though no inputs to it have
changed.
!:test
- Ask Eli to check whether an object has been modified.
!:inputs
- A list of the objects on which this object directly depends.
!:outputs
- A list of the objects directly depending on this object.
|
