Lines 480-486
Link Here
|
480 |
//child points into a different portion of the tree that we visited already before, or will certainly visit. |
480 |
//child points into a different portion of the tree that we visited already before, or will certainly visit. |
481 |
//This does not introduce a loop yet, but introduces duplicate resources. |
481 |
//This does not introduce a loop yet, but introduces duplicate resources. |
482 |
//TODO Ideally, such duplicates should be modelled as linked resources. See bug 105534 |
482 |
//TODO Ideally, such duplicates should be modelled as linked resources. See bug 105534 |
483 |
return false; |
483 |
return true; |
484 |
} else { |
484 |
} else { |
485 |
//child neither introduces a loop nor points to a known tree. |
485 |
//child neither introduces a loop nor points to a known tree. |
486 |
//It probably spans up a new tree of potential prefixes. |
486 |
//It probably spans up a new tree of potential prefixes. |