jif.parse
Class UTF8FileSource

java.lang.Object
  polyglot.frontend.Source
      polyglot.frontend.FileSource
          jif.parse.UTF8FileSource

public class UTF8FileSource
extends polyglot.frontend.FileSource

Field Summary

Fields inherited from class polyglot.frontend.FileSource

file, reader

Fields inherited from class polyglot.frontend.Source

lastModified, name, path, userSpecified

Constructor Summary

UTF8FileSource(java.io.File f, boolean userSpecified)

Method Summary

protected java.io.Reader

createReader(java.io.InputStream str)

Methods inherited from class polyglot.frontend.FileSource

close, equals, hashCode, open, toString

Methods inherited from class polyglot.frontend.Source

lastModified, name, path, setUserSpecified, userSpecified

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UTF8FileSource

public UTF8FileSource(java.io.File f,
                      boolean userSpecified)
               throws java.io.IOException

Throws:

java.io.IOException

Method Detail

createReader

protected java.io.Reader createReader(java.io.InputStream str)

Overrides:

createReader in class polyglot.frontend.FileSource