|
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
Every Operator must inherit from this class. Its main function is to
provide the standard implemention of equals(java.lang.Object)
, matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables)
and hashCode()
.
Constructor Summary | |
AbstractArgument()
|
Method Summary | |
boolean |
containsPatternVariables()
Does this argument contain any PatternVariable? |
abstract Argument |
create(Argument[] arguments)
Create a new Argument with given arguments. |
boolean |
equals(Object object)
Is this object equal to the given one? |
abstract Argument |
getArgument(int i)
Get the requested argument. |
abstract int |
getArgumentSize()
Get the number of arguments. |
static int |
getHighestNumber(Argument argument)
Find the highest value for a Counter in this argument. |
PatternVariables |
getPatternVariables()
Get all pattern variables that occur in this argument. |
void |
getReplacementParents(Enumerator counter,
int occurance,
Argument searchPattern,
Argument replacePattern)
Get a children parents list for the occurrence -th
occurence of searchPattern replaced by
replacementPattern . |
void |
getSearchParents(Enumerator counter,
int occurance,
Argument searchPattern)
Get a children parents list for the occurrence -th
occurence of searchPattern . |
int |
hashCode()
Calculates the hashcode. |
boolean |
matches(Argument pattern)
Does any part of this argument match the pattern ?
|
boolean |
matches(Argument pattern,
PatternVariables variables)
Does this argument match the pattern ?
|
Argument |
replace(Argument search,
Argument replacement)
Creates and returns a copy of this object, but replaces anything that equals(java.lang.Object) argument
with a Argument.copy() of replacement . |
Argument |
replace(Enumerator counter,
int occurance,
Argument searchPattern,
Argument replacePattern)
Replace the occurrence -th occurence of
searchPattern with replacePattern . |
Argument |
replace(PatternVariables variables)
Replace every pattern variable that occurs in variables with its content. |
Argument |
replaceMatches(Argument searchPattern,
Argument replacePattern)
Replace all occurrences of searchPattern with
replacePattern . |
abstract String |
toString()
Get the argument in String form. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface com.meyling.principia.argument.Argument |
copy |
Constructor Detail |
public AbstractArgument()
Method Detail |
public abstract int getArgumentSize()
Argument
getArgumentSize
in interface Argument
public abstract Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
i
- number of argument (starting with 0
)
i
-th part formula
IllegalArgumentException
- if i
is not inbetween
0
and Argument.getArgumentSize()
- 1
public boolean equals(Object object)
Argument
object
is an instance of Argument
and
both arguments have the same
Argument.getArgumentSize()
and each Argument.getArgument(int)
Argument.equals(java.lang.Object)
.
equals
in interface Argument
public int hashCode()
Argument
hashCode
in interface Argument
public final Argument replace(Argument search, Argument replacement) throws ArgumentException
Argument
Argument.equals(java.lang.Object)
argument
with a Argument.copy()
of replacement
.
replace
in interface Argument
search
- check for occurrence of thisreplacement
- replace with this
ArgumentException
- if creation failedpublic final Argument replace(PatternVariables variables) throws ArgumentException
Argument
variables
with its content.
replace
in interface Argument
variables
- List of (filled) pattern variables
variables
) are replaced with
its content
ArgumentException
- if creation failedpublic final Argument replace(Enumerator counter, int occurance, Argument searchPattern, Argument replacePattern) throws ArgumentException
Argument
occurrence
-th occurence of
searchPattern
with replacePattern
.
replace
in interface Argument
counter
- number of matches so faroccurance
- number of matches to act onsearchPattern
- pattern for matchingreplacePattern
- pattern for replacing matched pattern with
ArgumentException
- if creation failedpublic final void getSearchParents(Enumerator counter, int occurance, Argument searchPattern) throws FoundException
Argument
occurrence
-th
occurence of searchPattern
.
getSearchParents
in interface Argument
counter
- number of matches so farsearchPattern
- pattern for matching
FoundException
- if creation succededpublic final void getReplacementParents(Enumerator counter, int occurance, Argument searchPattern, Argument replacePattern) throws FoundException, ArgumentException
Argument
occurrence
-th
occurence of searchPattern
replaced by
replacementPattern
.
getReplacementParents
in interface Argument
counter
- number of matches so farsearchPattern
- pattern for matchingreplacePattern
- replacement pattern
FoundException
- if creation succeded
ArgumentException
public final Argument replaceMatches(Argument searchPattern, Argument replacePattern) throws ArgumentException
Argument
searchPattern
with
replacePattern
.
replaceMatches
in interface Argument
searchPattern
- pattern for matchingreplacePattern
- pattern for replacing matched pattern with
ArgumentException
- if creation failedpublic final boolean matches(Argument pattern, PatternVariables variables) throws IllegalArgumentException
Argument
pattern
?
For example: "A1 n A1" matches the pattern "@0 n @1" with resulting
variables .
Be carefull, after an unsuccessful matching, some pattern
variables could have been found, so variables
might contain some filled pattern variables.
matches
in interface Argument
pattern
- argument build of pattern variablesvariables
- already known pattern variables
IllegalArgumentException
public final boolean matches(Argument pattern)
Argument
pattern
?
For example: "A1 n A1" matches the pattern "@0 n @1",
"A1 v A2 matches the pattern "A2".
matches
in interface Argument
pattern
- argument build of pattern variables
public boolean containsPatternVariables()
Argument
containsPatternVariables
in interface Argument
public PatternVariables getPatternVariables()
Argument
getPatternVariables
in interface Argument
public abstract Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
arguments
- with these arguments the operator should
be created
ArgumentException
- if creation failedpublic abstract String toString()
Argument
String
form.
toString
in interface Argument
public static final int getHighestNumber(Argument argument) throws ArgumentException
Counter
in this argument.
argument
- search this argument
ArgumentException
|
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. |