public class Description
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
NOSOLO |
static int |
ONLYLATEX |
static int |
ONLYPLAIN |
Constructor and Description |
---|
Description(java.lang.String key,
DescriptionType descType,
java.lang.String section)
Creates a new description instance.
|
Description(java.lang.String key,
java.lang.String descType,
java.lang.String section)
Creates a new description instance.
|
Modifier and Type | Method and Description |
---|---|
void |
append(java.lang.String s) |
void |
append(java.lang.String asPlain,
java.lang.String asLatex)
Appends the two given strings each to the plain version and to the latex version.
|
void |
appendAsLatex(java.lang.String s)
Appends the given string to the latex version of the description.
|
void |
appendAsPlain(java.lang.String s)
Appends the given string to the plain version of the description.
|
void |
finish() |
java.lang.String |
finishText(java.lang.String text,
DescSourceType sourceType) |
java.lang.String |
getAsLatex() |
java.lang.String |
getAsPlain() |
DescriptionType |
getDescriptionType() |
java.lang.String |
getDescText(DescSourceType sourceType) |
java.lang.String |
getKey() |
java.lang.String |
getSection() |
boolean |
hasKey() |
boolean |
hasRuntime() |
boolean |
isOperation() |
boolean |
isSolo() |
boolean |
isTerm() |
boolean |
isText() |
boolean |
isType() |
void |
setHasRuntime() |
void |
setNoSolo() |
void |
setSolo(int solo) |
public static final int NOSOLO
public static final int ONLYPLAIN
public static final int ONLYLATEX
public Description(java.lang.String key, DescriptionType descType, java.lang.String section)
key
- the key of the descriptiondescType
- the type of the descriptionsection
- the key of the section which the description is part of.public Description(java.lang.String key, java.lang.String descType, java.lang.String section) throws HelpFileException
key
- the key of the descriptiondescType
- the type of the description coded as a string keysection
- the section which the description is part ofHelpFileException
- thrown, if the type key is invalidpublic java.lang.String getSection()
public DescriptionType getDescriptionType()
public java.lang.String getAsPlain()
public java.lang.String getAsLatex()
public void appendAsPlain(java.lang.String s)
s
- the string to appendpublic void appendAsLatex(java.lang.String s)
s
- the string to appendpublic void append(java.lang.String asPlain, java.lang.String asLatex)
asPlain
- the plain string to appendasLatex
- the latex string to appendpublic void setSolo(int solo)
public java.lang.String finishText(java.lang.String text, DescSourceType sourceType)
public void finish()
public void setNoSolo()
public boolean isSolo()
public void append(java.lang.String s)
public java.lang.String getDescText(DescSourceType sourceType)
public java.lang.String getKey()
public boolean hasKey()
public void setHasRuntime()
public boolean hasRuntime()
public boolean isText()
public boolean isTerm()
public boolean isOperation()
public boolean isType()