|
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.PatternVariable
Pattern variable, for matching purposes.
Constructor Summary | |
PatternVariable(Argument[] arguments)
Constructs a pattern variable. |
Method Summary | |
int |
compareTo(Object o)
|
boolean |
containsPatternVariables()
Does this argument contain any PatternVariable? |
Argument |
copy()
Returns an identical object (maybe "this"). |
Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
Argument |
getArgument(int i)
Get the requested argument. |
int |
getArgumentSize()
Get the number of arguments. |
Argument |
getContent()
Sets argument of pattern variable. |
int |
getNumber()
Get number of pattern variable. |
boolean |
isMatching(Argument argument)
Is the argument matching the pattern variable? |
void |
setContent(Argument content)
Sets argument of pattern variable. |
String |
toString()
Get the argument in String form. |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
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 |
equals, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Constructor Detail |
public PatternVariable(Argument[] arguments) throws ArgumentException
arguments
- first argument is number of this pattern
variable
ArgumentException
- if there is not exactly one
argument that is an instance of Counter
Method Detail |
public final int getArgumentSize()
Argument
getArgumentSize
in interface Argument
getArgumentSize
in class AbstractArgument
public final Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
getArgument
in class AbstractArgument
IllegalArgumentException
public Argument copy()
Argument
copy
in interface Argument
public final void setContent(Argument content)
content
- assignment of pattern variable
IllegalArgumentException
- if there is already an
assignmentpublic final Argument getContent()
IllegalArgumentException
- if no value was assignedpublic final int getNumber()
getNumber
in interface CounterMarker
public final boolean containsPatternVariables()
Argument
containsPatternVariables
in interface Argument
containsPatternVariables
in class AbstractArgument
public Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
create
in class AbstractArgument
ArgumentException
public boolean isMatching(Argument argument)
argument
- argument to match pattern variable
true
public int compareTo(Object o)
compareTo
in interface Comparable
public String toString()
Argument
String
form.
toString
in interface Argument
toString
in class AbstractArgument
|
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. |