(Node node)
| 421 | } |
| 422 | |
| 423 | private NodeRef getNodeRef(Node node) { |
| 424 | if (node instanceof NodeRef) |
| 425 | return (NodeRef) node; |
| 426 | else |
| 427 | return ((NodeDb) node).ref; |
| 428 | } |
| 429 | |
| 430 | private NodeDb getNodeDb(Node node) { |
| 431 | if (node instanceof NodeDb) |