BCEL's class file verifier "JustIce"

de.fub.bytecode.verifier
Class TransitiveHull

java.lang.Object
  |
  +--de.fub.bytecode.verifier.TransitiveHull
All Implemented Interfaces:
VerifierFactoryObserver

public class TransitiveHull
extends java.lang.Object
implements VerifierFactoryObserver

This class has a main method implementing a demonstration program of how to use the VerifierFactoryObserver. It transitively verifies all class files encountered; this may take up a lot of time and, more notably, memory.

Version:
$Id: TransitiveHull.java,v 1.10 2001/09/16 16:38:01 ehaase Exp $
Author:
Enver Haase

Method Summary
static void main(java.lang.String[] args)
          This method implements a demonstration program of how to use the VerifierFactoryObserver.
 void update(java.lang.String classname)
          VerifierFactoryObserver instances are notified invoking this method.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

update

public void update(java.lang.String classname)
Description copied from interface: VerifierFactoryObserver
VerifierFactoryObserver instances are notified invoking this method. The String argument is the fully qualified class name of a class a new Verifier instance created by the VerifierFactory operates on.
Specified by:
update in interface VerifierFactoryObserver

main

public static void main(java.lang.String[] args)
This method implements a demonstration program of how to use the VerifierFactoryObserver. It transitively verifies all class files encountered; this may take up a lot of time and, more notably, memory.

(c) Enver Haase 2001, released under the FSF's "GPL version 2" license.