de.dante.extex.main.observer
Class FileOpenObserver

java.lang.Object
  extended byde.dante.extex.main.observer.FileOpenObserver
All Implemented Interfaces:
OpenFileObserver

public class FileOpenObserver
extends java.lang.Object
implements OpenFileObserver

This observer reports that a certain file has been opened. According to the behavior of TeX it logs an open brace and the name of the file.

Version:
$Revision: 1.8 $
Author:
Gerd Neugebauer

Constructor Summary
FileOpenObserver(java.util.logging.Logger theLogger)
          Creates a new object.
 
Method Summary
 void update(java.lang.String filename, java.lang.String filetype, java.io.InputStream stream)
          This method is meant to be invoked just after a new file based stream has been opened.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FileOpenObserver

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

Parameters:
theLogger - the logger to use
Method Detail

update

public void update(java.lang.String filename,
                   java.lang.String filetype,
                   java.io.InputStream stream)
Description copied from interface: OpenFileObserver
This method is meant to be invoked just after a new file based stream has been opened.

Specified by:
update in interface OpenFileObserver
Parameters:
filename - the name of the file to be opened
filetype - the type of the file to be opened. The type is resolved via the configuration to a file name pattern
stream - the input stream to read from
See Also:
OpenFileObserver.update( java.lang.String, java.lang.String, java.io.InputStream)