|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.module.ModuleAddress
An object of this class represents an address for a module.
Constructor Summary | |
ModuleAddress(ModuleAddress oldAddress,
Name name,
Version moduleVersion,
Version ruleVersion)
Constructor. |
|
ModuleAddress(String address)
Constructor. |
|
ModuleAddress(String address,
ModuleAddress parent)
Constructor. |
Method Summary | |
String |
createRelativeAddress(ModuleAddress reference)
Create relative address from orgin to next . |
static String |
createRelativeAddress(String orgin,
String next)
Create relative address from orgin to next . |
boolean |
equals(Object object)
|
String |
getAddress()
Get module address. |
String |
getFileName()
Get name of module including version information and postfix. |
String |
getGeneratedName()
Transform an URL address into a local file path where a generated module could saved. |
String |
getGeneratedName(String ending)
Transform an URL address into a local file path where a generated module or document could be saved. |
String |
getHeader()
Get address header (including protocol, host, port, user) but without file path. |
String |
getLocalName()
Transform an URL address into a local file path where a module could be buffered. |
static String |
getLocalName(String address)
Transform an URL address into a local file path where a module could be buffered |
static String |
getModuleFileName(Specification spec)
Get the file name of the specified module. |
static String |
getModuleFileName(String address)
Get the file name of an module without path and protokoll. |
(package private) static ModuleAddress[] |
getModulePaths(Module module,
Specification spec)
Get all potential module addresses from a module specifiaction. |
Version |
getModuleVersion()
Get version of module. |
Name |
getName()
Get name of module (without version information and postfix). |
String |
getPath()
Get address path (without protocol, host, port and file name). |
Version |
getRuleVersion()
Get rule version of module. |
URL |
getURL()
Get fully qualified URL of module. |
int |
hashCode()
|
boolean |
isFileAddress()
|
boolean |
isRelativeAddress()
Was this module address created relativly? |
static String |
newEnding(String address,
String newEnding)
Get module address with new ending. |
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ModuleAddress(String address, ModuleAddress parent) throws IOException
address
- address of moduleparent
- address of parent module
IOException
- if address is formaly incorrectpublic ModuleAddress(String address) throws IOException
address
- address of module
IOException
- if address is formaly incorrectpublic ModuleAddress(ModuleAddress oldAddress, Name name, Version moduleVersion, Version ruleVersion) throws IOException
IOException
- if address is formaly incorrectMethod Detail |
public final String getAddress()
public final String getHeader()
public final String getPath()
public final String getFileName()
public final Name getName()
public final URL getURL()
public final Version getRuleVersion()
public final Version getModuleVersion()
public final boolean isRelativeAddress()
public final boolean isFileAddress()
public final String getLocalName()
address
.public final String getGeneratedName()
address
.public final String getGeneratedName(String ending)
ending
- new ending for document
address
.public final String createRelativeAddress(ModuleAddress reference)
orgin
to next
.
reference
- this should be the next location
public final String toString()
public final int hashCode()
public final boolean equals(Object object)
public static final String getModuleFileName(Specification spec)
spec
- here are the (perhaps relative) addresses to
another module
static final ModuleAddress[] getModulePaths(Module module, Specification spec) throws ArgumentException
module
- starting from that module (has an absolute
address)spec
- here are the (perhaps relative) addresses to
another module
ArgumentException
- if an URL is malformedpublic static final String getLocalName(String address) throws IOException
address
- an URL
address
IOException
- if address
contains no "://"public static final String getModuleFileName(String address) throws IOException
address
- an URL
address
IOException
- if that was no valid module addresspublic static final String createRelativeAddress(String orgin, String next)
orgin
to next
.
orgin
- this is the original location (URL!)next
- this should be the next location (URL!)
public static final String newEnding(String address, String newEnding)
address
- the address of somthing (e.g.: a module)newEnding
- this should be the new ending (e.g.: "html")
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |