|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ModuleAddress | |
com.meyling.principia.html | |
com.meyling.principia.module |
Uses of ModuleAddress in com.meyling.principia.html |
Constructors in com.meyling.principia.html with parameters of type ModuleAddress | |
Module2JHtml(ModuleAddress moduleAddress)
Constructor. |
Uses of ModuleAddress in com.meyling.principia.module |
Methods in com.meyling.principia.module that return ModuleAddress | |
ModuleAddress |
Module.getModuleAddress()
Get the ModuleAddress where this module is from. |
(package private) static ModuleAddress[] |
ModuleAddress.getModulePaths(Module module,
Specification spec)
Get all potential module addresses from a module specifiaction. |
ModuleAddress |
ModuleProperties.getModuleAddress()
Get ModuleAddress of module. |
Methods in com.meyling.principia.module with parameters of type ModuleAddress | |
void |
Module.setModuleAddress(ModuleAddress moduleAddress)
Set the URL where this module is from. |
String |
ModuleAddress.createRelativeAddress(ModuleAddress reference)
Create relative address from orgin to next . |
Module |
ModuleContext.loadModule(ModuleAddress moduleAddress)
Get a certain module. |
(package private) void |
ModuleContext.moduleCheckStarted(ModuleAddress moduleAddress)
|
Constructors in com.meyling.principia.module with parameters of type ModuleAddress | |
Module(Argument[] arguments,
ModuleAddress moduleAddress)
Constructs a module and verifies it. |
|
ModuleAddress(String address,
ModuleAddress parent)
Constructor. |
|
ModuleAddress(ModuleAddress oldAddress,
Name name,
Version moduleVersion,
Version ruleVersion)
Constructor. |
|
ModuleProperties(ModuleAddress address)
Creates new module properties. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |