Class 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.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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.