// Upgrader.java
// $Id: Upgrader.java,v 1.2 1997/01/15 14:58:45 abaird Exp $
// (c) COPYRIGHT MIT and INRIA, 1996.
// Please first read the full copyright statement in file COPYRIGHT.html

package w3c.jigsaw.upgrade;

/**
 * Interface for upgraders from one version to another.
 */

public interface Upgrader {

    public void upgrade(String args[])
	throws UpgradeException;

}
