de.uka.ilkd.key.util

Class CommandLine.HelpElement

java.lang.Object

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

Direct Known Subclasses:

CommandLine.AdditionalHelpText, CommandLine.AdditionalHelpTextParts, CommandLine.AdditionalHelpTextSection, CommandLine.Option

Enclosing class:

CommandLine

private abstract static class CommandLine.HelpElement
extends java.lang.Object

Help elements are messages which can appear in usage pages, here: Options and AdditionalHelpTexts.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	HelpElement()

Method Summary

Modifier and Type	Method and Description
protected abstract 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

Constructor Detail

HelpElement

private HelpElement()

Method Detail

print

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