projectManager
Class SystemSettingsFile

java.lang.Object
  extended by projectManager.PIDEFile
      extended by projectManager.SystemSettingsFile

public class SystemSettingsFile
extends PIDEFile

This class should be unique since there is only one system file (pide.sys). It holds information about system settings and program's latest snapshot. Currently, system allows a maximum of 50 workspaces active at a time.

Author:
maho

Field Summary
 java.lang.String activeProject
           
 java.util.ArrayList<java.lang.String> activeWorkspaces
          Array of Strings that holds the names of the active workspaces
 boolean existsActiveProject
           
 
Fields inherited from class projectManager.PIDEFile
ASM, ASM_HEADER, ASM_PLUS_PLUS, DEBUG, dirty, fileBuffer, fileName, filePath, fileType, HEX, PROJECT, SYSTEM_SETTINGS, TEST
 
Constructor Summary
SystemSettingsFile(int fileType, java.lang.String fileName, java.lang.String filePath)
           
 
Method Summary
 void load()
          For system files, load operation consists of getting data from system file.
 void save()
          This method simply saves all data into system settings file.
 
Methods inherited from class projectManager.PIDEFile
closeFile, getFileBuffer, getFileName, getFilePath, getFileType, isDirty, setDirty, setFileName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

activeWorkspaces

public java.util.ArrayList<java.lang.String> activeWorkspaces
Array of Strings that holds the names of the active workspaces


activeProject

public java.lang.String activeProject

existsActiveProject

public boolean existsActiveProject
Constructor Detail

SystemSettingsFile

public SystemSettingsFile(int fileType,
                          java.lang.String fileName,
                          java.lang.String filePath)
Method Detail

load

public void load()
For system files, load operation consists of getting data from system file.

Specified by:
load in class PIDEFile

save

public void save()
This method simply saves all data into system settings file.

Specified by:
save in class PIDEFile