|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.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 |
|
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
variableArgumentException
- 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
com.meyling.principia.argument.Argument
public final Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
getArgument
in class AbstractArgument
com.meyling.principia.argument.Argument
i
- number of argument (starting with 0
)i
-th part formulaIllegalArgumentException
- if i
is not inbetween
0
and Argument.getArgumentSize()
- 1
public Argument copy()
Argument
copy
in interface Argument
com.meyling.principia.argument.Argument
public final void setContent(Argument content)
content
- assignment of pattern variableIllegalArgumentException
- 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
com.meyling.principia.argument.Argument
arguments
- with these arguments the operator should
be createdArgumentException
- if creation failedpublic boolean isMatching(Argument argument)
argument
- argument to match pattern variabletrue
public int compareTo(Object o)
compareTo
in interface Comparable
public String toString()
Argument
String
form.toString
in interface Argument
toString
in class AbstractArgument
com.meyling.principia.argument.Argument
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |