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.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int indent
      Used for indentation.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private TransitiveHull()
      Not publicly instantiable.
    • 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
    • Field Detail

      • indent

        private int indent
        Used for indentation.
    • Constructor Detail

      • TransitiveHull

        private TransitiveHull()
        Not publicly instantiable.
    • Method Detail

      • 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.
      • 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