edu.rice.cs.drjava.config
Class NonNegativeIntegerOption

java.lang.Object
  edu.rice.cs.drjava.config.OptionParser<T>
      edu.rice.cs.drjava.config.Option<Integer>
          edu.rice.cs.drjava.config.IntegerOption
              edu.rice.cs.drjava.config.NonNegativeIntegerOption

All Implemented Interfaces:

FormatStrategy<Integer>, ParseStrategy<Integer>

public class NonNegativeIntegerOption
extends IntegerOption

Class defining all configuration options with values of type NonNegativeInteger.

Version:

$Id: NonNegativeIntegerOption.java 4504 2008-06-03 06:19:20Z rcartwright $

Field Summary

Fields inherited from class edu.rice.cs.drjava.config.OptionParser

defaultValue, name

Constructor Summary

NonNegativeIntegerOption(String key, Integer def)

Method Summary

Integer

parse(String s) The ability to parse a string to an object of type T.

Methods inherited from class edu.rice.cs.drjava.config.Option

format, getDefaultString

Methods inherited from class edu.rice.cs.drjava.config.OptionParser

getDefault, getName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

NonNegativeIntegerOption

public NonNegativeIntegerOption(String key,
                                Integer def)

Parameters:

key - The name of this Option.

def - The default value for this option

Method Detail

parse

public Integer parse(String s)

Description copied from class: OptionParser

The ability to parse a string to an object of type T. All concrete versions of this class must override this method to provide some sort of parser implementation.

Specified by:

parse in interface ParseStrategy<Integer>

Overrides:

parse in class IntegerOption

Parameters:

s - The String to be parsed.

Returns:

The Integer object represented by "s".

Throws:

IllegalArgumentException - if "s" does not represent an non-negative integer value: only Strings that can be generated by the method NonNegativeInteger.toString() are supported.