roast
Class AnyArgType

java.lang.Object
  |
  +--roast.ArgType
        |
        +--roast.AnyArgType

public class AnyArgType
extends roast.ArgType

An AnyArgType determines whether a given string has a length in a given range.

State variables
maxLength: maximum possible length of string


Constructor Summary
AnyArgType(int maxLength0)
          Creates a new instance.
 
Method Summary
 boolean isValid(java.lang.String s)
          Determines whether s has a valid length.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AnyArgType

public AnyArgType(int maxLength0)
Creates a new instance.
Transitions
maxLength = maxLength0
Method Detail

isValid

public boolean isValid(java.lang.String s)
Determines whether s has a valid length.
Output
|s| in [1..maxLength]