public class IncludeDeclarationStorage
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
addDeclarationEntryIfNecessary(java.io.File file,
DeclEntry entry)
Adds a
DeclEntry object to the
IncludeDeclarationCacheEntry for the given file. |
void |
addIncludeEntryIfNecessary(java.io.File file,
java.lang.String include)
Adds an include file name to the
IncludeDeclarationCacheEntry for the given file. |
IncludeDeclarationCacheEntry |
getDeclarationEntriesForFile(java.io.File file)
Returns the
IncludeDeclarationCacheEntry objects for the given file holding the
sets of known DeclEntries and includes. |
static IncludeDeclarationStorage |
getInstance() |
static boolean |
isCacheActivated() |
static void |
loadSettingsFromPreferences()
Updates the cache settings being used with the values defined by the preference store.
|
public static void loadSettingsFromPreferences()
public static boolean isCacheActivated()
true
if the cache is activated (that is,
CACHE_RELOAD_TIME
is set to a value bigger than zero),
false
otherwise.public static IncludeDeclarationStorage getInstance()
public IncludeDeclarationCacheEntry getDeclarationEntriesForFile(java.io.File file)
IncludeDeclarationCacheEntry
objects for the given file holding the
sets of known DeclEntries
and includes.file
- The File whose IncludeDeclarationCacheEntry
is to be returnedNULL
if the file was not processed yet or the file is
opened in an editorIncludeDeclarationCacheEntry
object if the file was already processed.
public void addDeclarationEntryIfNecessary(java.io.File file, DeclEntry entry)
Adds a DeclEntry
object to the
IncludeDeclarationCacheEntry
for the given file.
The DeclEntry
is ***NOT*** added if:
file
- The file to receive the DeclEntry
entry
- The DeclEntry
to store.public void addIncludeEntryIfNecessary(java.io.File file, java.lang.String include)
Adds an include file name to the
IncludeDeclarationCacheEntry
for the given file.
The include file name is ***NOT*** added if:
file
- The file to receive the DeclEntry
include
- The include file name to store.