|
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
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 |
|
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
com.meyling.principia.argument.Argument
public abstract Argument getArgument(int i) throws IllegalArgumentException
Argument
getArgument
in interface Argument
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 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
equals
in class Object
com.meyling.principia.argument.Argument
object
- to compare withobject
equal to this one?public int hashCode()
Argument
hashCode
in interface Argument
hashCode
in class Object
com.meyling.principia.argument.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
com.meyling.principia.argument.Argument
search
- check for occurrence of thisreplacement
- replace with thisArgumentException
- if creation failedpublic final Argument replace(PatternVariables variables) throws ArgumentException
Argument
variables
with its content.replace
in interface Argument
com.meyling.principia.argument.Argument
variables
- List of (filled) pattern variablesvariables
) are replaced with
its contentArgumentException
- 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
com.meyling.principia.argument.Argument
counter
- number of matches so faroccurrence
- number of matches to act onsearchPattern
- pattern for matchingreplacePattern
- pattern for replacing matched pattern withArgumentException
- if creation failedpublic final void getSearchParents(Enumerator counter, int occurance, Argument searchPattern) throws FoundException
Argument
occurrence
-th
occurence of searchPattern
.getSearchParents
in interface Argument
com.meyling.principia.argument.Argument
counter
- number of matches so faroccurrence
- number of matches to act onsearchPattern
- pattern for matchingFoundException
- 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
com.meyling.principia.argument.Argument
counter
- number of matches so faroccurrence
- number of matches to act onsearchPattern
- pattern for matchingreplacementPattern
- replacement patternFoundException
- if creation succededpublic final Argument replaceMatches(Argument searchPattern, Argument replacePattern) throws ArgumentException
Argument
searchPattern
with
replacePattern
.replaceMatches
in interface Argument
com.meyling.principia.argument.Argument
searchPattern
- pattern for matchingreplacePattern
- pattern for replacing matched pattern withArgumentException
- 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 {@0(A1), @1(A1)}.
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
com.meyling.principia.argument.Argument
pattern
- argument build of pattern variablesvariables
- already known pattern variablespublic 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
com.meyling.principia.argument.Argument
pattern
- argument build of pattern variablespublic boolean containsPatternVariables()
Argument
containsPatternVariables
in interface Argument
public PatternVariables getPatternVariables()
Argument
getPatternVariables
in interface Argument
com.meyling.principia.argument.Argument
public abstract Argument create(Argument[] arguments) throws ArgumentException
Argument
create
in interface Argument
com.meyling.principia.argument.Argument
arguments
- with these arguments the operator should
be createdArgumentException
- if creation failedpublic abstract String toString()
Argument
String
form.toString
in interface Argument
toString
in class Object
com.meyling.principia.argument.Argument
public static final int getHighestNumber(Argument argument) throws ArgumentException
Counter
in this argument.argument
- search this 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. |