org.activemath.omdocjdom
Class DirectoryCollection

java.lang.Object
  java.io.File
      org.activemath.omdocjdom.DirectoryCollection

All Implemented Interfaces:

Serializable, Comparable<File>, OJCollection

public class DirectoryCollection
extends File
implements OJCollection

A simple OJCollection meaning the collection of OMDocs within a directory and its subdirectories.

Version:

See Also:

Serialized Form

Field Summary

Fields inherited from class java.io.File

pathSeparator, pathSeparatorChar, separator, separatorChar

Constructor Summary

DirectoryCollection(String publicID, File path)

Method Summary

String

getPublicIdentifier()

Methods inherited from class java.io.File

canExecute, canRead, canWrite, compareTo, createNewFile, createTempFile, createTempFile, delete, deleteOnExit, equals, exists, getAbsoluteFile, getAbsolutePath, getCanonicalFile, getCanonicalPath, getFreeSpace, getName, getParent, getParentFile, getPath, getTotalSpace, getUsableSpace, hashCode, isAbsolute, isDirectory, isFile, isHidden, lastModified, length, list, list, listFiles, listFiles, listFiles, listRoots, mkdir, mkdirs, renameTo, setExecutable, setExecutable, setLastModified, setReadable, setReadable, setReadOnly, setWritable, setWritable, toString, toURI, toURL

Methods inherited from class java.lang.Object

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

Constructor Detail

DirectoryCollection

public DirectoryCollection(String publicID,
                           File path)

Method Detail

getPublicIdentifier

public String getPublicIdentifier()

Specified by:

getPublicIdentifier in interface OJCollection