public abstract class OptionTagsHeader extends Header
Modifier | Constructor and Description |
---|---|
protected |
OptionTagsHeader(Header hd)
Creates a new OptionTagsHeader.
|
protected |
OptionTagsHeader(java.lang.String header,
java.lang.String option_tag)
Creates a new OptionTagsHeader.
|
protected |
OptionTagsHeader(java.lang.String header,
java.lang.String[] option_tags)
Creates a new OptionTagsHeader.
|
protected |
OptionTagsHeader(java.lang.String header,
java.util.Vector option_tags)
Creates a new OptionTagsHeader.
|
Modifier and Type | Method and Description |
---|---|
void |
addOptionTag(java.lang.String option_tag)
Adds an option-tag.
|
java.util.Vector |
getAllOptionTags()
Gets all option-tags.
|
boolean |
hasOptionTag(java.lang.String option_tag)
Whether a given option-tag is present.
|
protected OptionTagsHeader(java.lang.String header, java.util.Vector option_tags)
option_tags
- Vector (of String
) of option-tags.protected OptionTagsHeader(java.lang.String header, java.lang.String[] option_tags)
option_tags
- array of option-tags.protected OptionTagsHeader(java.lang.String header, java.lang.String option_tag)
option_tag
- a single option-tag or a comma-separated list of option-tags.protected OptionTagsHeader(Header hd)