com.meyling.principia.logic.basic
Class BasicSubjectVariablePatternVariable
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.PatternVariable
|
+--com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
- All Implemented Interfaces:
- Argument, Comparable, CounterMarker, SubjectVariableMarker
- public class BasicSubjectVariablePatternVariable
- extends PatternVariable
- implements SubjectVariableMarker
Pattern variable, for matching purposes.
- Version:
- $Revision: 1.4 $
- Author:
- Michael Meyling
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
equals, getHighestNumber, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
BasicSubjectVariablePatternVariable
public BasicSubjectVariablePatternVariable(Argument[] arguments)
throws ArgumentException
- Constructs a pattern variable.
- Parameters:
arguments
- first argument is number of this pattern
variable- Throws:
ArgumentException
- if there is not exactly one
argument that is an instance of Counter
BasicSubjectVariablePatternVariable
public BasicSubjectVariablePatternVariable(int number)
throws ArgumentException
- Constructs a pattern variable.
- Parameters:
number
- of this pattern variable- Throws:
ArgumentException
- if there couldn't be made a
Counter
out of number
getPatternVariables
public final PatternVariables getPatternVariables()
- Description copied from interface:
Argument
- Get all pattern variables that occur in this argument.
- Specified by:
getPatternVariables
in interface Argument
- Overrides:
getPatternVariables
in class AbstractArgument
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- all pattern variables
isMatching
public boolean isMatching(Argument argument)
- Is the argument matching the pattern variable?
Here true is returned if argument is an SubjectVariable.
- Overrides:
isMatching
in class PatternVariable
- Parameters:
argument
- argument to match pattern variable- Returns:
true
create
public final Argument create(Argument[] arguments)
throws ArgumentException
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Overrides:
create
in class PatternVariable
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
arguments
- with these arguments the operator should
be created- Returns:
- new constructed Argument
- Throws:
ArgumentException
- if creation failed
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Overrides:
toString
in class PatternVariable
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula