Migrating Additional projects

1 files changed, 24 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend
new file mode 100644
index 00000000..89bb0f87
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/labeling/AlloyLanguageDescriptionLabelProvider.xtend
@@ -0,0 +1,24 @@
+/*

+* 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'

+//      }        

+}