Package gnu.expr

Class ModuleManager

java.lang.Object
gnu.expr.ModuleManager

public class ModuleManager extends Object
A database of known modules as represented by ModuleInfo. Currently there is only a single global instance of ModuleManager; in the future each different "application" may have their own.
  • Field Details

    • interactiveClassPrefix

      public static final String interactiveClassPrefix
      See Also:
    • evalClassPrefix

      public String evalClassPrefix
    • LAST_MODIFIED_CACHE_TIME

      public static final long LAST_MODIFIED_CACHE_TIME
      See Also:
    • lastModifiedCacheTime

      public long lastModifiedCacheTime
      Number of milliseconds before we re-check file's modified time.
  • Constructor Details

    • ModuleManager

      public ModuleManager()
  • Method Details