219 class DocumentIndexMarkEndNode extends DocumentIndexMarkNode  class
221     DocumentIndexMarkEndNode dup()  in dup()
222     { return new DocumentIndexMarkEndNode(getName()); }  in dup()
223     DocumentIndexMarkEndNode(String name) {  in DocumentIndexMarkEndNode()  method in DocumentIndexMarkEndNode
764                         node = new DocumentIndexMarkEndNode(name);  in convertChildren()
1424         TreeNode txm2 = new DocumentIndexMarkEndNode(name);  in testToxmark()
1600         root.appendChild( new DocumentIndexMarkEndNode(name1) );  in testToxMark2()
1624         root.appendChild( new DocumentIndexMarkEndNode(name7) );  in testToxMark3()
1625         root.appendChild( new DocumentIndexMarkEndNode(name6) );  in testToxMark3()
1626         root.appendChild( new DocumentIndexMarkEndNode(name5) );  in testToxMark3()
1627         root.appendChild( new DocumentIndexMarkEndNode(name4) );  in testToxMark3()
1628         root.appendChild( new DocumentIndexMarkEndNode(name3) );  in testToxMark3()
1629         root.appendChild( new DocumentIndexMarkEndNode(name2) );  in testToxMark3()
1630         root.appendChild( new DocumentIndexMarkEndNode(name1) );  in testToxMark3()
1649         root.appendChild( new DocumentIndexMarkEndNode(name4) );  in testMarks1()
1671         root.appendChild( new DocumentIndexMarkEndNode(name4) );  in testMarks2()
1691         root.appendChild( new DocumentIndexMarkEndNode(name3) );  in testMarks3()
1695         root.appendChild( new DocumentIndexMarkEndNode(name5) );  in testMarks3()