|
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 error
public 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 failed
public 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 failed
public 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. |