Uses of Class
com.meyling.principia.module.ModuleAddress

Packages that use ModuleAddress

com.meyling.principia.module

Uses of ModuleAddress in com.meyling.principia.module

Fields in com.meyling.principia.module declared as ModuleAddress

private ModuleAddress

Module.moduleAddress URL where this module is located

Methods in com.meyling.principia.module that return ModuleAddress

(package private) static ModuleAddress[]	ModuleAddress.getModulePaths(Module module, Specification spec) Get all potential module addresses from a module specifiaction.
ModuleAddress	Module.getModuleAddress() Get the ModuleAddress where this module is from.

Methods in com.meyling.principia.module with parameters of type ModuleAddress

void	Module.setModuleAddress(ModuleAddress moduleAddress) Set the URL where this module is from.
static Module	ModuleContext.loadModule(ModuleAddress moduleAddress) Get a certain module.
static Module	ModuleContext.loadLocalModule(ModuleAddress moduleAddress) Load a module.
private static boolean	ModuleContext.makeLocalCopy(ModuleAddress moduleAddress) Make local copy of a module.

Constructors in com.meyling.principia.module with parameters of type ModuleAddress

ModuleAddress(String address, ModuleAddress parent)
Constructor.

ModuleAddress(ModuleAddress oldAddress, Name name, Version moduleVersion, Version ruleVersion)
Constructor.

Module(Argument[] arguments, ModuleAddress moduleAddress)
Constructs a module and verifies it.