public class ErrorMarker extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
CURRENT_ERROR_PROPERTY |
static String |
FIRST_ERROR_PROPERTY |
static String |
FULL_PROPERTY |
static String |
LAST_ERROR_PROPERTY |
static String |
NEXT_ERROR_PROPERTY |
static String |
PREVIOUS_ERROR_PROPERTY |
public static final String FULL_PROPERTY
public static final String FIRST_ERROR_PROPERTY
public static final String LAST_ERROR_PROPERTY
public static final String CURRENT_ERROR_PROPERTY
public static final String PREVIOUS_ERROR_PROPERTY
public static final String NEXT_ERROR_PROPERTY
public static ErrorMarker get()
public static ErrorMarker get(JTextComponent textComp)
public static ErrorMarker get(JTextComponent textComp, boolean selectError)
public boolean isActive()
public void setErrorMarkColor(Color color)
public Color getErrorMarkColor()
public boolean isSelectError()
public void setSelectError(boolean selectError)
selectError - The selectError to set.public void setTextComponent(JTextComponent textComp)
public JTextComponent getTextComponent()
public void quitTextComponent()
public boolean hasError(int position)
public org.dts.spell.ErrorInfo getErrorInfo(int position)
public Object markError(int start, int end, org.dts.spell.ErrorInfo info, boolean scroll) throws BadLocationException
BadLocationExceptionpublic Object markError(int start, int end, org.dts.spell.ErrorInfo info) throws BadLocationException
BadLocationExceptionpublic void unMarkError(Object tag)
public void unMarkRange(int begin,
int end)
public void unMarkAllErrors()
public boolean isAutoQuit()
public void setAutoQuit(boolean auto)
public List<org.dts.spell.ErrorInfo> getAllErrorInfo()
public int getErrorCount()
public boolean isFull()
public void addPropertyChangeListener(PropertyChangeListener listener)
public void addPropertyChangeListener(String name, PropertyChangeListener listener)
public void removePropertyChangeListener(PropertyChangeListener listener)
public void removePropertyChangeListener(String name, PropertyChangeListener listener)
public PropertyChangeListener[] getPropertyChangeListeners()
public PropertyChangeListener[] getPropertyChangeListeners(String propertyName)
public org.dts.spell.ErrorInfo getFirstError()
public org.dts.spell.ErrorInfo getLastError()
public org.dts.spell.ErrorInfo getCurrentError()
public org.dts.spell.ErrorInfo getPreviousError()
public org.dts.spell.ErrorInfo getNextError()
Copyright © 2020. All rights reserved.