/** * <copyright> * </copyright> * * */ package robot.resource.robot.ui; /** * The IgnoredWordsFilter can be customized to add additional words that must not * be marked as misspelled. To customize this class, set option * 'overrideIgnoredWordsFilter' to <code>false</code>. */ public class RobotIgnoredWordsFilter { /** * Checks whether the given word must be ignored even it is misspelled. */ public boolean ignoreWord(String word) { // By default we ignore all keywords that are defined in the syntax return robot.resource.robot.grammar.RobotGrammarInformationProvider.INSTANCE.getKeywords().contains(word); } }