generatedclassloader.java

很棒的web服务器源代码

// GeneratedClassLoader.java
// $Id: GeneratedClassLoader.java,v 1.4 2000/08/16 21:37:42 ylafon Exp $
// (c) COPYRIGHT MIT and INRIA, 1998.
// Please first read the full copyright statement in file COPYRIGHT.html

package org.w3c.jigsaw.pagecompile;

import java.io.BufferedInputStream;
import java.io.ByteArrayOutputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.FilterInputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.PrintStream;

import java.net.MalformedURLException;
import java.net.URL;
import java.net.URLConnection;

import java.util.Hashtable;

class ClassEntry {

    long   classStamp   = 0;
    Class  generatedClass = null;
    File   classFile    = null;
    boolean systemClass = false;

    public boolean isModified() {
	if (! systemClass)
	    return (classFile.lastModified() > classStamp);
	return false;
    }

    public void update() {
	if (! systemClass)
	    classStamp   = classFile.lastModified();
    }

    public ClassEntry(Class generatedClass) {
	this.generatedClass = generatedClass;
	this.systemClass  = true;
    }

    public ClassEntry (File classFile, Class generatedClass)
    {
	this.classFile    = classFile;
	this.generatedClass = generatedClass;
	if (classFile != null)
	    this.classStamp   = classFile.lastModified();
	this.systemClass  =  false;
    }

}

/**
 * @version $Revision: 1.4 $
 * @author  Beno顃 Mah