|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.module.ModuleCreator
This class provides static methods for reading and
writing an Module
and its subcomponents.
Field Summary | |
static String |
MODULE_AUTHOR
string for a Author |
static String |
MODULE_AUTHOR_LIST
string for a AuthorList |
static String |
MODULE_DESCRIPTION
string for a Description |
static String |
MODULE_EMAIL
string for a Email |
static String |
MODULE_HEADER
string for a Header |
static String |
MODULE_HEADLINE
string for a Headline |
static String |
MODULE_IMPORT
string for a Import |
static String |
MODULE_IMPORT_LIST
string for a ImportList |
static String |
MODULE_LOCATION
string for a Location |
static String |
MODULE_LOCATION_LIST
string for a LocationList |
static String |
MODULE_MODULE
string for a Module |
static String |
MODULE_NAME
string for a Name |
static String |
MODULE_PARAGRAPH_LIST
string for a ParagraphList |
static String |
MODULE_SPECIFICATION
string for a Specification |
static String |
MODULE_USEDBY_LIST
string for a UsedbyList |
static String |
MODULE_VERSION
string for a Version |
Constructor Summary | |
ModuleCreator(TextInput input)
Constructs a new module creator. |
Method Summary | |
static Argument |
createArgument(Class kind,
Argument[] argument)
Creates a new Argument . |
static Class |
getClass(String name)
Get class for known name of operator. |
static Map |
getMap()
Get the mapping of Strings to operator classes. |
static String |
getName(Class clazz)
Get name of known operator class. |
Argument |
readArgument()
Create an Argument out of an TextInput object. |
static String |
writeArgument(Argument argument)
Write an Argument to an String . |
static void |
writeArgument(Output output,
Argument argument)
Write an Argument to an Output object. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final String MODULE_PARAGRAPH_LIST
ParagraphList
public static final String MODULE_MODULE
Module
public static final String MODULE_IMPORT_LIST
ImportList
public static final String MODULE_IMPORT
Import
public static final String MODULE_NAME
Name
public static final String MODULE_VERSION
Version
public static final String MODULE_LOCATION_LIST
LocationList
public static final String MODULE_LOCATION
Location
public static final String MODULE_SPECIFICATION
Specification
public static final String MODULE_HEADER
Header
public static final String MODULE_DESCRIPTION
Description
public static final String MODULE_HEADLINE
Headline
public static final String MODULE_EMAIL
Email
public static final String MODULE_AUTHOR_LIST
AuthorList
public static final String MODULE_AUTHOR
Author
public static final String MODULE_USEDBY_LIST
UsedbyList
Constructor Detail |
public ModuleCreator(TextInput input)
input
- read from hereMethod Detail |
public static final Map getMap()
public static final String getName(Class clazz) throws IllegalArgumentException
clazz
- look for name of this class
IllegalArgumentException
- if operator class
clazz
is unknownpublic static final Class getClass(String name) throws IllegalArgumentException
name
- look for class with this name
IllegalArgumentException
- if no class with this name
knownpublic static final Argument createArgument(Class kind, Argument[] argument) throws IllegalArgumentException, ArgumentException
Argument
. Could't create a new
Counter
or a Text
.
kind
- class to generateargument
- argument for constructor of that class
ArgumentException
- if creation failed
IllegalArgumentException
- if creation failed
because of a programming errorpublic final Argument readArgument() throws ParsingException
Argument
out of an TextInput
object.
ParsingException
- if creation failedpublic static final void writeArgument(Output output, Argument argument) throws IllegalArgumentException
Argument
to an Output
object.
output
- destination to write toargument
- this object will be written
IllegalArgumentException
- if writing failedpublic static final String writeArgument(Argument argument) throws IllegalArgumentException
Argument
to an String
.
argument
- this object will be written
IllegalArgumentException
- if writing failed
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |