edu.byu.deg.OntologyEditor.epsgraphics
Class EpsDocument

java.lang.Object
  extended byedu.byu.deg.OntologyEditor.epsgraphics.EpsDocument

public class EpsDocument
extends Object

This represents an EPS document. Several EpsGraphics2D objects may point to the same EpsDocument.

Copyright Paul Mutton, http://www.jibble.org/


Constructor Summary
EpsDocument(String title)
          Constructs an empty EpsDevice.
EpsDocument(String title, File file, int minX, int minY, int maxX, int maxY)
          Constructs an empty EpsDevice that writes directly to a file.
 
Method Summary
 void append(EpsGraphics2D g, String line)
          Appends a line to the EpsDocument.
 void close()
           
 EpsDrawState getDrawState()
           
 String getTitle()
          Returns the title of the EPS document.
 void indentLevel()
           
 boolean isClipSet()
           
 void outdentLevel()
           
 void restoreDrawState()
           
 void saveDrawState()
           
 void setClipSet(boolean isClipSet)
           
 void updateBounds(double x, double y)
          Updates the bounds of the current EPS document.
 void write(Writer writer)
          Outputs the contents of the EPS document to the specified Writer, complete with headers and bounding box.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EpsDocument

public EpsDocument(String title)
Constructs an empty EpsDevice.


EpsDocument

public EpsDocument(String title,
                   File file,
                   int minX,
                   int minY,
                   int maxX,
                   int maxY)
            throws IOException
Constructs an empty EpsDevice that writes directly to a file. Bounds must be set before use.

Method Detail

getTitle

public String getTitle()
Returns the title of the EPS document.


updateBounds

public void updateBounds(double x,
                         double y)
Updates the bounds of the current EPS document.


append

public void append(EpsGraphics2D g,
                   String line)
Appends a line to the EpsDocument. A new line character is added to the end of the line when it is added.


write

public void write(Writer writer)
           throws IOException
Outputs the contents of the EPS document to the specified Writer, complete with headers and bounding box.

Throws:
IOException

close

public void close()
           throws IOException
Throws:
IOException

isClipSet

public boolean isClipSet()

setClipSet

public void setClipSet(boolean isClipSet)

saveDrawState

public void saveDrawState()

restoreDrawState

public void restoreDrawState()

indentLevel

public void indentLevel()

outdentLevel

public void outdentLevel()

getDrawState

public EpsDrawState getDrawState()