|
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. |