14 files changed, 0 insertions, 194 deletions

diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore
deleted file mode 100644
index 54297e9d..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageUiModule.java._trace
-/.SolverLanguageUiModule.xtendbin
-/SolverLanguageUiModule.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore
deleted file mode 100644
index 7bf487b6..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/contentassist/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageProposalProvider.java._trace
-/.SolverLanguageProposalProvider.xtendbin
-/SolverLanguageProposalProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore
deleted file mode 100644
index 682fd167..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/highlight/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverSemanticHighlightCalculator.java._trace
-/.SolverSemanticHighlightCalculator.xtendbin
-/.SolverSemanticTextAttributeProvider.java._trace
-/.SolverSemanticTextAttributeProvider.xtendbin
-/SolverSemanticHighlightCalculator.java
-/SolverSemanticTextAttributeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore
deleted file mode 100644
index 4f407d4c..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/labeling/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverLanguageDescriptionLabelProvider.java._trace
-/.SolverLanguageDescriptionLabelProvider.xtendbin
-/.SolverLanguageLabelProvider.java._trace
-/.SolverLanguageLabelProvider.xtendbin
-/SolverLanguageDescriptionLabelProvider.java
-/SolverLanguageLabelProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore
deleted file mode 100644
index 63ce4740..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/outline/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageOutlineTreeProvider.java._trace
-/.SolverLanguageOutlineTreeProvider.xtendbin
-/SolverLanguageOutlineTreeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore
deleted file mode 100644
index 37dbeadb..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/quickfix/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageQuickfixProvider.java._trace
-/.SolverLanguageQuickfixProvider.xtendbin
-/SolverLanguageQuickfixProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin
deleted file mode 100644
index a107bf27..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticHighlightCalculator.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
deleted file mode 100644
index 994dbd52..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.SolverSemanticTextAttributeProvider.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore
deleted file mode 100644
index 61ce5bef..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-/.SolverSemanticHighlightCalculator.java._trace
-/.SolverSemanticTextAttributeProvider.java._trace
-/.SolverSemanticHighlightCalculator.xtendbin
-/.SolverSemanticTextAttributeProvider.xtendbin
-/SolverSemanticHighlightCalculator.java
-/SolverSemanticTextAttributeProvider.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java
deleted file mode 100644
index 2935dfd7..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticHighlightCalculator.java
+++ /dev/null
@@ -1,83 +0,0 @@
-package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
-
-import com.google.common.collect.Iterators;
-import java.util.Iterator;
-import java.util.Random;
-import java.util.WeakHashMap;
-import org.eclipse.viatra.solver.language.solverLanguage.Reference;
-import org.eclipse.xtend2.lib.StringConcatenation;
-import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator;
-import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor;
-import org.eclipse.xtext.nodemodel.ICompositeNode;
-import org.eclipse.xtext.nodemodel.util.NodeModelUtils;
-import org.eclipse.xtext.resource.XtextResource;
-import org.eclipse.xtext.util.CancelIndicator;
-
-@SuppressWarnings("all")
-public class SolverSemanticHighlightCalculator extends DefaultSemanticHighlightingCalculator {
-  public static final String SYMBOL_CODE = "SymbolCode::";
-  
-  private final WeakHashMap<String, String> symbolName2ID = new WeakHashMap<String, String>();
-  
-  @Override
-  public void provideHighlightingFor(final XtextResource resource, final IHighlightedPositionAcceptor acceptor, final CancelIndicator cancelIndicator) {
-    if (((resource == null) || (resource.getParseResult() == null))) {
-      return;
-    } else {
-      final Iterator<Reference> modelSymbols = Iterators.<Reference>filter(resource.getAllContents(), Reference.class);
-      while (modelSymbols.hasNext()) {
-        {
-          final Reference symbolElement = modelSymbols.next();
-          final ICompositeNode node = NodeModelUtils.getNode(symbolElement);
-          acceptor.addPosition(
-            node.getOffset(), 
-            node.getLength(), 
-            this.getSymbolCode(node.getText()));
-        }
-      }
-    }
-  }
-  
-  public String getSymbolCode(final String name) {
-    boolean _containsKey = this.symbolName2ID.containsKey(name);
-    if (_containsKey) {
-      return this.symbolName2ID.get(name);
-    } else {
-      final String id = this.calculateSymbolCode(name);
-      this.symbolName2ID.put(name, id);
-      return id;
-    }
-  }
-  
-  public String calculateSymbolCode(final String name) {
-    int _hashCode = name.hashCode();
-    final Random random = new Random(_hashCode);
-    final float hue = this.huePick(random.nextFloat());
-    float _nextFloat = random.nextFloat();
-    double _multiply = (_nextFloat * 0.3);
-    final double saturation = (0.2 + _multiply);
-    float _nextFloat_1 = random.nextFloat();
-    double _multiply_1 = (_nextFloat_1 * 0.2);
-    final double brightness = (_multiply_1 + 0.7f);
-    StringConcatenation _builder = new StringConcatenation();
-    _builder.append(SolverSemanticHighlightCalculator.SYMBOL_CODE);
-    _builder.append(" ");
-    _builder.append(hue);
-    _builder.append(" ");
-    _builder.append(saturation);
-    _builder.append(" ");
-    _builder.append(brightness);
-    return _builder.toString();
-  }
-  
-  private float huePick(final float random) {
-    final int pink = 300;
-    final int tolerance = 10;
-    final float degree = (random * (360 - (2 * tolerance)));
-    if ((degree < (pink - tolerance))) {
-      return degree;
-    } else {
-      return (degree + (2 * tolerance));
-    }
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java
deleted file mode 100644
index 04824ad1..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/ui/syntaxcoloring/SolverSemanticTextAttributeProvider.java
+++ /dev/null
@@ -1,63 +0,0 @@
-package org.eclipse.viatra.solver.language.ui.syntaxcoloring;
-
-import com.google.inject.Inject;
-import java.util.WeakHashMap;
-import org.eclipse.jface.text.TextAttribute;
-import org.eclipse.swt.graphics.Color;
-import org.eclipse.swt.graphics.Font;
-import org.eclipse.swt.graphics.RGB;
-import org.eclipse.viatra.solver.language.ui.syntaxcoloring.SolverSemanticHighlightCalculator;
-import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.IHighlightingConfiguration;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.PreferenceStoreAccessor;
-import org.eclipse.xtext.ui.editor.syntaxcoloring.TextAttributeProvider;
-import org.eclipse.xtext.ui.editor.utils.EditorUtils;
-import org.eclipse.xtext.ui.editor.utils.TextStyle;
-
-@SuppressWarnings("all")
-public class SolverSemanticTextAttributeProvider extends TextAttributeProvider {
-  private final TextStyle defaultTextStyle = new TextStyle();
-  
-  private final WeakHashMap<String, TextAttribute> colorID2TextAttribute = new WeakHashMap<String, TextAttribute>();
-  
-  @Inject
-  public SolverSemanticTextAttributeProvider(final IHighlightingConfiguration highlightingConfig, final IPreferenceStoreAccess preferenceStoreAccess, final PreferenceStoreAccessor prefStoreAccessor) {
-    super(highlightingConfig, preferenceStoreAccess, prefStoreAccessor);
-  }
-  
-  @Override
-  public TextAttribute getAttribute(final String id) {
-    TextAttribute _xifexpression = null;
-    boolean _isMetamodelElementColorID = this.isMetamodelElementColorID(id);
-    if (_isMetamodelElementColorID) {
-      boolean _containsKey = this.colorID2TextAttribute.containsKey(id);
-      if (_containsKey) {
-        return this.colorID2TextAttribute.get(id);
-      } else {
-        final TextAttribute style = this.metamodelElementTextStyle(id);
-        this.colorID2TextAttribute.put(id, style);
-        return style;
-      }
-    } else {
-      _xifexpression = super.getAttribute(id);
-    }
-    return _xifexpression;
-  }
-  
-  private boolean isMetamodelElementColorID(final String id) {
-    return id.startsWith(SolverSemanticHighlightCalculator.SYMBOL_CODE);
-  }
-  
-  private TextAttribute metamodelElementTextStyle(final String id) {
-    final String[] texts = id.split(" ");
-    float _parseFloat = Float.parseFloat(texts[1]);
-    float _parseFloat_1 = Float.parseFloat(texts[2]);
-    float _parseFloat_2 = Float.parseFloat(texts[3]);
-    final RGB backgroundColor = new RGB(_parseFloat, _parseFloat_1, _parseFloat_2);
-    Color _colorFromRGB = EditorUtils.colorFromRGB(this.defaultTextStyle.getColor());
-    Color _colorFromRGB_1 = EditorUtils.colorFromRGB(backgroundColor);
-    int _style = this.defaultTextStyle.getStyle();
-    Font _fontFromFontData = EditorUtils.fontFromFontData(this.defaultTextStyle.getFontData());
-    return new TextAttribute(_colorFromRGB, _colorFromRGB_1, _style, _fontFromFontData);
-  }
-}
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin
deleted file mode 100644
index 9839769e..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
deleted file mode 100644
index 565d4b27..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.SolverLanguageValidator.java._trace
-/.SolverLanguageValidator.xtendbin
-/SolverLanguageValidator.java
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java
deleted file mode 100644
index 2b8f158a..00000000
--- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java
+++ /dev/null
@@ -1,15 +0,0 @@
-/**
- * generated by Xtext 2.18.0.M3
- */
-package org.eclipse.viatra.solver.language.validation;
-
-import org.eclipse.viatra.solver.language.validation.AbstractSolverLanguageValidator;
-
-/**
- * This class contains custom validation rules.
- * 
- * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
- */
-@SuppressWarnings("all")
-public class SolverLanguageValidator extends AbstractSolverLanguageValidator {
-}