1 files changed, 8 insertions, 2 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
index 98a96254..dcbaed1d 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -115,6 +115,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMin()

   {

     return min;

@@ -125,6 +126,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMin(int newMin)

   {

     int oldMin = min;

@@ -138,6 +140,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMaxNumber()

   {

     return maxNumber;

@@ -148,6 +151,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMaxNumber(int newMaxNumber)

   {

     int oldMaxNumber = maxNumber;

@@ -161,6 +165,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isMaxUnlimited()

   {

     return maxUnlimited;

@@ -171,6 +176,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMaxUnlimited(boolean newMaxUnlimited)

   {

     boolean oldMaxUnlimited = maxUnlimited;

@@ -275,7 +281,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (min: ");

     result.append(min);

     result.append(", maxNumber: ");