6 files changed, 0 insertions, 119 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java
deleted file mode 100644
index bcbe21ab..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/AlloyLanguageUiModule.java
+++ /dev/null
@@ -1,15 +0,0 @@
-/*
- * generated by Xtext
- */
-package hu.bme.mit.inf.dslreasoner.ui;
-
-import org.eclipse.ui.plugin.AbstractUIPlugin;
-
-/**
- * Use this class to register components to be used within the IDE.
- */
-public class AlloyLanguageUiModule extends hu.bme.mit.inf.dslreasoner.ui.AbstractAlloyLanguageUiModule {
-        public AlloyLanguageUiModule(AbstractUIPlugin plugin) {
-                super(plugin);
-        }
-}
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/AlloyLanguageProposalProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/AlloyLanguageProposalProvider.xtend
deleted file mode 100644
index 896aa484..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/contentassist/AlloyLanguageProposalProvider.xtend
+++ /dev/null
@@ -1,12 +0,0 @@
-/*
- * generated by Xtext
- */
-package hu.bme.mit.inf.dslreasoner.ui.contentassist
-
-import hu.bme.mit.inf.dslreasoner.ui.contentassist.AbstractAlloyLanguageProposalProvider
-
-/**
- * see http://www.eclipse.org/Xtext/documentation.html#contentAssist on how to customize content assistant
- */
-class AlloyLanguageProposalProvider extends AbstractAlloyLanguageProposalProvider {
-}
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend
deleted file mode 100644
index 6a9a273e..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
-* generated by Xtext
-*/
-package hu.bme.mit.inf.dslreasoner.ui.labeling
-
-//import org.eclipse.xtext.resource.IEObjectDescription
-
-/**
- * Provides labels for a IEObjectDescriptions and IResourceDescriptions.
- * 
- * see http://www.eclipse.org/Xtext/documentation.html#labelProvider
- */
-class AlloyLanguageDescriptionLabelProvider extends org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider {
-
-        // Labels and icons can be computed like this:
-        
-//      override text(IEObjectDescription ele) {
-//              ele.name.toString
-//      }
-//       
-//      override image(IEObjectDescription ele) {
-//              ele.EClass.name + '.gif'
-//      }        
-}
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend
deleted file mode 100644
index d6e00ca5..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageLabelProvider.xtend
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
-* generated by Xtext
-*/
-package hu.bme.mit.inf.dslreasoner.ui.labeling
-
-import com.google.inject.Inject
-
-/**
- * Provides labels for a EObjects.
- * 
- * see http://www.eclipse.org/Xtext/documentation.html#labelProvider
- */
-class AlloyLanguageLabelProvider extends org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider {
-
-        @Inject
-        new(org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider delegate) {
-                super(delegate);
-        }
-
-        // Labels and icons can be computed like this:
-        
-//      def text(Greeting ele) {
-//              'A greeting to ' + ele.name
-//      }
-//
-//      def image(Greeting ele) {
-//              'Greeting.gif'
-//      }
-}
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/AlloyLanguageOutlineTreeProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/AlloyLanguageOutlineTreeProvider.xtend
deleted file mode 100644
index e75c3427..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/outline/AlloyLanguageOutlineTreeProvider.xtend
+++ /dev/null
@@ -1,13 +0,0 @@
-/*
-* generated by Xtext
-*/
-package hu.bme.mit.inf.dslreasoner.ui.outline
-
-/**
- * Customization of the default outline structure.
- *
- * see http://www.eclipse.org/Xtext/documentation.html#outline
- */
-class AlloyLanguageOutlineTreeProvider extends org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider {
-        
-}
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend
deleted file mode 100644
index d02bca52..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/quickfix/AlloyLanguageQuickfixProvider.xtend
+++ /dev/null
@@ -1,26 +0,0 @@
-/*
-* 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)
-//              ]
-//      }
-}