htmlendtag.java

梦界家园程序开发基底框架

// HTMLParser Library v1.1 - A java-based parser for HTML
// Copyright (C) Dec 31, 2000 Somik Raha
//
// 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
//
// For any questions or suggestions, you can write to me at :
// Email :[e-mail]
//
// Postal Address :
// Somik Raha
// R&D Team
// Kizna Corporation
// Hiroo ON Bldg. 2F, 5-19-9 Hiroo,
// Shibuya-ku, Tokyo,
// 150-0012,
// JAPAN
// Tel  :  [phone]
// Fax : [phone]
// Website : www.kizna.com

package jm.util.html.tags;
import jm.util.html.HTMLNode;
/**
 * HTMLEndTag can identify closing tags, like </A>, </FORM>, etc.
 */
public class HTMLEndTag implements HTMLNode
{
	/**
	 * Holds the contents of the end tag
	 */
	String tagContents;
	/**
	 * Holds the beginning position of the tag
	 */
	int tagBegin;
	/**
	 * Holds the end position of the tag
	 */
	int tagEnd;
	/**
	 * Constructor takes 3 arguments to construct an HTMLEndTag object.
	 * @param tagBegin Beginning position of the end tag
	 * @param tagEnd Ending position of the end tag
	 * @param tagContents Text contents of the tag
	 */
	public HTMLEndTag(int tagBegin, int tagEnd, String tagContents)
	{
		// Initialize member variables with data provided inside the constructor
		this.tagBegin = tagBegin;
		this.tagEnd = tagEnd;
		this.tagContents = tagContents;
	}
	/**
	 * Return the beginning position of the tag
	 */
	public int elementBegin()
	{
		return tagBegin;
	}
	/**
	 * Return the ending position of the tag
	 */
	public int elementEnd()
	{
		return tagEnd;
	}
	/**
	 * Locate the end tag withing the input string, by parsing from the given position
	 * @param input Input String
	 * @param position Position to start parsing from
	 */
	public static HTMLNode find(String input,int position)
	{
		int state = 0;
		//String tagContents = "";
		StringBuffer tagContents = new StringBuffer();
		int tagBegin=0;
		int tagEnd=0;
		int inputLen = input.length();
		char ch;
		for (int i=position;(i<inputLen&& state!=3);i++)
		{
			ch = input.charAt(i);
			if (ch=='>' && state==2)
			{
				state = 3;
				tagEnd = i;
			}
			if (state==2)
			{
				//tagContents+=input.charAt(i);
				tagContents.append(ch);
			}
			if (state==1)
			{
				if (ch=='/')
				{
					state = 2;
				}
				else return null;
			}
			if (state==4)
			{
				//tagContents="";
				tagContents.setLength(0);
			}
			if (ch=='<' && (state==0 || state==4))
			{
				// Transition from State 0 to State 1 - Record data till > is encountered
				tagBegin = i;
				state = 1;
			}

		}
		if (state==3)
		return new HTMLEndTag(tagBegin,tagEnd,tagContents.toString());
		else return null;
	}
	/**
	 * Return the contents of the tag text
	 */
	public String getContents()
	{
		return tagContents;
	}
	/**
	 * Print the contents of the end tag
	 */
	public void print()
	{
		System.out.println("EndTag : "+tagContents+"; begins at : "+elementBegin()+"; ends at : "+elementEnd());
	}

  public String composeNode() {
    return "</" + getContents() + ">";
  }

        public String toString() {
          return "</" + tagContents + ">";
        }
}