jltools.frontend
Class Source

java.lang.Object
  |
  +--jltools.frontend.Source

public class Source

extends java.lang.Object

A Source represents a source file.

Constructor Summary

Source(java.lang.String name, java.lang.String sourceExtension)

Method Summary

void	close() Close the source file.
boolean	equals(java.lang.Object o)
int	hashCode()
java.util.Date	lastModified() Return the date the source file was last modified.
java.lang.String	name() The name of the source file.
java.io.Reader	open() Open the source file.
java.lang.String	path() Gets the path of the source file.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Source

public Source(java.lang.String name,
              java.lang.String sourceExtension)
       throws java.io.IOException

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

name

public java.lang.String name()

The name of the source file.

path

public java.lang.String path()

Gets the path of the source file.

open

public java.io.Reader open()
                    throws java.io.IOException

Open the source file.

close

public void close()
           throws java.io.IOException

Close the source file.

lastModified

public java.util.Date lastModified()

Return the date the source file was last modified.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object