Package | Description |
---|---|
de.mgmechanics.myflipflops.io |
Modifier and Type | Method and Description |
---|---|
File |
File.changeExtension(String newExtension)
Changes the file name extension and returns the result.
|
File |
File.getFileWithoutExtension()
Returns the file name without file name extension and without extension separator i.e.
|
Constructor and Description |
---|
File(File parent,
String child)
Same as java.io.File.
|
Copyright © 2013. All Rights Reserved.