66 |
out[1] = l.h; |
out[1] = l.h; |
67 |
} |
} |
68 |
|
|
69 |
|
public interface PageSpanPaperMaker { |
70 |
|
PageSpanPaper getPaper(GLSpanner.SpanPage p, PageSpan sp); |
71 |
|
} |
72 |
|
public class DefaultPageSpanPaperMaker implements PageSpanPaperMaker { |
73 |
|
public PageSpanPaper getPaper(GLSpanner.SpanPage p, PageSpan sp) { |
74 |
|
return new PageSpanPaper(p, sp.getScrollBlock().hashCode()); |
75 |
|
} |
76 |
|
} |
77 |
|
|
78 |
|
public PageSpanPaperMaker pageSpanPaperMaker = |
79 |
|
new DefaultPageSpanPaperMaker(); |
80 |
|
|
81 |
/** A single enfilade laid out on the plane. |
/** A single enfilade laid out on the plane. |
82 |
*/ |
*/ |
83 |
public class Layout { |
public class Layout { |
105 |
private void page(int p, PageSpan sp) { |
private void page(int p, PageSpan sp) { |
106 |
pages[p] = sp; |
pages[p] = sp; |
107 |
GLSpanner.SpanRect rect = GLSpanner.getSpanRect(pages[p]); |
GLSpanner.SpanRect rect = GLSpanner.getSpanRect(pages[p]); |
108 |
psps[p] = new PageSpanPaper(rect.page, |
psps[p] = pageSpanPaperMaker.getPaper(rect.page, sp); |
|
sp.getScrollBlock().hashCode()); |
|
109 |
|
|
110 |
Point l_p = pages[p].getLocation(); |
Point l_p = pages[p].getLocation(); |
111 |
Dimension d_p = pages[p].getSize(); |
Dimension d_p = pages[p].getSize(); |