edu.utep.cs.utjml.canica.filebrowser
Interface FileStatisticsable

public interface FileStatisticsable

This class provide the services to get or set data to the file statistics object.

Author:

Angelica B. Perez, Jun 2, 2006

Method Summary

void	addNewFile(File file) It creates a new file statistics object to the File Statistics Controller .
void	displayActiveEditingFile(File file) It displays the active editing file statistics data to the file statistics objec, get the respective file statistics data ans show them in the view.
void	removeFile(File file) It removes a file statistics object from the File statistics controller.
void	setJavaCompilerProperties(File file, boolean isCompiledSuccessful, int errors, Date lastTimeCompiled) not implemented
void	setJMLCheckerProperties(File file, boolean isCheckedSuccessful, int errors, Date lastTimeChecked) not implemented
void	setJMLCompilerProperties(File file, boolean isCompiledSuccessful, int errors, Date lastTimeCompiled) not implemented
void	setJVMProperties(File file, boolean isExecutedSuccessful, int errors, int exceptions, Date lasTimeRun) not implemented
void	setSavedAndModified(File file) It updates the property savedAndModified to the respective file.
void	setTestingProperties() not implemented

Method Detail

displayActiveEditingFile

void displayActiveEditingFile(File file)

It displays the active editing file statistics data to the file statistics objec, get the respective file statistics data ans show them in the view.

Parameters:

file - Active editing file.

addNewFile

void addNewFile(File file)

It creates a new file statistics object to the File Statistics Controller . This new object will represent the new file added.

Parameters:

file -

removeFile

void removeFile(File file)

It removes a file statistics object from the File statistics controller.

Parameters:

file -

setJMLCheckerProperties

void setJMLCheckerProperties(File file,
                             boolean isCheckedSuccessful,
                             int errors,
                             Date lastTimeChecked)

not implemented

setJavaCompilerProperties

void setJavaCompilerProperties(File file,
                               boolean isCompiledSuccessful,
                               int errors,
                               Date lastTimeCompiled)

not implemented

setJMLCompilerProperties

void setJMLCompilerProperties(File file,
                              boolean isCompiledSuccessful,
                              int errors,
                              Date lastTimeCompiled)

not implemented

setJVMProperties

void setJVMProperties(File file,
                      boolean isExecutedSuccessful,
                      int errors,
                      int exceptions,
                      Date lasTimeRun)

not implemented

setTestingProperties

void setTestingProperties()

not implemented

setSavedAndModified

void setSavedAndModified(File file)

It updates the property savedAndModified to the respective file. Whenever this property (savedAndModified) is updated, the following properties must be cleared: JMLCheckerCheckMark, JavaCompilerCheckMark, JMLCompilerCheckMark, JVMCheckMark, and the testing properties check marks.

Parameters:

file - File.