textbender.a.u.transfer.clipboard
Class SourceDocumentFile
java.lang.Object
java.io.File
SourceDocumentFile
- All Implemented Interfaces:
- Serializable, Comparable<File>
@ThreadSafe
final class SourceDocumentFile
- extends File
Modelling the... [Probably only filename() is needed. So this class is superfluous. FIX.]
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 |
DIRECTORY
static final File DIRECTORY
SourceDocumentFile
SourceDocumentFile(long clipIndex0,
IndexBlockMapW.KeySD keySD,
ClipIndexEncoder clipIndexEncoder)
- Creates an instance of SourceDocumentFile in the directory.
- Parameters:
clipIndex0
- designating the index block
with which this file is associated (1:1),
and from which its name is formedkeySD
- containing other key particulars of this fileclipIndexEncoder
- to use
filename
static String filename(long clipIndex0,
ClipIndexEncoder clipIndexEncoder)
gR
String gR()
- Re-index counter of the document, per attribute 'gR' of element 'gg'.
revisionLineID
String revisionLineID()
- Revision-line ID of the document.