1 files changed, 30 insertions, 2 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
index 41874b35..b2df645a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.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;

 

@@ -265,6 +265,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Metamodel getMetamodel()

   {

     return metamodel;

@@ -292,6 +293,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMetamodel(Metamodel newMetamodel)

   {

     if (newMetamodel != metamodel)

@@ -313,6 +315,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModel getPartialModel()

   {

     return partialModel;

@@ -340,6 +343,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPartialModel(PartialModel newPartialModel)

   {

     if (newPartialModel != partialModel)

@@ -361,6 +365,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPattern getPatterns()

   {

     return patterns;

@@ -388,6 +393,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPatterns(GraphPattern newPatterns)

   {

     if (newPatterns != patterns)

@@ -409,6 +415,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Scope getScope()

   {

     return scope;

@@ -436,6 +443,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setScope(Scope newScope)

   {

     if (newScope != scope)

@@ -457,6 +465,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isNumberSpecified()

   {

     return numberSpecified;

@@ -467,6 +476,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setNumberSpecified(boolean newNumberSpecified)

   {

     boolean oldNumberSpecified = numberSpecified;

@@ -480,6 +490,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getNumber()

   {

     return number;

@@ -490,6 +501,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setNumber(int newNumber)

   {

     int oldNumber = number;

@@ -503,6 +515,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isRunSpecified()

   {

     return runSpecified;

@@ -513,6 +526,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setRunSpecified(boolean newRunSpecified)

   {

     boolean oldRunSpecified = runSpecified;

@@ -526,6 +540,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getRuns()

   {

     return runs;

@@ -536,6 +551,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setRuns(int newRuns)

   {

     int oldRuns = runs;

@@ -549,6 +565,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Solver getSolver()

   {

     return solver;

@@ -559,6 +576,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSolver(Solver newSolver)

   {

     Solver oldSolver = solver;

@@ -572,6 +590,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Config getConfig()

   {

     return config;

@@ -599,6 +618,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setConfig(Config newConfig)

   {

     if (newConfig != config)

@@ -620,6 +640,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getDebugFolder()

   {

     return debugFolder;

@@ -647,6 +668,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setDebugFolder(File newDebugFolder)

   {

     if (newDebugFolder != debugFolder)

@@ -668,6 +690,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTargetLogFile()

   {

     return targetLogFile;

@@ -695,6 +718,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTargetLogFile(File newTargetLogFile)

   {

     if (newTargetLogFile != targetLogFile)

@@ -716,6 +740,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTargetStatisticsFile()

   {

     return targetStatisticsFile;

@@ -743,6 +768,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTargetStatisticsFile(File newTargetStatisticsFile)

   {

     if (newTargetStatisticsFile != targetStatisticsFile)

@@ -764,6 +790,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTagetFolder()

   {

     return tagetFolder;

@@ -791,6 +818,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTagetFolder(File newTagetFolder)

   {

     if (newTagetFolder != tagetFolder)

@@ -1045,7 +1073,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   {

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

 

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

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

     result.append(" (numberSpecified: ");

     result.append(numberSpecified);

     result.append(", number: ");