de.dante.extex.backend.documentWriter.postscript.util
Class HeaderManager

java.lang.Object
  de.dante.extex.backend.documentWriter.postscript.util.HeaderManager

public class HeaderManager

extends java.lang.Object

The header manager keeps track of the headers for the PostScript file.

Version:

$Revision: 1.2 $

Author:

Gerd Neugebauer

HeaderManager

public HeaderManager()

Creates a new object.

add

public void add(java.io.InputStream stream,
                java.lang.String name)
         throws java.io.IOException

Add the contents read from a stream to the headers.

Parameters:

stream - the stream to read from

name - the name of the stream

Throws:

java.io.IOException - in case of an error during the writing

add

public void add(java.lang.String value,
                java.lang.String name)
         throws java.io.IOException

Add a string to the headers.

Parameters:

value - the string to add

name - the name for the DSC

Throws:

java.io.IOException - in case of an error during the writing

reset

public void reset()

Clear the header buffer and discard its previous contents.

write

public void write(java.io.OutputStream stream)
           throws java.io.IOException

Write the accumulated headers to the output stream.

Parameters:

stream - the target stream

Throws:

java.io.IOException - in case of an IO error