Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.