General Information
Tutorials
Reference Manuals
Libraries
Translation Tasks
Tools
Administration
|
Products and Parameters ReferenceExamining SpecificationsIt is often useful to examine properties of large specifications. The products described in this chapter generate browsable files summarizing relevant aspects of those specifications.
feInfo -- Information about the attribute grammar:feInfo A file that provides detailed information about the complete attribute grammar that Eli generates from the given specification. Suppose that you are generating a processor via the following Eli request, where `product' is some (possibly complex) derivation:
-> `product' :exe In order to obtain the analysis of the complete attribute grammar, use the request:
-> `product' :feInfo:viewlist This request will open a browser window in a directory containing two symbolic links, `compoundLido' and `feInfo', pointing to the composite `.lido' file and the analysis file respectively. It is important to note that you should use the full `product' derivation, in order to ensure that the complete attribute grammar is available for analysis. The analysis output has four components:
For a
There are three possible scenarios for
ExpInfo -- Information about remote attribute access:ExpInfo Obtain information about the processing of LIDO specifications, especially information concerning the expansion of remote attribute accesses (i. e. INCLUDING, CONSTITUENTS, and CHAIN). The generated listing describes how each remote access construct can be replaced by a set of equivalent computations propagating the accessed values through adjacent contexts. This file is useful if special difficult cases regarding problems with remote dependences arise.
Additional information about attribute dependences and attribute
storage optimization can be obtained by adding the parameters
Example: foo.specs+OrdI:ExpInfo> For a more detailed description of Liga's listing options and more advanced options, see Liga Control Language Manual of Liga Control Language Manual.
OrdInfo -- Information about attribute dependence:OrdInfo Obtain information about the processing of LIDO specifications, especially information concerning the attribute dependences. The listing provides for each grammar rule the set of direct dependences between attributes occurring in this rule.
Additional information about remote attribute access and attribute
storage optimization can be obtained by adding the parameters
Example: foo.specs+ExpI:OrdInfo> For a more detailed description of Liga's listing options and more advanced options, see Liga Control Language Manual of Liga Control Language Manual.
OptimInfo -- Information about attribute storage optimization:OptimInfo Obtain information about the processing of LIDO specifications, especially information on attribute storage optimization. For each attribute this listing provides information where this attribute is stored. Possible storage locations are "tree node", "global variable" and "global stack".
Additional information about remote attribute access and attribute
dependences can be obtained by adding the parameters
Example: foo.specs+ExpI:OptimInfo> For a more detailed description of Liga's listing options and more advanced options, see Liga Control Language Manual of Liga Control Language Manual.
show -- LIDO Table Viewers showFe and showMe:showFe :showMe Obtain a list of files that contain internal representations of LIDO text translated into readable text.
These informations can be useful for debugging a LIDO-Specification or to understand LIGA-Processing in more depth. See Overview of SHOW - Debugging Information for LIDO, for more details.
|