UTJML

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.

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.