org.teiid.internal.core.index
Class FileDocument

java.lang.Object
  org.teiid.internal.core.index.PropertyDocument
      org.teiid.internal.core.index.FileDocument

All Implemented Interfaces:

IDocument

public class FileDocument
extends PropertyDocument

A FileDocument represents a java.io.File.

Field Summary

Fields inherited from class org.teiid.internal.core.index.PropertyDocument

properties

Constructor Summary

FileDocument(java.io.File file)

Method Summary

java.lang.String	getEncoding() Returns the encoding for this document
java.lang.String	getName() returns the name of the document (e.g.
java.lang.String	getType() Returns the type of the document.

Methods inherited from class org.teiid.internal.core.index.PropertyDocument

getProperty, getPropertyNames, setProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

FileDocument

public FileDocument(java.io.File file)

Method Detail

getEncoding

public java.lang.String getEncoding()

Description copied from interface: IDocument

Returns the encoding for this document

See Also:

IDocument.getEncoding()

getName

public java.lang.String getName()

Description copied from interface: IDocument

returns the name of the document (e.g. its path for a File, or its relative path in the workbench for an IFile).

See Also:

IDocument.getName()

getType

public java.lang.String getType()

Description copied from interface: IDocument

Returns the type of the document.

See Also:

IDocument.getType()