|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.dante.extex.typesetter.type.page.PageImpl
This class provides a transport object for pages. Beside the nodes it contains additional administrative information.
Constructor Summary | |
PageImpl(NodeList nodes,
FixedCount[] pageNo)
Creates a new object. |
Method Summary | |
Color |
getColor()
Getter for the background color. |
Dimen |
getMediaHeight()
Getter for the height of the media. |
Dimen |
getMediaHOffset()
Getter for the horizontal offset of the media. |
Dimen |
getMediaVOffset()
Getter for the vertical offset of the media. |
Dimen |
getMediaWidth()
Getter for the width of the media. |
NodeList |
getNodes()
Getter for nodes. |
FixedCount[] |
getPageNo()
Getter for the array of page numbers. |
void |
setColor(Color background)
Setter for the background color. |
void |
setMediaHeight(Dimen mediaHeight)
Setter for mediaHeight. |
void |
setMediaHOffset(Dimen offset)
Setter for the horizontal offset of the media. |
void |
setMediaVOffset(Dimen offset)
Setter for the vertical offset of the media. |
void |
setMediaWidth(Dimen width)
Setter for media width. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public PageImpl(NodeList nodes, FixedCount[] pageNo)
nodes
- the nodes to transportMethod Detail |
public Color getColor()
Page
getColor
in interface Page
Page.getColor()
public Dimen getMediaHeight()
Page
getMediaHeight
in interface Page
Page.getMediaHeight()
public Dimen getMediaHOffset()
Page
getMediaHOffset
in interface Page
Page.getMediaHOffset()
public Dimen getMediaVOffset()
Page
getMediaVOffset
in interface Page
Page.getMediaVOffset()
public Dimen getMediaWidth()
Page
getMediaWidth
in interface Page
Page.getMediaWidth()
public NodeList getNodes()
getNodes
in interface Page
public FixedCount[] getPageNo()
Page
getPageNo
in interface Page
Page.getPageNo()
public void setColor(Color background)
Page
setColor
in interface Page
background
- the background colorPage.setColor(
de.dante.extex.interpreter.context.Color)
public void setMediaHeight(Dimen mediaHeight)
setMediaHeight
in interface Page
mediaHeight
- the mediaHeight to setpublic void setMediaHOffset(Dimen offset)
Page
setMediaHOffset
in interface Page
offset
- the media horizontal offsetPage.setMediaHOffset(
de.dante.extex.interpreter.type.dimen.Dimen)
public void setMediaVOffset(Dimen offset)
Page
setMediaVOffset
in interface Page
offset
- the media vertical offsetPage.setMediaVOffset(
de.dante.extex.interpreter.type.dimen.Dimen)
public void setMediaWidth(Dimen width)
setMediaWidth
in interface Page
width
- the mediaWidth to setPage.setMediaWidth(
de.dante.extex.interpreter.type.dimen.Dimen)
public java.lang.String toString()
Object.toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |