public class RequireHeader extends OptionTagsHeader
Constructor and Description |
---|
RequireHeader(Header hd)
Creates a new RequireHeader.
|
RequireHeader(java.lang.String option_tag)
Creates a new RequireHeader.
|
RequireHeader(java.lang.String[] option_tags)
Creates a new RequireHeader.
|
RequireHeader(java.util.Vector option_tags)
Creates a new RequireHeader.
|
addOptionTag, getAllOptionTags, hasOptionTag
public RequireHeader(java.util.Vector option_tags)
option_tags
- Vector (of String
) of option-tags.public RequireHeader(java.lang.String[] option_tags)
option_tags
- array of option-tags.public RequireHeader(java.lang.String option_tag)
option_tag
- a single option-tag or a comma-separated list of option-tags.public RequireHeader(Header hd)