de.uka.ilkd.key.util

Class CommandLine.AdditionalHelpTextSection

java.lang.Object

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

de.uka.ilkd.key.util.CommandLine.AdditionalHelpTextSection

Enclosing class:

CommandLine

private class CommandLine.AdditionalHelpTextSection
extends CommandLine.HelpElement

Prints section-headlines without any indent

Author:

sarah

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	text

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AdditionalHelpTextSection()

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

text

private java.lang.String text

Constructor Detail

AdditionalHelpTextSection

private AdditionalHelpTextSection()

Method Detail

print

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

Specified by:

print in class CommandLine.HelpElement