display_source1

Usage

Overview

display_source is an ASIS application we used for Traverse_Element and ASIS testing. It's an application that can be used too as a basis for applications that imply a modification of the sources. It's based on the generic procedure Traverse_Element and the various funtionalities provided by display_source correspond to different actions on each element of the source traversed.

Options

-n

Output the kind of each element, its subkinds if applicable, and its image, for literals.

-s

Output an Ada source semanticaly equivalent to the initial source, after traversing the entire parse tree.

-i

Same as -s, but the algorithm is much more simple, and designed as a basis for tools that modify the source in order to produce, for example, HTML.