|
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.AbstractArgument
com.meyling.principia.argument.AbstractArgumentList
com.meyling.principia.module.Name
A reference label.
| Constructor Summary | |
Name(Argument[] arguments)
Constructs a module name. |
|
Name(String name)
Constructs a module name. |
|
| Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
String |
getText()
Get label of object. |
String |
toString()
Get the argument in String form. |
| Methods inherited from class com.meyling.principia.argument.AbstractArgumentList |
copy, getArgument, getArgumentSize |
| Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
| Constructor Detail |
public Name(Argument[] arguments)
throws ArgumentException
arguments - Text to be a name
ArgumentException - if there is not exactly one
argument or the first argument is not an instance
of Text or it isn't build of lowercase letters
and digits.
public Name(String name)
throws ArgumentException
name - name of module
ArgumentException - if name isn't build of lowercase letters
and digits| Method Detail |
public final String getText()
Textable
getText in interface Textable
public final Argument create(Argument[] arguments)
throws ArgumentException
Argument
create in interface Argumentcreate in class AbstractArgumentListArgumentExceptionpublic final String toString()
ArgumentString form.
toString in interface ArgumenttoString in class AbstractArgumentList
|
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. |