com.meyling.principia.argument
Interface CounterMarker

All Superinterfaces:

Argument

All Known Implementing Classes:

Counter, PatternVariable, BasicPatternVariable

public interface CounterMarker

extends Argument

An object of this class represents a number. Its name would have been Number if this class wouldn't exist in java.lang.

Version:

$Revision: 1.3 $

Author:

Michael Meyling

Method Summary

int	getNumber() Get number of object.

Methods inherited from interface com.meyling.principia.argument.Argument

containsPatternVariables, copy, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString

Method Detail

getNumber

public int getNumber()

Get number of object.

Returns:

number, this value is >= 0