roast
Class AlphabeticArgType

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

public class AlphabeticArgType

extends roast.ArgType

An AlphabeticArgType determines whether a given string contains only alphabetic characters and has a length in a given range.

State variables

maxLength: maximum possible length of string

Constructor Summary

AlphabeticArgType(int maxLength0)
Creates a new instance.

Method Summary

boolean

isValid(java.lang.String s) Determines whether s is a valid alphabetic string with a valid length.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlphabeticArgType

public AlphabeticArgType(int maxLength0)

Creates a new instance.

Transitions

maxLength = maxLength0

Method Detail

isValid

public boolean isValid(java.lang.String s)

Determines whether s is a valid alphabetic string with a valid length.

Output

s is a string of alphabetic characters && |s| in [1..maxLength]