|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
Labeled | Every labeled thing must implement this interface. |
ModuleConstants | This interface provides constants of this package. |
ModuleEventListener | |
Textable | Every thing that represent a kind of text data must implement this interface. |
Class Summary | |
Author | Describes a module author. |
AuthorList | List of module authors . |
Description | A module description. |
An email address. | |
Header | header of a module. |
Headline | A module headline. |
Import | Describes an import of a module. |
ImportList | List of Import s. |
Location | Describes the "physical" location of a module for example a directory. |
LocationList | List of locations where a module could be found. |
Module | Main data object of this project. |
ModuleAddress | An object of this class represents an address for a module. |
ModuleContext | This class provides static access methods for loading modules. |
ModuleCreator | This class provides static methods for reading and
writing an Module and its subcomponents. |
ModuleProperties | Represents a module and its state. |
ModuleState | Represents a module and its state. |
ModuleWriter | This class writes a module file. |
Name | A reference label. |
PackageTest | General package test. |
ParagraphList | List of Paragraph s |
SimpleModuleCreator | This class provides static methods for reading and
writing an Argument of the module package. |
Specification | Describes a specificiation of a module, that means its name, versions and possible "physical" locations. |
UsedbyList | List of known references to a module. |
Version | A version description. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |