Migrating Additional projects

1 files changed, 26 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend
new file mode 100644
index 00000000..3e329e62
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend
@@ -0,0 +1,26 @@
+/*

+* generated by Xtext

+*/

+package hu.bme.mit.inf.dslreasoner.ui.quickfix

+

+//import org.eclipse.xtext.ui.editor.quickfix.Fix

+//import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionAcceptor

+//import org.eclipse.xtext.validation.Issue

+

+/**

+ * Custom quickfixes.

+ *

+ * see http://www.eclipse.org/Xtext/documentation.html#quickfixes

+ */

+class AlloyLanguageQuickfixProvider extends org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider {

+

+//      @Fix(MyDslValidator::INVALID_NAME)

+//      def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) {

+//              acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [

+//                      context |

+//                      val xtextDocument = context.xtextDocument

+//                      val firstLetter = xtextDocument.get(issue.offset, 1)

+//                      xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase)

+//              ]

+//      }

+}