public class Heading
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static Heading |
ACTIVATION |
Heading for category of functions available only for activation.
|
static Heading[] |
ALL_HEADINGS |
Array containing all known heading instances.
|
static Heading |
GENERAL |
Heading for general category of functions.
|
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getDescription() |
Returns HTML description string.
|
java.lang.String |
getDocSuffix() |
Returns unique text suitable for forming a filename.
|
java.lang.String |
getUserString() |
Returns heading text.
|
java.lang.String |
toString() |
public static final Heading GENERAL
public static final Heading ACTIVATION
public static final Heading[] ALL_HEADINGS
public java.lang.String getUserString()
public java.lang.String getDocSuffix()
public java.lang.String getDescription()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2018 Central Laboratory of the Research Councils. All Rights Reserved.