📄 styletag.java
字号:
// HTMLParser Library $Name: v1_6 $ - A java-based parser for HTML// http://sourceforge.org/projects/htmlparser// Copyright (C) 2004 Somik Raha//// Revision Control Information//// $Source: /cvsroot/htmlparser/htmlparser/src/org/htmlparser/tags/StyleTag.java,v $// $Author: derrickoswald $// $Date: 2004/02/29 14:16:27 $// $Revision: 1.35 $//// This library is free software; you can redistribute it and/or// modify it under the terms of the GNU Lesser General Public// License as published by the Free Software Foundation; either// version 2.1 of the License, or (at your option) any later version.//// This library is distributed in the hope that it will be useful,// but WITHOUT ANY WARRANTY; without even the implied warranty of// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU// Lesser General Public License for more details.//// You should have received a copy of the GNU Lesser General Public// License along with this library; if not, write to the Free Software// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA//package org.htmlparser.tags;import org.htmlparser.scanners.StyleScanner;/** * A StyleTag represents a <style> tag. */public class StyleTag extends CompositeTag{ /** * The set of names handled by this tag. */ private static final String[] mIds = new String[] {"STYLE"}; /** * The set of end tag names that indicate the end of this tag. */ private static final String[] mEndTagEnders = new String[] {"BODY", "HTML"}; /** * Create a new style tag. */ public StyleTag () { setThisScanner (new StyleScanner ()); } /** * Return the set of names handled by this tag. * @return The names to be matched that create tags of this type. */ public String[] getIds () { return (mIds); } /** * Return the set of end tag names that cause this tag to finish. * @return The names of following end tags that stop further scanning. */ public String[] getEndTagEnders () { return (mEndTagEnders); } /** * Get the style data in this tag. * @return The HTML of the children of this tag. */ public String getStyleCode () { return (getChildrenHTML ()); } /** * Print the contents of the style node. * @return A string suitable for debugging or a printout. */ public String toString() { String guts; StringBuffer ret; ret = new StringBuffer (); guts = toHtml (); guts = guts.substring (1, guts.length () - 1); ret.append ("Style node :\n"); ret.append (guts); ret.append ("\n"); return (ret.toString ()); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -