Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
C
D
F
G
L
R
G
getHomeDir()
- Method in class filesystem.
FileExtended
Returns the drive name where this file is.
getNameWithoutExtension()
- Method in class filesystem.
FileExtended
Returns the name of the file as defined by File.getName() without any attached extension.
getPageNumber(String)
- Static method in class filesystem.
FileExtended
getPageNumber()
- Method in class filesystem.
FileExtended
Given any filename, returns any series of digits in that filename.
getPageNumberPrefix()
- Method in class filesystem.
FileExtended
Returns page number prefix.
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
C
D
F
G
L
R