kmy.jint.tools
Class Compiler.DiskFile

java.lang.Object
  |
  +--kmy.jint.tools.Compiler.AbstractFile
        |
        +--kmy.jint.tools.Compiler.DiskFile

Enclosing class:

Compiler

class Compiler.DiskFile

extends Compiler.AbstractFile

Field Summary

(package private) java.io.File	file
(package private) java.lang.String	name

Fields inherited from class kmy.jint.tools.Compiler.AbstractFile

tok

Constructor Summary

(package private)

Compiler.DiskFile(java.lang.String name, java.io.File file)

Method Summary

(package private) java.io.InputStream	getInputStream()
(package private) java.lang.String	getName()
(package private) Compiler.AbstractFile[]	getSiblings()
(package private) long	lastModified()

Methods inherited from class kmy.jint.tools.Compiler.AbstractFile

getTokenizer, ready

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

name

java.lang.String name

file

java.io.File file

Constructor Detail

Compiler.DiskFile

Compiler.DiskFile(java.lang.String name,
                  java.io.File file)

Method Detail

getName

java.lang.String getName()

Overrides:

getName in class Compiler.AbstractFile

getInputStream

java.io.InputStream getInputStream()
                             throws java.io.IOException

Overrides:

getInputStream in class Compiler.AbstractFile

getSiblings

Compiler.AbstractFile[] getSiblings()

Overrides:

getSiblings in class Compiler.AbstractFile

lastModified

long lastModified()

Overrides:

lastModified in class Compiler.AbstractFile