| java.lang.Object tide.project.SourcesInfoStorageManager
SourcesInfoStorageManager | final public class SourcesInfoStorageManager (Code) | | manages (load/save) the sources storage.
Remark: sources means here the infos stored about sources, not the sources themselves.
Remark: must be recreated after project settings changed.
|
SourcesInfoStorageManager | SourcesInfoStorageManager()(Code) | | |
clearReps | public void clearReps()(Code) | | Deeply clears the storage representations.
|
createFromVectorRepresentation | void createFromVectorRepresentation(StorageVector rep, boolean clearRep)(Code) | | |
createFromVectorRepresentation_old | void createFromVectorRepresentation_old(StorageVector rep)(Code) | | |
getHasChanged | boolean getHasChanged()(Code) | | |
getSourcesForWhichRepExist | Set<String> getSourcesForWhichRepExist()(Code) | | a copy... |
removeFileReps | void removeFileReps(Set<String> javaNames)(Code) | | Called for files that are no more existing at project load...
|
setChangedFalse | void setChangedFalse()(Code) | | |
|
|