korat.config
Class MyOption

java.lang.Object
  org.apache.commons.cli.Option
      korat.config.MyOption

All Implemented Interfaces:

Cloneable

public class MyOption
extends Option

Just like org.apache.commons.cli.Option with default value for the option's argument in addition.

Author:

Aleksandar Milicevic

Field Summary

protected String

argDefValue

Fields inherited from class org.apache.commons.cli.Option

UNINITIALIZED, UNLIMITED_VALUES

Constructor Summary

MyOption(String opt, String longOpt, String description, boolean isRequired, boolean hasArg, String argName, String argDefValue)

Method Summary

Object	clone()
String	getSwitches()
String	toString()

Methods inherited from class org.apache.commons.cli.Option

addValue, getArgName, getArgs, getDescription, getId, getLongOpt, getOpt, getType, getValue, getValue, getValue, getValues, getValueSeparator, getValuesList, hasArg, hasArgName, hasArgs, hasLongOpt, hasOptionalArg, isRequired, setArgName, setArgs, setLongOpt, setOptionalArg, setRequired, setType, setValueSeparator

Methods inherited from class java.lang.Object

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

Field Detail

argDefValue

protected String argDefValue

Constructor Detail

MyOption

public MyOption(String opt,
                String longOpt,
                String description,
                boolean isRequired,
                boolean hasArg,
                String argName,
                String argDefValue)
         throws IllegalArgumentException

Throws:

IllegalArgumentException

Method Detail

clone

public Object clone()

Overrides:

clone in class Option

toString

public String toString()

Overrides:

toString in class Option

getSwitches

public String getSwitches()