*/
public class WodScanner extends AbstractJavaScanner {
private static String[] WOD_TOKENS = { PreferenceConstants.ELEMENT_NAME, PreferenceConstants.ELEMENT_TYPE, PreferenceConstants.BINDING_NAME, PreferenceConstants.BINDING_NAMESPACE, PreferenceConstants.BINDING_VALUE, PreferenceConstants.BINDING_VALUE_NAMESPACE, PreferenceConstants.OGNL_BINDING_VALUE, PreferenceConstants.CONSTANT_BINDING_VALUE, PreferenceConstants.OPERATOR, PreferenceConstants.COMMENT, PreferenceConstants.UNKNOWN };
public static WodScanner newWODScanner() {
IColorManager colorManager = JavaPlugin.getDefault().getJavaTextTools().getColorManager();
IPreferenceStore preferenceStore = Activator.getDefault().getPreferenceStore();
WodScanner scanner = new WodScanner(colorManager, preferenceStore);
return scanner;
}