CommandLine.AdditionalHelpTextSection (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.util.CommandLine.HelpElement
- - de.uka.ilkd.key.util.CommandLine.AdditionalHelpTextSection

private class CommandLine.AdditionalHelpTextSection
extends CommandLine.HelpElement

Prints section-headlines without any indent

Fields
Modifier and Type	Field and Description
`private String`	`text`

Constructors
Modifier	Constructor and Description
`private`	`AdditionalHelpTextSection()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`print(PrintStream ps, int descriptionCol)`

Constructor Detail
- AdditionalHelpTextSection
```
private AdditionalHelpTextSection()
```

protected void print(PrintStream ps,
                     int descriptionCol)

Class CommandLine.AdditionalHelpTextSection