Tag(final Source source, final int begin, final int end, final String name) { super(source,begin,end); this.name=HTMLElements.getConstantElementName(name.toLowerCase()); }
/** * Returns the default value of whether an HTML block element of the specified name is indented. * <p> * See the {@link #setDefaultIndent(String htmlElementName, boolean indent)} method for a full description of this property. * * @param htmlElementName (required) the case insensitive name of a supported HTML block element. * @return the default value of whether an HTML block element of the specified name is indented. * @throws UnsupportedOperationException if an unsupported element name is specified. */ public static boolean isDefaultIndent(String htmlElementName) { htmlElementName=HTMLElements.getConstantElementName(htmlElementName.toLowerCase()); if (htmlElementName==HTMLElementName.LI) throw new UnsupportedOperationException(); return getAbstractBlockElementHandler(htmlElementName.toLowerCase()).isIndent(); }
htmlElementName=HTMLElements.getConstantElementName(htmlElementName.toLowerCase()); ELEMENT_HANDLERS.put(htmlElementName,getAbstractBlockElementHandler(htmlElementName).newTopMargin(topMargin));
htmlElementName=HTMLElements.getConstantElementName(htmlElementName.toLowerCase()); if (htmlElementName==HTMLElementName.LI) throw new UnsupportedOperationException(); ELEMENT_HANDLERS.put(htmlElementName,getAbstractBlockElementHandler(htmlElementName).newIndent(indent));
htmlElementName=HTMLElements.getConstantElementName(htmlElementName.toLowerCase()); ELEMENT_HANDLERS.put(htmlElementName,getAbstractBlockElementHandler(htmlElementName).newBottomMargin(bottomMargin));