de.uka.ilkd.key.util

Class CommandLine.Option

java.lang.Object

de.uka.ilkd.key.util.CommandLine.HelpElement

de.uka.ilkd.key.util.CommandLine.Option

Enclosing class:

CommandLine

private class CommandLine.Option
extends CommandLine.HelpElement

Option is a data-only structure to capture a single cmd-line option, its description as well as its value, if set. It carries also the information for printing the usage message. Additional help text which does not belong to this option directly may be referenced to by the option.

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	description
private java.lang.String	image
private java.lang.String	parameter
private java.lang.String	value

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Option()

Method Summary

Modifier and Type	Method and Description
protected void	print(java.io.PrintStream stream, int descriptionCol)

Methods inherited from class java.lang.Object

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

Field Detail

description

private java.lang.String description

image

private java.lang.String image

value

private java.lang.String value

parameter

private java.lang.String parameter

Constructor Detail

Option

private Option()

Method Detail

print

protected void print(java.io.PrintStream stream,
                     int descriptionCol)

Specified by:

print in class CommandLine.HelpElement