Uses of Class com.meyling.principia.module.ModuleAddress (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

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

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.