de.dante.extex.typesetter.type.page
Class PageImpl

java.lang.Object
  extended byde.dante.extex.typesetter.type.page.PageImpl
All Implemented Interfaces:
Page

public class PageImpl
extends java.lang.Object
implements Page

This class provides a transport object for pages. Beside the nodes it contains additional administrative information.

Version:
$Revision: 1.8 $
Author:
Gerd Neugebauer

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

PageImpl

public PageImpl(NodeList nodes,
                FixedCount[] pageNo)
Creates a new object.

Parameters:
nodes - the nodes to transport
Method Detail

getColor

public Color getColor()
Description copied from interface: Page
Getter for the background color.

Specified by:
getColor in interface Page
Returns:
the background color
See Also:
Page.getColor()

getMediaHeight

public Dimen getMediaHeight()
Description copied from interface: Page
Getter for the height of the media.

Specified by:
getMediaHeight in interface Page
Returns:
the height of the media
See Also:
Page.getMediaHeight()

getMediaHOffset

public Dimen getMediaHOffset()
Description copied from interface: Page
Getter for the horizontal offset of the media.

Specified by:
getMediaHOffset in interface Page
Returns:
the horizontal offset of the media
See Also:
Page.getMediaHOffset()

getMediaVOffset

public Dimen getMediaVOffset()
Description copied from interface: Page
Getter for the vertical offset of the media.

Specified by:
getMediaVOffset in interface Page
Returns:
the vertical offset of the media
See Also:
Page.getMediaVOffset()

getMediaWidth

public Dimen getMediaWidth()
Description copied from interface: Page
Getter for the width of the media.

Specified by:
getMediaWidth in interface Page
Returns:
the width of the media
See Also:
Page.getMediaWidth()

getNodes

public NodeList getNodes()
Getter for nodes.

Specified by:
getNodes in interface Page
Returns:
the nodes

getPageNo

public FixedCount[] getPageNo()
Description copied from interface: Page
Getter for the array of page numbers.

Specified by:
getPageNo in interface Page
Returns:
the array of page numbers
See Also:
Page.getPageNo()

setColor

public void setColor(Color background)
Description copied from interface: Page
Setter for the background color.

Specified by:
setColor in interface Page
Parameters:
background - the background color
See Also:
Page.setColor( de.dante.extex.interpreter.context.Color)

setMediaHeight

public void setMediaHeight(Dimen mediaHeight)
Setter for mediaHeight.

Specified by:
setMediaHeight in interface Page
Parameters:
mediaHeight - the mediaHeight to set

setMediaHOffset

public void setMediaHOffset(Dimen offset)
Description copied from interface: Page
Setter for the horizontal offset of the media.

Specified by:
setMediaHOffset in interface Page
Parameters:
offset - the media horizontal offset
See Also:
Page.setMediaHOffset( de.dante.extex.interpreter.type.dimen.Dimen)

setMediaVOffset

public void setMediaVOffset(Dimen offset)
Description copied from interface: Page
Setter for the vertical offset of the media.

Specified by:
setMediaVOffset in interface Page
Parameters:
offset - the media vertical offset
See Also:
Page.setMediaVOffset( de.dante.extex.interpreter.type.dimen.Dimen)

setMediaWidth

public void setMediaWidth(Dimen width)
Setter for media width.

Specified by:
setMediaWidth in interface Page
Parameters:
width - the mediaWidth to set
See Also:
Page.setMediaWidth( de.dante.extex.interpreter.type.dimen.Dimen)

toString

public java.lang.String toString()
See Also:
Object.toString()