public class Namespace extends Object
| Constructor and Description |
|---|
Namespace()
Constructor
|
Namespace(Namespace parent)
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
Namespace |
getParent()
Return the parent Namespace of this space.
|
String |
toString() |
String |
uniqueName(String base)
Create a uniqueName name in the namespace in the form base$n where n varies .
|
public Namespace()
public Namespace(Namespace parent)
parent - parent name spacepublic Namespace getParent()
public String uniqueName(String base)
base - Base of name. Base will be returned if uniqueName.