|
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.Version
A version description.
Constructor Summary | |
Version(Argument[] arguments)
Constructs a version description. |
|
Version(String version)
Constructs a version description. |
Method Summary | |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
boolean |
equalWith(Version v)
Check if this version is equal to another one. |
String |
getText()
Get label of object. |
boolean |
greaterThan(Version v)
Check if this version is greater than another one |
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 Version(Argument[] arguments) throws ArgumentException
arguments
- Text
to be a version description
ArgumentException
- if there is not exactly one
argument or the first argument is not an instance
of Text
or it isn't build of digits and
periods in the following form: n.nn.nn(.nn)*public Version(String version) throws ArgumentException
version
- version
ArgumentException
- if version it isn't build of digits and
periods in the following form: n.nn.nn(.nn)*Method Detail |
public final boolean greaterThan(Version v)
v
- version to compare with
v
?public final boolean equalWith(Version v)
v
- version to compare with
v
?public final String getText()
Textable
getText
in interface Textable
public final Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class AbstractArgumentList
ArgumentException
public final String toString()
Argument
String
form.
toString
in interface Argument
toString
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. |