de.uka.ilkd.key.util

Class CommandLine.AdditionalHelpTextParts

java.lang.Object

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

de.uka.ilkd.key.util.CommandLine.AdditionalHelpTextParts

Enclosing class:

CommandLine

private class CommandLine.AdditionalHelpTextParts
extends CommandLine.HelpElement

Text that should appear in usage pages. If an external help option/command with description should appear in helptext and printed similar to internal options

Field Summary

Fields

Modifier and Type	Field and Description
private String	command
private String	description
private boolean	indentToDescriptionColumn

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AdditionalHelpTextParts()

Method Summary

Modifier and Type	Method and Description
protected void	print(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 String description

command

private String command

indentToDescriptionColumn

private boolean indentToDescriptionColumn

Constructor Detail

AdditionalHelpTextParts

private AdditionalHelpTextParts()

Method Detail

print

protected void print(PrintStream ps,
                     int descriptionCol)

Specified by:

print in class CommandLine.HelpElement