PMII - JAVA-Packages - Principia Mathematica II

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

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

©left GNU General Public Licence
All Rights Reserved.