de.uka.ilkd.key.util

Class CommandLine.AdditionalHelpText

java.lang.Object

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

de.uka.ilkd.key.util.CommandLine.AdditionalHelpText

Enclosing class:

CommandLine

private class CommandLine.AdditionalHelpText
extends CommandLine.HelpElement

Text that should appear in usage pages. You can decide about the indentation of the text (beginning of line or description column).

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	description
private boolean	indentToDescriptionColumn

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AdditionalHelpText()

Method Summary

Modifier and Type	Method and Description
protected void	print(java.io.PrintStream ps, 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

indentToDescriptionColumn

private boolean indentToDescriptionColumn

Constructor Detail

AdditionalHelpText

private AdditionalHelpText()

Method Detail

print

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

Specified by:

print in class CommandLine.HelpElement