Uses of Class
org.deepjava.runtime.mpc555.driver.ffs.File

Packages that use File

Package	Description
org.deepjava.runtime.mpc555.driver.ffs

Uses of File in org.deepjava.runtime.mpc555.driver.ffs

Fields in org.deepjava.runtime.mpc555.driver.ffs declared as File

Modifier and Type	Field	Description
(package private) static File	FileTransfer.f
(package private) static File[]	FFS.fileTab

Methods in org.deepjava.runtime.mpc555.driver.ffs that return File

Modifier and Type	Method	Description
File	Rider.base()	Returns file associated with this rider.
static File	FFS.old(String filename)	Returns file with filename, null if file does not exist.

Methods in org.deepjava.runtime.mpc555.driver.ffs with parameters of type File

Modifier and Type	Method	Description
void	Rider.set(File f, int pos)	sets rider at position if pos < 0, sets position to 0 if pos > length of file, sets position to file.len