Uses of Class
java.io.File

Packages that use File

Package	Description
gov.nasa.jpf
gov.nasa.jpf.jvm
gov.nasa.jpf.listener
gov.nasa.jpf.util
java.io

Uses of File in gov.nasa.jpf

Methods in gov.nasa.jpf that return File

Modifier and Type	Method and Description
protected File	Config.getParentFile(File f)
File	Config.getPath(String key)
File[]	Config.getPathArray(String key)

Methods in gov.nasa.jpf with parameters of type File

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

Method parameters in gov.nasa.jpf with type arguments of type File

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

Uses of File in gov.nasa.jpf.jvm

Fields in gov.nasa.jpf.jvm declared as File

Modifier and Type	Field and Description
protected File	DirClassFileContainer.dir

Constructors in gov.nasa.jpf.jvm with parameters of type File

Constructor and Description
ClassFile(File file)

Uses of File in gov.nasa.jpf.listener

Fields in gov.nasa.jpf.listener declared as File

Modifier and Type	Field and Description
protected File	SimpleDot.file

Uses of File in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return 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.

Methods in gov.nasa.jpf.util that return types with arguments of type File

Modifier and Type	Method and Description
static List<File>	FileUtils.findMatches(String pattern)

Methods in gov.nasa.jpf.util with parameters of type File

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)

Method parameters in gov.nasa.jpf.util with type arguments of type File

Modifier and Type	Method and Description
protected String[]	PathnameExpander.getPaths(ArrayList<File> list)

Uses of File in java.io

Methods in java.io that return File

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()

Methods in java.io with parameters of type File

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)

Constructors in java.io with parameters of type File

Constructor and Description
File(File parent, String child)
FileInputStream(File file)
FileOutputStream(File file)
RandomAccessFile(File name, String permissions)