| java.lang.Object
 tide.project.ProjectSettings
| ProjectSettings | | final public class ProjectSettings (Code) | | Used to store projects settings (paths, jdk, ...) and preferences...
also contains bookmarks, list of already ran classes, ...
TODO: create some .projet_name in the .tide => detects if several projects are in the same src (and warn)
and use it to sync (File lock) so we ensure not loading twice at same time
|
| Method Summary | |
| public StorageVector | _getVectorRepresentation()
| | public void | _terminate()
helps the gc when terminated. | | public void | addBookmark(SourceBookmark b)
Adds the new bookmark and refresh the view. | | public void | addRan(String javaName)
| | public void | addSearchToHistory(ArrayList<Object> search)
| | public void | createFromVectorRepresentation(StorageVector rep, boolean clearRep)
Called when loading a project. | | public long | getActiveTime()
| | public Set<String> | getAllAlreadyRanJavaNames()
| | public List<SourceBookmark> | getAllBookmarks_REF()
CAUTION: This is not a copy, but the reference.
The first is the oldest one. | | public String | getAppArgs()
| | public File | getBackupFolder()
| | public List<SourceBookmark> | getBookmarksFor(String javaName)
[relatively slow]... | | public boolean | getBooleanProperty(String name, boolean def)
| | public ClassFilesManager | getClassFilesManager()
loads on first request. | | public List<File> | getClassPath(boolean includeJDKLibs, boolean removeIgnored)
without jdk libs, is also called "aux classpath" or user classpath. | | public File | getClassesCacheTempFolderForCompletion()
| | public File | getClasses_Home()
| | public String | getCompilerOptions()
| | public String | getExtJavaToolMemoryOption()
A central place to define the Xmx. | | public List<File> | getExternalJavaDocsRoots()
| | public long | getFirstStart()
| | public boolean | getIsCompleteBuild()
True if the project has been completely build (F9) (no incremential builds (shift-F9)). | | public File | getJConsole_TOOL()
| | public File | getJDKDoc_Home()
| | public File | getJDK_Tool(String nameWithoutExe)
| | public File | getJHAT_TOOL()
| | public File | getJPS_TOOL()
| | public File | getJarSigner_TOOL()
| | public File | getJar_TOOL()
| | public File | getJavaAPISourceZIP()
try src.zip and if not found src.jar, found in java home. | | public File | getJavaC_TOOL()
| | public JavaDocManager | getJavaDocManager()
| | public File | getJavaDoc_TOOL()
| | public String | getJavaVersion()
| | public File | getJava_Home()
| | public File | getJava_TOOL()
| | public File | getJava_WebStart()
| | public File | getJavap_TOOL()
| | public File | getKeyTool_TOOL()
| | public String | getMainClassJavaName()
| | public File | getMainSourceFile()
| | public File | getProfilerResultsFolder()
| | public File | getProjectJavaDocRoot()
| | public String | getProjectName()
| | public File | getProjectSettingsFolder()
May exist or not !
Per default, takes the root sources sibling folder named ".tide". | | public String | getProperty(String name, String def)
| | public AppProperties | getProps()
| | public File | getRTJar()
| | public Map<String, Integer> | getRanCount()
| | public File | getRootSiblingFolder(String name)
| | public String | getRuntimeArgs()
| | public List<ArrayList<Object>> | getSearchHistory()
| | public List<File> | getSourcesForClassPathLibraries()
| | public Set<String> | getSourcesForWhichRepExist()
| | public File | getSources_Home()
| | public StorageVector | getStoredSourceInfo(String jn)
| | public long | getWorkingTime()
| | public boolean | hasChanged()
| | public boolean | isJava5_OrMore()
| | public Callable<ClassFilesManager> | reloadClassesManager()
call this to reload or load the classfilesmanager. | | public Callable<Object> | reloadJavaDocManager()
| | public void | removeFileReps(Set<String> javaNames)
Called for files that are no more existing at project load... | | public void | resetWorkingTime(long wt, long at)
| | public void | saveSourcesInfos()
| | public void | setAppArgs(String opts)
| | public void | setBooleanProperty(String name, boolean val)
| | public void | setChangedFalse()
| | public void | setClasses_Home(File file)
| | public void | setCompilerOptions(String opts)
| | public void | setCustomTideSettingsFolder(File f)
| | public void | setExternalJars(List<File> jars)
| | public void | setExternalJavaDocs(List<File> jds)
external javadocs. | | public void | setIsCompleteBuild(boolean a)
| | public void | setJDKDoc_Home(File home)
| | public void | setJava_Home(File file)
this is the JDK home (where bin/java is). | | public void | setMainSourceFile(File file)
| | public void | setProjectName(String name)
| | public void | setProperty(String name, String val)
| | public void | setRuntimeArgs(String opts)
| | public void | setSources_Home(File file)
| | public void | setStoredSourceInfo(SourceFile sf)
| | public void | sourceFileRemoved(String javaName)
Call this when a source has been removed. |
| ProjectSettings | | public ProjectSettings()(Code) | | |
| _terminate | | public void _terminate()(Code) | | helps the gc when terminated. Clears all stored data.
must be called before loading a new project...
but after last usage ! (after having be stored)
|
| addBookmark | | public void addBookmark(SourceBookmark b)(Code) | | Adds the new bookmark and refresh the view.
|
| createFromVectorRepresentation | | public void createFromVectorRepresentation(StorageVector rep, boolean clearRep)(Code) | | Called when loading a project.
This first resets the old one.
|
| getActiveTime | | public long getActiveTime()(Code) | | |
| getAllAlreadyRanJavaNames | | public Set<String> getAllAlreadyRanJavaNames()(Code) | | |
| getAllBookmarks_REF | | public List<SourceBookmark> getAllBookmarks_REF()(Code) | | CAUTION: This is not a copy, but the reference.
The first is the oldest one. New ones are to be added at the end.
Bookmarks are stored in these settings.
|
| getBackupFolder | | public File getBackupFolder()(Code) | | may exist or not !
|
| getBooleanProperty | | public boolean getBooleanProperty(String name, boolean def)(Code) | | |
| getClassFilesManager | | public ClassFilesManager getClassFilesManager()(Code) | | loads on first request. Contains all libs and generated classes. Must be kept up to date, that is
must be reloaded (below) at project reload and called after each compilation.
Used mainly by the completion, is a lazy process, i.e. the ide will also work without it
|
| getClassPath | | public List<File> getClassPath(boolean includeJDKLibs, boolean removeIgnored)(Code) | | without jdk libs, is also called "aux classpath" or user classpath. without source files.
if includeJDKLibs, Contain all jdk jar files.
a copy, no reference. So we can add/remove items without influence on the project ! |
| getClassesCacheTempFolderForCompletion | | public File getClassesCacheTempFolderForCompletion()(Code) | | may exist or not !
|
| getClasses_Home | | public File getClasses_Home()(Code) | | with clever global defaults
|
| getExtJavaToolMemoryOption | | public String getExtJavaToolMemoryOption()(Code) | | A central place to define the Xmx.
|
| getExternalJavaDocsRoots | | public List<File> getExternalJavaDocsRoots()(Code) | | a copy, not a reference !
|
| getFirstStart | | public long getFirstStart()(Code) | | |
| getIsCompleteBuild | | public boolean getIsCompleteBuild()(Code) | | True if the project has been completely build (F9) (no incremential builds (shift-F9)).
use this along with looking for new uncompiled classes (occur when loading a project)
to warn when creating a project archive.
|
| getJConsole_TOOL | | public File getJConsole_TOOL()(Code) | | |
| getJDKDoc_Home | | public File getJDKDoc_Home()(Code) | | null if not set ("")
TODO use: parent.globalProperties.setProperty("lastKnownJDKDocsDir"
|
| getJDK_Tool | | public File getJDK_Tool(String nameWithoutExe)(Code) | | Works on linux and windows,
Parameters:
nameWithoutExe - is for example jps or javah |
| getJarSigner_TOOL | | public File getJarSigner_TOOL()(Code) | | |
| getJavaAPISourceZIP | | public File getJavaAPISourceZIP()(Code) | | try src.zip and if not found src.jar, found in java home.
|
| getJavaDocManager | | public JavaDocManager getJavaDocManager()(Code) | | todo: joint the loader thread if requested before created !!
|
| getJavaDoc_TOOL | | public File getJavaDoc_TOOL()(Code) | | |
| getJavaVersion | | public String getJavaVersion()(Code) | | the version that was read with java -version when the setJava_Home was called |
| getJava_WebStart | | public File getJava_WebStart()(Code) | | |
| getJavap_TOOL | | public File getJavap_TOOL()(Code) | | javap -l javaName shows the bytecode along with the names tables (if compiled with -g)
|
| getKeyTool_TOOL | | public File getKeyTool_TOOL()(Code) | | |
| getMainClassJavaName | | public String getMainClassJavaName()(Code) | | null if not defined
|
| getMainSourceFile | | public File getMainSourceFile()(Code) | | null if not defined |
| getProfilerResultsFolder | | public File getProfilerResultsFolder()(Code) | | May exist or not !
|
| getProjectJavaDocRoot | | public File getProjectJavaDocRoot()(Code) | | may exist or not !
|
| getProjectSettingsFolder | | public File getProjectSettingsFolder()(Code) | | May exist or not !
Per default, takes the root sources sibling folder named ".tide".
[March2008]: to work nicely with RAMDrives, enabled customization.
|
| getRootSiblingFolder | | public File getRootSiblingFolder(String name)(Code) | | the folder named name in the same folder as the source folder.May exist or not ! if not, is created.Usage: for example: "dev", "classes", "backup", ...For ".tide", please use getProjectSettingsFolder(). |
| getSourcesForClassPathLibraries | | public List<File> getSourcesForClassPathLibraries()(Code) | | src.zip and user defined sources (zip files, jar files, directories...)
Optional !
|
| getSourcesForWhichRepExist | | public Set<String> getSourcesForWhichRepExist()(Code) | | a copy... |
| getSources_Home | | public File getSources_Home()(Code) | | null if not set |
| getWorkingTime | | public long getWorkingTime()(Code) | | |
| hasChanged | | public boolean hasChanged()(Code) | | |
| isJava5_OrMore | | public boolean isJava5_OrMore()(Code) | | important to detect if JVMTI is enable (hprof, jconsole, jstack...)
|
| reloadClassesManager | | public Callable<ClassFilesManager> reloadClassesManager()(Code) | | call this to reload or load the classfilesmanager.
lazy initialization in a thread...
MUST be called with call() !!
|
| reloadJavaDocManager | | public Callable<Object> reloadJavaDocManager()(Code) | | must be call when loading / reloading the project
|
| removeFileReps | | public void removeFileReps(Set<String> javaNames)(Code) | | Called for files that are no more existing at project load...
|
| resetWorkingTime | | public void resetWorkingTime(long wt, long at)(Code) | | |
| saveSourcesInfos | | public void saveSourcesInfos()(Code) | | |
| setBooleanProperty | | public void setBooleanProperty(String name, boolean val)(Code) | | |
| setChangedFalse | | public void setChangedFalse()(Code) | | |
| setClasses_Home | | public void setClasses_Home(File file)(Code) | | |
| setCompilerOptions | | public void setCompilerOptions(String opts)(Code) | | the editor look that no xlint is present for <1.5 jvms
|
| setCustomTideSettingsFolder | | public void setCustomTideSettingsFolder(File f)(Code) | | |
| setExternalJavaDocs | | public void setExternalJavaDocs(List<File> jds)(Code) | | external javadocs. No need to put project javadoc neither standard api, automatically add.
|
| setIsCompleteBuild | | public void setIsCompleteBuild(boolean a)(Code) | | |
| setJDKDoc_Home | | public void setJDKDoc_Home(File home)(Code) | | null if not set ("")
|
| setJava_Home | | public void setJava_Home(File file)(Code) | | this is the JDK home (where bin/java is).
this also read the actual jdk version, invoking java -version.
when editing project settings this is called first.
|
| setMainSourceFile | | public void setMainSourceFile(File file)(Code) | |
Parameters:
file - can be null, if the project has no main file (library)... |
| setSources_Home | | public void setSources_Home(File file)(Code) | | |
| sourceFileRemoved | | public void sourceFileRemoved(String javaName)(Code) | | Call this when a source has been removed.
|
|
|