|
|
|
|
|
|
|
|
return childLM.getNextKnuthElements(childLC, alignment); |
|
|
return childLM.getNextKnuthElements(childLC, alignment); |
|
|
} else { |
|
|
} else { |
|
|
if (childLM instanceof LineLayoutManager) { |
|
|
if (childLM instanceof LineLayoutManager) { |
|
|
|
|
|
assert (restartPosition instanceof LeafPosition); |
|
|
return ((LineLayoutManager) childLM).getNextKnuthElements(childLC, alignment, |
|
|
return ((LineLayoutManager) childLM).getNextKnuthElements(childLC, alignment, |
|
|
(LeafPosition) restartPosition); |
|
|
(LeafPosition) restartPosition); |
|
|
} else { |
|
|
} else { |