useindenter.java.bak

java语言实现的消息过滤器的实现

import com.ms.xml.ParseException;
import com.ms.xml.Document;
import com.ms.xml.Element;

import java.util.Enumeration;
import java.awt.*;
import java.net.*;
import java.applet.Applet;

public class useIndenter extends Applet
{
	Button button1;
    	static String filename;    
    	static String displayStrings[] = new String[100];
    	static int numberDisplayLines = 0;
    	public static void main(String args[])
    	{
        	indenterFrame frame = new indenterFrame("The indent application");
        	frame.show();
        	frame.hide();
        	//确定窗口大小
        	frame.resize(400, 400);
        	indenter applet = new indenter();
        	frame.add("Center", applet);
        	applet.init();
        	applet.start();
        	frame.show();
    	}

    	public void init()
    	{
        	button1 = new Button("IndentBrowse");
        	add(button1);
    	}

    	public boolean action (Event e, Object o)
    	{
        	URL url;
        	try 
        	{
        		//使用用户自己建立文件所在路径
            		url = new URL("file:////c://xml//useIndenter//useIndenter.xml");
        	} 
        	catch (MalformedURLException e1) 
        	{
            		System.out.println("Cannot create URL for: " + filename);
            		System.exit(0);
        	}
        	Document d = new Document(); 
        	try 
        	{
        		//加载文件
            		d.load(url);
        	} 
        	catch (ParseException e3) 
        	{
            		d.reportError(e3, System.out);
        	}
        	if (d != null) 
        	{
            		doTree(d.getRoot(), "");
            		//绘制图形
            		repaint();
        	}
            	return true;
    	}

    	void doTree(Element elem, String indent)
    	{
        	String indt = "";
        	Enumeration enum = elem.getChildren();
        	while (enum.hasMoreElements()) 
        	{
            		Element elem2 = (Element)enum.nextElement();
            		if(elem2.getType() != com.ms.xml.Element.ELEMENT)
            		{
                		displayStrings[numberDisplayLines++] = indent + elem2.getText();
            		}
            		else
            		{
                		if(elem2.getTagName().equals("INDENTDOUBLE"))
                		{
                    			indt = indent + "    ";
                		}
                		if(elem2.getTagName().equals("INDENT"))
                		{
                    			indt = indent + "  ";
                		}
                		doTree(elem2, ind);
            		}
        	}
    	}

    	public void paint(Graphics g)
    	{
        	int y = 0;
        	FontMetrics fontmetrics = getFontMetrics(getFont());
        	for(int i= 0; i< numberDisplayLines; i++)
        	{
            		y += fontmetrics.getHeight();
            		g.drawString(displayStrings[i], 0, y);
        	}
    	}
}    

class indenterFrame extends Frame
{
    	public indenterFrame(String str)
    	{
        	super (str);
    	}
    	public boolean handleEvent(Event evt)
	{		
		if(evt.id==Event.WINDOW_DESTROY)
		{
			dispose();
			System.exit(0);
			return true;
		}
		else
			return super.handleEvent(evt);		
	}
}