hmi.xml
Class XMLNameSpace

java.lang.Object
  hmi.xml.XMLNameSpace

public final class XMLNameSpace
extends Object

XMLNameSpace defines an XML name space, together with a short abbreviating label.

Author:

Job Zwiers

Field Summary

private String	namespace
private String	prefix

Constructor Summary

private	XMLNameSpace()
	XMLNameSpace(String namespace) XMLnamespace with (only) the full namespace String defined
	XMLNameSpace(String prefix, String namespace) XMLnamespace with a namespace label as well as the full namespace String

Method Summary

String	getNamespace() return the full namespace String
String	getPrefix() Return the abbreviating label for this namespace, which could be null
void	setPrefix(String prefix) Set the abbreviating label for this namespace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

namespace

private String namespace

prefix

private String prefix

Constructor Detail

XMLNameSpace

private XMLNameSpace()

XMLNameSpace

public XMLNameSpace(String namespace)

XMLnamespace with (only) the full namespace String defined

XMLNameSpace

public XMLNameSpace(String prefix,
                    String namespace)

XMLnamespace with a namespace label as well as the full namespace String

Method Detail

setPrefix

public void setPrefix(String prefix)

Set the abbreviating label for this namespace

getNamespace

public String getNamespace()

return the full namespace String

getPrefix

public String getPrefix()

Return the abbreviating label for this namespace, which could be null