Class TransitiveHull

  • All Implemented Interfaces:
    VerifierFactoryObserver

    public class TransitiveHull
    extends 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.
    • Method Detail

      • update

        public void update​(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​(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.