| |
|
| java.lang.Object java.io.File
File | public class File (Code) | | MJI model class for java.io.File
NOTE - a number of methods are only stubbed out here to make Eclipse compile
JPF code that uses java.io.File (there is no way to tell Eclipse to exclude the
model classes from ths build-path)
author: Owen O'Malley |
pathSeparatorChar | final public static char pathSeparatorChar(Code) | | |
separatorChar | final public static char separatorChar(Code) | | |
createNewFile | public boolean createNewFile()(Code) | | |
delete | public boolean delete()(Code) | | |
exists | public boolean exists()(Code) | | |
isAbsolute | public boolean isAbsolute()(Code) | | |
length | public long length()(Code) | | |
|
|
|