From f5afda733ffdf4f52da932e03919c20b99bf7fa6 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Dec 2020 13:18:17 -0500
Subject: Add config flag for selecting numeric solver. Integ with Z3

---
 .../dslreasoner/application/valueconverter/.gitignore    |  2 --
 .../ApplicationConfigurationValueConverterService.java   | 16 ----------------
 2 files changed, 18 deletions(-)
 delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/.gitignore
 delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/.gitignore b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/.gitignore
deleted file mode 100644
index 23da1346..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.ApplicationConfigurationValueConverterService.java._trace
-/.QualifiedNameValueConverter.java._trace
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
deleted file mode 100644
index 59a09906..00000000
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
+++ /dev/null
@@ -1,16 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.application.valueconverter;
-
-import hu.bme.mit.inf.dslreasoner.application.valueconverter.QualifiedNameValueConverter;
-import org.eclipse.xtext.common.services.DefaultTerminalConverters;
-import org.eclipse.xtext.conversion.IValueConverter;
-import org.eclipse.xtext.conversion.ValueConverter;
-
-@SuppressWarnings("all")
-public class ApplicationConfigurationValueConverterService extends DefaultTerminalConverters {
-  private final QualifiedNameValueConverter converter2 = new QualifiedNameValueConverter();
-  
-  @ValueConverter(rule = "QualifiedName")
-  public IValueConverter<String> QualifiedName() {
-    return this.converter2;
-  }
-}
-- 
cgit v1.2.3-54-g00ecf