| |
|
| edu.rice.cs.drjava.ui.TabbedPanel edu.rice.cs.drjava.ui.ErrorPanel edu.rice.cs.drjava.ui.JavadocErrorPanel
JavadocErrorPanel | public class JavadocErrorPanel extends ErrorPanel (Code) | | The panel which displays all the Javadoc parsing errors.
version: $Id: JavadocErrorPanel.java 4255 2007-08-28 19:17:37Z mgricken $ |
_errorListPane | protected JavadocErrorListPane _errorListPane(Code) | | |
JavadocErrorPanel | public JavadocErrorPanel(SingleDisplayModel model, MainFrame frame)(Code) | | Constructor.
Parameters: model - SingleDisplayModel in which we are running Parameters: frame - MainFrame in which we are displayed |
_close | protected void _close()(Code) | | Clean up when the tab is closed.
|
getErrorListPane | public JavadocErrorListPane getErrorListPane()(Code) | | Returns the JavadocErrorListPane that this panel manages.
|
reset | public void reset()(Code) | | Reset the errors to the current error information.
|
setJavadocInProgress | public void setJavadocInProgress()(Code) | | Called when work begins.
|
|
|
|