1 files changed, 1 insertions, 159 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index 7f2bee5b..42ac7d67 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -1,5 +1,5 @@
 /**
- * generated by Xtext 2.16.0
+ * generated by Xtext 2.17.0
  */
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
 
@@ -7,7 +7,6 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPackag
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatternEntry;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CftImport;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command;
@@ -49,7 +48,6 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;
@@ -73,8 +71,6 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnume
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEntry;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
@@ -91,12 +87,6 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeRefer
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ViatraImport;
 
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
-
 import org.eclipse.emf.ecore.EAttribute;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.EEnum;
@@ -162,13 +152,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  private EClass cftImportEClass = null;
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
   private EClass declarationEClass = null;
 
   /**
@@ -400,27 +383,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  private EClass reliabilityObjectiveFunctionEClass = null;
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  private EClass reliabiltiyProbabilityEClass = null;
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  private EClass mtffEClass = null;
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
   private EClass objectiveDeclarationEClass = null;
 
   /**
@@ -767,14 +729,11 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     isInited = true;
 
     // Initialize simple dependencies
-    CftLanguagePackage.eINSTANCE.eClass();
     EcorePackage.eINSTANCE.eClass();
     PatternLanguagePackage.eINSTANCE.eClass();
-    CftPackage.eINSTANCE.eClass();
     XtypePackage.eINSTANCE.eClass();
     TypesPackage.eINSTANCE.eClass();
     XbasePackage.eINSTANCE.eClass();
-    FtPackage.eINSTANCE.eClass();
 
     // Create package meta-data objects
     theApplicationConfigurationPackage.createPackageContents();
@@ -895,28 +854,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EClass getCftImport()
-  {
-    return cftImportEClass;
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EReference getCftImport_ImportedCft()
-  {
-    return (EReference)cftImportEClass.getEStructuralFeatures().get(0);
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
   public EClass getDeclaration()
   {
     return declarationEClass;
@@ -1610,72 +1547,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EClass getReliabilityObjectiveFunction()
-  {
-    return reliabilityObjectiveFunctionEClass;
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EReference getReliabilityObjectiveFunction_Package()
-  {
-    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(0);
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EReference getReliabilityObjectiveFunction_Transformation()
-  {
-    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(1);
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EClass getReliabiltiyProbability()
-  {
-    return reliabiltiyProbabilityEClass;
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EAttribute getReliabiltiyProbability_Time()
-  {
-    return (EAttribute)reliabiltiyProbabilityEClass.getEStructuralFeatures().get(0);
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
-  public EClass getMtff()
-  {
-    return mtffEClass;
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  @Override
   public EClass getObjectiveDeclaration()
   {
     return objectiveDeclarationEClass;
@@ -2683,9 +2554,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     viatraImportEClass = createEClass(VIATRA_IMPORT);
     createEReference(viatraImportEClass, VIATRA_IMPORT__IMPORTED_VIATRA);
 
-    cftImportEClass = createEClass(CFT_IMPORT);
-    createEReference(cftImportEClass, CFT_IMPORT__IMPORTED_CFT);
-
     declarationEClass = createEClass(DECLARATION);
     createEAttribute(declarationEClass, DECLARATION__NAME);
 
@@ -2782,15 +2650,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     createEReference(costEntryEClass, COST_ENTRY__PATTERN_ELEMENT);
     createEAttribute(costEntryEClass, COST_ENTRY__WEIGHT);
 
-    reliabilityObjectiveFunctionEClass = createEClass(RELIABILITY_OBJECTIVE_FUNCTION);
-    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE);
-    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION);
-
-    reliabiltiyProbabilityEClass = createEClass(RELIABILTIY_PROBABILITY);
-    createEAttribute(reliabiltiyProbabilityEClass, RELIABILTIY_PROBABILITY__TIME);
-
-    mtffEClass = createEClass(MTFF);
-
     objectiveDeclarationEClass = createEClass(OBJECTIVE_DECLARATION);
     createEReference(objectiveDeclarationEClass, OBJECTIVE_DECLARATION__SPECIFICATION);
 
@@ -2948,7 +2807,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     // Obtain other dependent packages
     EcorePackage theEcorePackage = (EcorePackage)EPackage.Registry.INSTANCE.getEPackage(EcorePackage.eNS_URI);
     PatternLanguagePackage thePatternLanguagePackage = (PatternLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(PatternLanguagePackage.eNS_URI);
-    CftLanguagePackage theCftLanguagePackage = (CftLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(CftLanguagePackage.eNS_URI);
 
     // Create type parameters
 
@@ -2957,7 +2815,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     // Add supertypes to classes
     ePackageImportEClass.getESuperTypes().add(this.getImport());
     viatraImportEClass.getESuperTypes().add(this.getImport());
-    cftImportEClass.getESuperTypes().add(this.getImport());
     declarationEClass.getESuperTypes().add(this.getCommand());
     fileSpecificationEClass.getESuperTypes().add(this.getFile());
     fileDeclarationEClass.getESuperTypes().add(this.getDeclaration());
@@ -2981,9 +2838,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     optimizationEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
     thresholdEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
     costObjectiveFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
-    reliabilityObjectiveFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
-    reliabiltiyProbabilityEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
-    mtffEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
     objectiveDeclarationEClass.getESuperTypes().add(this.getDeclaration());
     objectiveReferenceEClass.getESuperTypes().add(this.getObjective());
     configSpecificationEClass.getESuperTypes().add(this.getConfig());
@@ -3032,9 +2886,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     initEClass(viatraImportEClass, ViatraImport.class, "ViatraImport", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
     initEReference(getViatraImport_ImportedViatra(), thePatternLanguagePackage.getPatternModel(), null, "importedViatra", null, 0, 1, ViatraImport.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
-    initEClass(cftImportEClass, CftImport.class, "CftImport", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEReference(getCftImport_ImportedCft(), theCftLanguagePackage.getCftModel(), null, "importedCft", null, 0, 1, CftImport.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
     initEClass(declarationEClass, Declaration.class, "Declaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
     initEAttribute(getDeclaration_Name(), theEcorePackage.getEString(), "name", null, 0, 1, Declaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
@@ -3131,15 +2982,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     initEReference(getCostEntry_PatternElement(), this.getPatternElement(), null, "patternElement", null, 0, 1, CostEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
     initEAttribute(getCostEntry_Weight(), theEcorePackage.getEInt(), "weight", null, 0, 1, CostEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
-    initEClass(reliabilityObjectiveFunctionEClass, ReliabilityObjectiveFunction.class, "ReliabilityObjectiveFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEReference(getReliabilityObjectiveFunction_Package(), theCftLanguagePackage.getCftModel(), null, "package", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEReference(getReliabilityObjectiveFunction_Transformation(), theCftLanguagePackage.getTransformationDefinition(), null, "transformation", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
-    initEClass(reliabiltiyProbabilityEClass, ReliabiltiyProbability.class, "ReliabiltiyProbability", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEAttribute(getReliabiltiyProbability_Time(), theEcorePackage.getEBigDecimal(), "time", null, 0, 1, ReliabiltiyProbability.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
-    initEClass(mtffEClass, Mtff.class, "Mtff", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
     initEClass(objectiveDeclarationEClass, ObjectiveDeclaration.class, "ObjectiveDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
     initEReference(getObjectiveDeclaration_Specification(), this.getObjectiveSpecification(), null, "specification", null, 0, 1, ObjectiveDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);