de.dante.extex.main.observer
Class FileCloseObserver

java.lang.Object
  extended byde.dante.extex.main.observer.FileCloseObserver
All Implemented Interfaces:
StreamCloseObserver

public class FileCloseObserver
extends java.lang.Object
implements StreamCloseObserver

This observer waits for update events when files are closed. According to the reference in TeX a closing parenthesis is written to the log file.

Version:
$Revision: 1.6 $
Author:
Gerd Neugebauer

Constructor Summary
FileCloseObserver(java.util.logging.Logger theLogger)
          Creates a new object.
 
Method Summary
 void update(TokenStream stream)
          This method is meant to be invoked just before a stream is closed.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FileCloseObserver

public FileCloseObserver(java.util.logging.Logger theLogger)
Creates a new object.

Parameters:
theLogger - the logger for potential output
Method Detail

update

public void update(TokenStream stream)
This method is meant to be invoked just before a stream is closed.

Specified by:
update in interface StreamCloseObserver
Parameters:
stream - the stream to be closed