From d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Sat, 16 Feb 2019 00:43:11 +0100
Subject: Two-valued fault tree analyzer WIP

---
 .../faulttree/model/ft/impl/KOfMGateImpl.java      | 56 ----------------------
 1 file changed, 56 deletions(-)

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
index 0f0dd205..47ca936b 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
@@ -20,7 +20,6 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
  * </p>
  * <ul>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getK <em>K</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getM <em>M</em>}</li>
  * </ul>
  *
  * @generated
@@ -46,26 +45,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 	 */
 	protected int k = K_EDEFAULT;
 
-	/**
-	 * The default value of the '{@link #getM() <em>M</em>}' attribute.
-	 * <!-- begin-user-doc -->
-	 * <!-- end-user-doc -->
-	 * @see #getM()
-	 * @generated
-	 * @ordered
-	 */
-	protected static final int M_EDEFAULT = 0;
-
-	/**
-	 * The cached value of the '{@link #getM() <em>M</em>}' attribute.
-	 * <!-- begin-user-doc -->
-	 * <!-- end-user-doc -->
-	 * @see #getM()
-	 * @generated
-	 * @ordered
-	 */
-	protected int m = M_EDEFAULT;
-
 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
@@ -108,29 +87,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 			eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__K, oldK, k));
 	}
 
-	/**
-	 * <!-- begin-user-doc -->
-	 * <!-- end-user-doc -->
-	 * @generated
-	 */
-	@Override
-	public int getM() {
-		return m;
-	}
-
-	/**
-	 * <!-- begin-user-doc -->
-	 * <!-- end-user-doc -->
-	 * @generated
-	 */
-	@Override
-	public void setM(int newM) {
-		int oldM = m;
-		m = newM;
-		if (eNotificationRequired())
-			eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__M, oldM, m));
-	}
-
 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
@@ -141,8 +97,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 		switch (featureID) {
 			case FtPackage.KOF_MGATE__K:
 				return getK();
-			case FtPackage.KOF_MGATE__M:
-				return getM();
 		}
 		return super.eGet(featureID, resolve, coreType);
 	}
@@ -158,9 +112,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 			case FtPackage.KOF_MGATE__K:
 				setK((Integer)newValue);
 				return;
-			case FtPackage.KOF_MGATE__M:
-				setM((Integer)newValue);
-				return;
 		}
 		super.eSet(featureID, newValue);
 	}
@@ -176,9 +127,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 			case FtPackage.KOF_MGATE__K:
 				setK(K_EDEFAULT);
 				return;
-			case FtPackage.KOF_MGATE__M:
-				setM(M_EDEFAULT);
-				return;
 		}
 		super.eUnset(featureID);
 	}
@@ -193,8 +141,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 		switch (featureID) {
 			case FtPackage.KOF_MGATE__K:
 				return k != K_EDEFAULT;
-			case FtPackage.KOF_MGATE__M:
-				return m != M_EDEFAULT;
 		}
 		return super.eIsSet(featureID);
 	}
@@ -211,8 +157,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate {
 		StringBuilder result = new StringBuilder(super.toString());
 		result.append(" (k: ");
 		result.append(k);
-		result.append(", m: ");
-		result.append(m);
 		result.append(')');
 		return result.toString();
 	}
-- 
cgit v1.2.3-70-g09d2