Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.jvm | |
gov.nasa.jpf.listener | |
gov.nasa.jpf.util | |
java.io |
Modifier and Type | Method and Description |
---|---|
protected File |
Config.getParentFile(File f) |
File |
Config.getPath(String key) |
File[] |
Config.getPathArray(String key) |
Modifier and Type | Method and Description |
---|---|
protected void |
Config.addJPFdirs(List<File> jpfDirs,
File dir) |
protected File |
Config.getParentFile(File f) |
protected boolean |
Config.registerJPFdir(List<File> list,
File dir)
the obvious part is that it only adds to the list if the file is absent
the not-so-obvious part is that it re-orders already present files
to maintain the priority
|
Modifier and Type | Method and Description |
---|---|
protected void |
Config.addCurrentJPFdir(List<File> jpfDirs)
add the current dir to the list of JPF components.
|
protected void |
Config.addJPFdirs(List<File> jpfDirs,
File dir) |
protected void |
Config.addJPFdirsFromClasspath(List<File> jpfDirs) |
protected void |
Config.addJPFdirsFromSiteExtensions(List<File> jpfDirs) |
protected boolean |
Config.registerJPFdir(List<File> list,
File dir)
the obvious part is that it only adds to the list if the file is absent
the not-so-obvious part is that it re-orders already present files
to maintain the priority
|
Modifier and Type | Field and Description |
---|---|
protected File |
DirClassFileContainer.dir |
Constructor and Description |
---|
ClassFile(File file) |
Modifier and Type | Field and Description |
---|---|
protected File |
SimpleDot.file |
Modifier and Type | Method and Description |
---|---|
static File |
JPFSiteUtils.getCoreDir(File siteProps) |
static File |
JPFSiteUtils.getCurrentProjectProperties()
find project properties (jpf.properties) from current dir
|
static File |
JPFSiteUtils.getSiteCoreDir()
get location of jpf-core from site.properties
|
static File |
JPFSiteUtils.getSiteCoreDir(String[] args) |
static File |
JPFSiteUtils.getSiteProperties(String[] args) |
static File |
JPFSiteUtils.getStandardSiteProperties()
locate the site.properties.
|
Modifier and Type | Method and Description |
---|---|
static List<File> |
FileUtils.findMatches(String pattern) |
Modifier and Type | Method and Description |
---|---|
static boolean |
JPFSiteUtils.addProject(File siteProps,
String projectId,
File projectDir,
boolean isExt) |
static String |
FileUtils.asUnixPathName(File file) |
static boolean |
FileUtils.copyFile(File src,
File toDir) |
static boolean |
FileUtils.ensureDirs(File file) |
static byte[] |
FileUtils.getContents(File file) |
static String |
FileUtils.getContentsAsString(File file) |
static File |
JPFSiteUtils.getCoreDir(File siteProps) |
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(File siteProps) |
static String |
FileUtils.getRelativeUnixPath(File baseDir,
File refFile) |
boolean |
LocationSpec.matchesFile(File f) |
static void |
FileUtils.printFile(PrintWriter pw,
File file) |
static boolean |
FileUtils.removeRecursively(File file) |
static void |
FileUtils.setContents(File file,
byte[] data) |
static void |
FileUtils.setContents(File file,
String data) |
Modifier and Type | Method and Description |
---|---|
protected String[] |
PathnameExpander.getPaths(ArrayList<File> list) |
Modifier and Type | Method and Description |
---|---|
static File |
File.createTempFile(String prefix,
String suffix) |
static File |
File.createTempFile(String prefix,
String suffix,
File dir) |
File |
File.getAbsoluteFile() |
File |
File.getCanonicalFile() |
File |
File.getParentFile() |
File[] |
File.listFiles() |
File[] |
File.listFiles(FileFilter ff) |
File[] |
File.listFiles(FilenameFilter fnf) |
static File[] |
File.listRoots() |
Modifier and Type | Method and Description |
---|---|
int |
File.compareTo(File that) |
static File |
File.createTempFile(String prefix,
String suffix,
File dir) |
boolean |
File.renameTo(File f) |
Constructor and Description |
---|
File(File parent,
String child) |
FileInputStream(File file) |
FileOutputStream(File file) |
RandomAccessFile(File name,
String permissions) |