Hilbert II - JAVA-Packages - Principia Mathematica II

Package com.meyling.principia.io

Interface Summary
IoConstants This class provides constants of this package.
 

Class Summary
BrowserLauncher BrowserLauncher is a class that provides one static method, openURL, which opens the default web browser for the current user of the system to the given URL.
DataDictionary This class reads entries from property files and gives typed get and set methods.
Input This class provides convenient methods for parsing input.
Output Output wrapping.
ParsingTable Table for Argument Positions.
Position Class for remembering parsing positions.
TextFileReader Wrapper for the class FileReader.
TextInput This class provides convenient methods for parsing input.
Utility A collection of usefull static methods.
 

Exception Summary
ParsingException This is a construction (and checking) exception for arguments.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.