| java.lang.Object
 tide.editor.linemessages.LineMessagesManager
| LineMessagesManager | | final public class LineMessagesManager (Code) | | Contains all line messages.
maps line messages with files
TODO: detect messages corresponding to no source (checkstyle generate messages for resources too...)
Also shifts bookmarks ! and columns numbers
|
| Method Summary | |
| public static void | add(LineMessage mess)
| | public List<LineMessage> | getAllMessagesOfType(Class type)
| | public LineMessage | getFirstMessageLine(String javaName)
| | public static synchronized LineMessagesManager | getInstance()
| | public HashSet<String> | getIrrelevantCategories()
| | public LineMessage | getLastMessageLine(String javaName)
| | public LineMessage | getMessageAfterLine(String javaName, int line)
| | public LineMessage | getMessageBeforeLine(String javaName, int line)
| | public List<LineMessage> | getMessages(String javaName)
| | public HashSet<String> | getRelevantCategories()
| | public boolean | hasMessages(String javaName)
| | public void | lineInsertOccured(String javaName, int linePos, int diff)
Shifts the LineMessages line numbers one for lines above linePos
TODO: keep track of remove and show in the replaced region the balance of <cr>
This also shift the bookmarks... | | public void | lineRemoved(String javaName, int lineStart, int lineEnd)
| | public void | refreshView()
Should be called at the end of a process (compilation, check), ... | | public void | remove(LineMessage mess)
| | public void | removeAllMessages()
| | public void | removeAllMessagesFor(String javaName)
| | public int | removeIrrelevantMessages()
Manually called from the options menu. | | public int | removeMessages(Class type)
Should be called before a compilation, analysis, ... | | public void | removeMessagesFor(String javaName, Class type)
Used during tool analysis. | | public void | removeMessagesForJavaNameStartingWith(String javaNameStart, Class type)
Used to remove all messages of a certain type in a package (recursively). | | public void | restoreFromFile(ProjectSettings settings)
| | public void | storeToFile(ProjectSettings settings)
Called after project close (on exit or when loading another project). |
| add | | public static void add(LineMessage mess)(Code) | | the view must be manually refreshed !
|
| hasMessages | | public boolean hasMessages(String javaName)(Code) | | |
| lineInsertOccured | | public void lineInsertOccured(String javaName, int linePos, int diff)(Code) | | Shifts the LineMessages line numbers one for lines above linePos
TODO: keep track of remove and show in the replaced region the balance of <cr>
This also shift the bookmarks...
|
| lineRemoved | | public void lineRemoved(String javaName, int lineStart, int lineEnd)(Code) | | |
| refreshView | | public void refreshView()(Code) | | Should be called at the end of a process (compilation, check), ...
|
| removeAllMessages | | public void removeAllMessages()(Code) | | |
| removeAllMessagesFor | | public void removeAllMessagesFor(String javaName)(Code) | | To call when the source is removed
|
| removeIrrelevantMessages | | public int removeIrrelevantMessages()(Code) | | Manually called from the options menu.
the number of removed bugs. |
| removeMessages | | public int removeMessages(Class type)(Code) | | Should be called before a compilation, analysis, ...
the number of removed bugs. |
| removeMessagesFor | | public void removeMessagesFor(String javaName, Class type)(Code) | | Used during tool analysis. Quick ! no UI update.
|
| removeMessagesForJavaNameStartingWith | | public void removeMessagesForJavaNameStartingWith(String javaNameStart, Class type)(Code) | | Used to remove all messages of a certain type in a package (recursively).
|
| storeToFile | | public void storeToFile(ProjectSettings settings) throws Exception(Code) | | Called after project close (on exit or when loading another project).
|
|
|