org.activemath.omdocjdom
Class OJUtilities.NameAndNamespace

java.lang.Object
  org.activemath.omdocjdom.OJUtilities.NameAndNamespace

Enclosing class:

OJUtilities

public static class OJUtilities.NameAndNamespace
extends Object

A simple class to contain a record of a name and a namespace.

Field Summary

String	name
org.jdom.Namespace	namespace

Constructor Summary

OJUtilities.NameAndNamespace(String name)

OJUtilities.NameAndNamespace(String name, org.jdom.Namespace namespace)

Method Summary

static OJUtilities.NameAndNamespace[]

makeStraight(String[] names)

Methods inherited from class java.lang.Object

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

Field Detail

name

public final String name

namespace

public final org.jdom.Namespace namespace

Constructor Detail

OJUtilities.NameAndNamespace

public OJUtilities.NameAndNamespace(String name)

OJUtilities.NameAndNamespace

public OJUtilities.NameAndNamespace(String name,
                                    org.jdom.Namespace namespace)

Method Detail

makeStraight

public static final OJUtilities.NameAndNamespace[] makeStraight(String[] names)