| java.lang.Object
 gnu.expr.ModuleManager
| ModuleManager | | public class ModuleManager (Code) | | A database of known modules as represented by
ModuleInfo ..
Current there is only a single global instanceof
ModuleManager ;
in the future each different "applications" may have their own.
|
| LAST_MODIFIED_CACHE_TIME | | final public static long LAST_MODIFIED_CACHE_TIME(Code) | | |
| lastModifiedCacheTime | | public long lastModifiedCacheTime(Code) | | Number millseconds before we re-check file's modified time.
|
| modules | | ModuleInfo modules(Code) | | Chain of all modules managed by this ModuleManager.
Linked together by ModuleInfo's next field.
|
| clear | | public void clear()(Code) | | Reset the set of known modules.
|
| getCompilationDirectory | | public String getCompilationDirectory()(Code) | | |
| getInstance | | public static ModuleManager getInstance()(Code) | | For now assumes a single global ModuleManager.
Later, might have multiple managers.
|
| register | | public void register(String moduleClass, String moduleSource, String moduleUri)(Code) | | Called by compiler-generated code.
The compiler generates in each package a class that extends
ModuleSet , and that contains a
ModuleSet.register(ModuleManager) method that calls
back to this method. This method then registers the specified module.
|
| setCompilationDirectory | | public void setCompilationDirectory(String path)(Code) | | |
|
|