1 files changed, 0 insertions, 83 deletions

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));
-    }
-  }
-}