|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
DefinitionsDocumentHandler but was renamed (2004-Jun-8) to be more
descriptive/intuitive.SlaveRemote that provides the quit functionality and that also periodically
checks if the master is still alive and automatically quits if not.IDocuemnt to this navigator.
INavigatorItem into this navigator in a position relative to a given path.
IDocument to this navigator.
INavigatorItem to this navigator in the specified position.
f to the given set if it is an existing directory or link
f to the given set if it is an existing directory or link
f to the given set if it is an existing file
f to the given set if it is an existing file
f to the given set if it is an existing file
INavigationListener to this navigator.
INavigationListener to this navigator.
slave.quit().
Date version of the build time.
INavigatorItems from this IDocumentNavigator.
IDocuments from this IDocumentNavigator.
get method.
IOUtil.parsePath(java.lang.String), IOUtil.getAbsoluteFiles(java.lang.Iterable extends java.io.File>),
IOUtil.attemptAbsoluteFiles(java.lang.Iterable extends java.io.File>), and IOUtil.pathToString(java.lang.Iterable extends java.io.File>),
as needed, instead.
IOUtil.copyFile(java.io.File, java.io.File) instead; it scales in a much more efficiently.
IOUtil.deleteRecursively(java.io.File) instead
IOUtil.deleteOnExitRecursively(java.io.File) instead
OutputStream that writes its output to
an implementation of Document.OutputStream that writes its output to a Document.
OutputStream that writes its output to a Document.
value.toString() as it's message.
value.toString().
model package is responsible for the majority of the logic
and state in DrJava.ui package contains classes for the default user interface
for DrJava.toString method outputs only the last element in the file
path.FileOps.Finalizable interface.Finalizable interface.construct method
has returned.
construct method.
IOUtil.attemptCanonicalFile(java.io.File) instead.
IOUtil.attemptCanonicalFile(java.io.File) instead. (The result will be a
File instead of a String.)