|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ModuleAddress | |
com.meyling.principia.module |
Uses of ModuleAddress in com.meyling.principia.module |
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 | |
String |
ModuleAddress.createRelativeAddress(ModuleAddress reference)
Create relative address from orgin to next . |
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. |
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. |
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |