00001 00002 package org.best.of.robotics.ui.quickfix; 00003 00004 import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider; 00005 00006 public class SmachDSLQuickfixProvider extends DefaultQuickfixProvider { 00007 00008 // @Fix(MyJavaValidator.INVALID_NAME) 00009 // public void capitalizeName(final Issue issue, IssueResolutionAcceptor acceptor) { 00010 // acceptor.accept(issue, "Capitalize name", "Capitalize the name.", "upcase.png", new IModification() { 00011 // public void apply(IModificationContext context) throws BadLocationException { 00012 // IXtextDocument xtextDocument = context.getXtextDocument(); 00013 // String firstLetter = xtextDocument.get(issue.getOffset(), 1); 00014 // xtextDocument.replace(issue.getOffset(), 1, firstLetter.toUpperCase()); 00015 // } 00016 // }); 00017 // } 00018 00019 }