Initial commit of the configuration language and application

1 files changed, 24 insertions, 0 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/quickfix/ApplicationConfigurationQuickfixProvider.xtend b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/quickfix/ApplicationConfigurationQuickfixProvider.xtend
new file mode 100644
index 00000000..317e1b0a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/quickfix/ApplicationConfigurationQuickfixProvider.xtend
@@ -0,0 +1,24 @@
+/*

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.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 ApplicationConfigurationQuickfixProvider extends DefaultQuickfixProvider {

+

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

+//              ]

+//      }

+}