Hilbert II - JAVA-Packages - Principia Mathematica II

Package com.meyling.principia.module

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.
Email An email address.
Header header of a module.
Headline A module headline.
Import Describes an import of a module.
ImportList List of Imports.
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 Paragraphs
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

©left GNU General Public Licence
All Rights Reserved.