fr.inrialpes.exmo.align.gen
Class URITree
java.lang.Object
fr.inrialpes.exmo.align.gen.URITree
public class URITree
- extends Object
Method Summary |
void |
_addChild(URITree root,
URITree node,
List occurs,
int depth,
String parentURI,
String childURI)
|
void |
_addChildToNode(URITree root,
String parentURI,
String childURI)
|
void |
add(URITree root,
String childURI,
String parentURI)
|
void |
addChild(URITree root,
URITree node,
String URI)
|
void |
addChildToNode(URITree node,
String URI)
|
void |
change(URITree node,
List occurs,
int depth,
int level)
|
void |
changeDepth(URITree root,
int level)
|
URITree |
getChildAt(int index)
|
ArrayList<URITree> |
getChildrenList()
|
int |
getChildrenSize()
|
int |
getDepth()
|
int |
getMaxDepth()
|
void |
getNodes(URITree node,
List occurs,
int depth,
List<URITree> nodes,
int level)
|
List<URITree> |
getNodesFromLevel(URITree root,
int level)
|
URITree |
getParent()
|
String |
getURI()
|
protected void |
indent(int depth)
|
void |
print(URITree node,
List occurs,
int depth)
|
void |
printURITree(URITree root)
|
void |
remove(URITree node,
List occurs,
int depth,
String URI)
|
void |
removeFromURITree(URITree root,
String URI)
|
void |
rename(URITree node,
List occurs,
int depth,
Properties params)
|
void |
renameTree(URITree root,
Properties params)
|
URITree |
search(URITree node,
List occurs,
int depth,
String URI)
|
URITree |
searchURITree(URITree root,
String URI)
|
void |
setDepth(int depth)
|
void |
setParent(URITree parent)
|
void |
setURI(String URI)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
URI
private String URI
children
private ArrayList<URITree> children
parent
private URITree parent
depth
int depth
maxDepth
int maxDepth
URITree
public URITree(String URI)
getURI
public String getURI()
setURI
public void setURI(String URI)
setDepth
public void setDepth(int depth)
getDepth
public int getDepth()
getMaxDepth
public int getMaxDepth()
setParent
public void setParent(URITree parent)
getParent
public URITree getParent()
getChildAt
public URITree getChildAt(int index)
getChildrenList
public ArrayList<URITree> getChildrenList()
getChildrenSize
public int getChildrenSize()
add
public void add(URITree root,
String childURI,
String parentURI)
addChild
public void addChild(URITree root,
URITree node,
String URI)
addChildToNode
public void addChildToNode(URITree node,
String URI)
renameTree
public void renameTree(URITree root,
Properties params)
rename
public void rename(URITree node,
List occurs,
int depth,
Properties params)
_addChildToNode
public void _addChildToNode(URITree root,
String parentURI,
String childURI)
_addChild
public void _addChild(URITree root,
URITree node,
List occurs,
int depth,
String parentURI,
String childURI)
searchURITree
public URITree searchURITree(URITree root,
String URI)
search
public URITree search(URITree node,
List occurs,
int depth,
String URI)
removeFromURITree
public void removeFromURITree(URITree root,
String URI)
remove
public void remove(URITree node,
List occurs,
int depth,
String URI)
getNodesFromLevel
public List<URITree> getNodesFromLevel(URITree root,
int level)
getNodes
public void getNodes(URITree node,
List occurs,
int depth,
List<URITree> nodes,
int level)
changeDepth
public void changeDepth(URITree root,
int level)
change
public void change(URITree node,
List occurs,
int depth,
int level)
printURITree
public void printURITree(URITree root)
print
public void print(URITree node,
List occurs,
int depth)
indent
protected void indent(int depth)
(C) INRIA & friends, 2003-${curryear}