📄 text.java
字号:
// HTMLParser Library $Name: v1_6_20060319 $ - A java-based parser for HTML// http://sourceforge.org/projects/htmlparser// Copyright (C) 2004 Derrick Oswald//// Revision Control Information//// $Source: /cvsroot/htmlparser/htmlparser/src/org/htmlparser/Text.java,v $// $Author: derrickoswald $// $Date: 2005/11/15 02:09:10 $// $Revision: 1.4 $//// 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;/** * This interface represents a piece of the content of the HTML document. */public interface Text extends Node{ /** * Accesses the textual contents of the node. * @return The text of the node. * @see #setText */ String getText (); /** * Sets the contents of the node. * @param text The new text for the node. * @see #getText */ void setText (String text); // // Node interface //// public void accept (NodeVisitor visitor)// {// }//// public void collectInto (.NodeList collectionList, NodeFilter filter)// {// }//// public void doSemanticAction () throws ParserException// {// }//// public NodeList getChildren ()// {// }//// public int getEndPosition ()// {// }//// public Node getParent ()// {// }//// public int getStartPosition ()// {// }//// public String getText ()// {// }//// public void setChildren (NodeList children)// {// }//// public void setEndPosition (int position)// {// }//// public void setParent (Node node)// {// }//// public void setStartPosition (int position)// {// }//// public void setText (String text)// {// }//// public String toHtml ()// {// }//// public String toPlainTextString ()// {// }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -