Lecture overview
Keyboard shortcut: 'u'  Previous page
Keyboard shortcut: 'p'  Next page
Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide
Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Slide 15 : 21
The elucidator tool

The elucidator tool produces the HTML pages to be shown in a browser. In addition, the elucidator tool makes a number of data structures used by the editor to gain knowledge about the documentation bundle.

The elucidator is the tool that processes a documentation bundle in order to produce an elucidative program

  • Tasks of an elucidator

    • Abstraction

      • Parses the documentation and the program

      • Extracts knowledge about program and documentation entities

    • Synthesis

      • Generates the HTML pages with links that represent the three kinds of relations between entities

The synthesis part of the processing may be carried out by the WWW server on a dynamic basis