public class HeaderElement extends WrapElement
e, paramString, wrapString
Constructor and Description |
---|
HeaderElement(int headLevel,
Element e)
Construct a header
|
HeaderElement(int headLevel,
java.lang.String s)
Construct a header
|
generate, getElement, setElement
public HeaderElement(int headLevel, Element e)
headLevel
- the level of the header (should be a small
integer)e
- the element in the headerjava.lang.IllegalArgumentException
- headLevel was invalidpublic HeaderElement(int headLevel, java.lang.String s)
headLevel
- the level of the header (should be a small
integer)s
- the string in the headerjava.lang.IllegalArgumentException
- headLevel was invalidCopyright (C) BBNT Solutions LLC; See http://openmap.bbn.com/ for details