Introducion a JavaSourceDocument. JavaSourceDocument aims to keep various information abou Java source such as parse tree, index, highlighted source. A limited cache of source documents is also maintained to speed up browsing.

     1

LIBRARY         libjava

     2

DESCRIPTION     'AddOn library for ST/X'

     3

CODE            EXECUTE READ SHARED

     4

DATA            READ WRITE

     5

SECTIONS

     6

    INITCODE READ EXECUTE SHARED

     7

    INITDATA READ WRITE

     8

EXPORTS

     9

    _libjava_Init