initial commit

1 files changed, 24 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend
new file mode 100644
index 00000000..42f81255
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/quickfix/SolverLanguageQuickfixProvider.xtend
@@ -0,0 +1,24 @@
+/*

+ * generated by Xtext 2.18.0.M3

+ */

+package org.eclipse.viatra.solver.language.ui.quickfix

+

+import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider

+

+/**

+ * Custom quickfixes.

+ *

+ * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes

+ */

+class SolverLanguageQuickfixProvider extends DefaultQuickfixProvider {

+

+//      @Fix(SolverLanguageValidator.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)

+//              ]

+//      }

+}