sjm.parse.chars
Class Digit

java.lang.Object
  |
  +--sjm.parse.Parser
        |
        +--sjm.parse.Terminal
              |
              +--sjm.parse.chars.Digit

public class Digit
extends Terminal

A Digit matches a digit from a character assembly.

Version:
1.0
Author:
Steven J. Metsker

Fields inherited from class sjm.parse.Terminal
discard
 
Fields inherited from class sjm.parse.Parser
assembler, name
 
Constructor Summary
Digit()
           
 
Method Summary
 boolean qualifies(java.lang.Object o)
          Returns true if an assembly's next element is a digit.
 java.util.Vector randomExpansion(int maxDepth, int depth)
          Create a set with one random digit.
 java.lang.String unvisitedString(java.util.Vector visited)
          Returns a textual description of this parser.
 
Methods inherited from class sjm.parse.Terminal
accept, discard, match, matchOneAssembly, setDiscard
 
Methods inherited from class sjm.parse.Parser
accept, add, best, bestMatch, completeMatch, elementClone, getName, matchAndAssemble, randomInput, setAssembler, toString, toString
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Digit

public Digit()
Method Detail

qualifies

public boolean qualifies(java.lang.Object o)
Returns true if an assembly's next element is a digit.
Overrides:
qualifies in class Terminal
Parameters:
object - an element from an assembly
Returns:
true, if an assembly's next element is a digit

randomExpansion

public java.util.Vector randomExpansion(int maxDepth,
                                        int depth)
Create a set with one random digit.
Overrides:
randomExpansion in class Terminal

unvisitedString

public java.lang.String unvisitedString(java.util.Vector visited)
Returns a textual description of this parser.
Overrides:
unvisitedString in class Terminal
Parameters:
vector - a list of parsers already printed in this description
Returns:
string a textual description of this parser
See Also:
Parser.toString()