|
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.argument.ArgumentCreator
This class provides static methods for reading and
writing an Argument
.
Constructor Summary | |
ArgumentCreator()
|
Method Summary | |
static Argument |
createArgument(Class kind,
Argument[] argument)
Creates a new Argument . |
static Argument |
readArgument(TextInput input,
Map string2class,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
static String |
writeArgument(Argument argument,
Map class2string)
Write an Argument to an String . |
static void |
writeArgument(Output output,
Argument argument,
Map class2string)
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 |
Constructor Detail |
public ArgumentCreator()
Method Detail |
public 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 static final Argument readArgument(TextInput input, Map string2class, ParsingTable parsing) throws ParsingException
Argument
out of an TextInput
object.
input
- source to read fromstring2class
- use this mapping for parsingparsing
- for saving positions of created arguments
ParsingException
- if creation failedpublic static final void writeArgument(Output output, Argument argument, Map class2string) throws IllegalArgumentException
Argument
to an Output
object.
output
- destination to write toargument
- this object will be writtenclass2string
- use this mapping for getting a string
IllegalArgumentException
- if writing failedpublic static final String writeArgument(Argument argument, Map class2string) throws IllegalArgumentException
Argument
to an String
.
argument
- this object will be writtenclass2string
- use this mapping for getting a string
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. |