Continued with crawler:

[hub.git] / application / hub / interfaces / source / urls / class_UrlSource.php

diff --git a/application/hub/interfaces/source/urls/class_UrlSource.php b/application/hub/interfaces/source/urls/class_UrlSource.php
index e95634b5c318788067200b97ffc0d1c2709ed84a..6a4a04677cad97a86ff9d64c8603ccbb0e372373 100644 (file)
--- a/application/hub/interfaces/source/urls/class_UrlSource.php
+++ b/application/hub/interfaces/source/urls/class_UrlSource.php
@@ -23,11 +23,18 @@
  */
 interface UrlSource extends Source {
        /**
-        * Processes entries in the stack.
+        * Fills the URL stack with new entries from source
         *
         * @return      void
         */
-       function processStack ();
+       function fillUrlStack ();
+
+       /**
+        * Determines whether the stack 'urls' is empty.
+        *
+        * @return      $isEmpty        Whether the stack 'urls' is empty.
+        */
+       function isUrlStackEmpty ();
 }
 
 // [EOF]