Interface Scanner.DiscreteListener

    • Method Detail

      • fileChanged

        void fileChanged​(java.lang.String filename)
                  throws java.lang.Exception
        Throws:
        java.lang.Exception
      • fileAdded

        void fileAdded​(java.lang.String filename)
                throws java.lang.Exception
        Throws:
        java.lang.Exception
      • fileRemoved

        void fileRemoved​(java.lang.String filename)
                  throws java.lang.Exception
        Throws:
        java.lang.Exception