java.io

Class File

java.lang.Object

java.io.File

public class File
extends Object

Implements a file system using pages of flash memory. Currently has limited functionality and only supports one file open at a time.

Author:

bb

Field Summary

Fields

Modifier and Type	Field and Description
static tijos.kernel.io.Disk1	disk
static int	filePageSize
static byte	MAX_FILES Number of files the file system can store.
static byte	totalFiles The total number of files in the file system.

Constructor Summary

Constructors

Constructor and Description
File(String name) Creates a new File object.

Method Summary

Modifier and Type	Method and Description
boolean	canRead()
boolean	canWrite()
boolean	createNewFile() Creates a new file entry in the flash memory.
static void	defrag() Defrag the file system.
boolean	delete() Deletes the file represented by this File object.
boolean	exists() Indicates if the file exists in the flash memory.
static void	format() Essentially formats the file system by writing TABLE_ID characters to the first page of flash memory.
static int	freeMemory() Returns to total free memory in the flash file system.
int	getIndex() Returns location of file in the files[] array
String	getName() Returns the name of the file.
int	getPage() Internal method used to get the page number of the start of the file.
boolean	isHidden()
long	length() Returns the length of the file denoted by this file name.
static File[]	listFiles() Returns a list of files in the flash file system.
void	moveToTop() Move the file to become the last one in flash memory.
static void	reset() Reset the files array after an error.
boolean	setReadOnly()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

disk

public static tijos.kernel.io.Disk1 disk

filePageSize

public static int filePageSize

MAX_FILES

public static final byte MAX_FILES

Number of files the file system can store. Defines the size of the files array. If TiJOS gets a garbage collector we can get rid of this limitation.

See Also:

Constant Field Values

totalFiles

public static byte totalFiles

The total number of files in the file system. A negative value indicates this variable has not been initialized. Using byte, but if we expand past the 30 limit (garbage collector) we can use short.

Constructor Detail

File

public File(String name)
     throws IOException

Creates a new File object. If this file exists on disk it will represent that file. If the file does not exist, you will need to use createNewFile() before writing to the file.

Parameters:

name -

Throws:

IOException

Method Detail

canRead

public boolean canRead()

canWrite

public boolean canWrite()

createNewFile

public boolean createNewFile()
                      throws IOException

Creates a new file entry in the flash memory.

Returns:

True indicates file was created in flash. False means it already existed or the size is 0 or less.

Throws:

IOException

defrag

public static void defrag()
                   throws IOException

Defrag the file system. Assumptions: the files[] array has no nulls, and is in increasing order by page_location. This scheme moves moves each file down to fill in the empty pages.

Throws:

IOException

delete

public boolean delete()

Deletes the file represented by this File object.

Returns:

true if the file is successfully deleted; false otherwise

exists

public boolean exists()

Indicates if the file exists in the flash memory.

Returns:

True indicates the file exists, false means it has not been created.

format

public static void format()
                   throws IOException

Essentially formats the file system by writing TABLE_ID characters to the first page of flash memory. Also writes 0 as the number of files in the file system, so it can be used to restart/erase all files.

Throws:

IOException

freeMemory

public static int freeMemory()
                      throws IOException

Returns to total free memory in the flash file system.

Throws:

IOException

getIndex

public int getIndex()

Returns location of file in the files[] array

Returns:

index of file in files[]

getName

public String getName()

Returns the name of the file.

Returns:

The name of the file, including the file extension. e.g. "mapdata.txt"

getPage

public int getPage()

Internal method used to get the page number of the start of the file.

Returns:

page number

isHidden

public boolean isHidden()

length

public long length()

Returns the length of the file denoted by this file name.

Returns:

The length, in bytes, of the file denoted by this file name, or 0 if the file does not exist.

listFiles

public static File[] listFiles()
                        throws IOException

Returns a list of files in the flash file system. Because there are no directories, this is a static method in TiJOS. The order of the files in the array goes from oldest (0) to newest (highest index array).

Returns:

An array of File objects representing files in the file system. The array will be empty if the directory is empty.

Throws:

IOException

moveToTop

public void moveToTop()
               throws IOException

Move the file to become the last one in flash memory.

Throws:

IOException

reset

public static void reset()

Reset the files array after an error. Forces listFiles to read from the file table.

setReadOnly

public boolean setReadOnly()

toString

public String toString()

Overrides:

toString in class Object