/***************************************************************************** | |
* Copyright (c) 2011 - 2014 University of Padova, Intecs | |
* | |
* | |
* All rights reserved. This program and the accompanying materials | |
* are made available under the terms of the Eclipse Public License v1.0 | |
* which accompanies this distribution, and is available at | |
* http://www.eclipse.org/legal/epl-v10.html | |
* | |
* | |
*****************************************************************************/ | |
package org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.impl; | |
import org.eclipse.emf.common.notify.Notification; | |
import org.eclipse.emf.common.notify.NotificationChain; | |
import org.eclipse.emf.ecore.EClass; | |
import org.eclipse.emf.ecore.InternalEObject; | |
import org.eclipse.emf.ecore.impl.ENotificationImpl; | |
import org.polarsys.chess.chessmlprofile.Dependability.DependableComponent.impl.DependableComponentImpl; | |
import org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.StateBasedComponentsPackage; | |
import org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.StatefulHardware; | |
/** | |
* <!-- begin-user-doc --> | |
* An implementation of the model object '<em><b>Stateful Hardware</b></em>'. | |
* <!-- end-user-doc --> | |
* <p> | |
* The following features are implemented: | |
* </p> | |
* <ul> | |
* <li>{@link org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.impl.StatefulHardwareImpl#getProbPermFault <em>Prob Perm Fault</em>}</li> | |
* <li>{@link org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.impl.StatefulHardwareImpl#getErrorLatency <em>Error Latency</em>}</li> | |
* <li>{@link org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.impl.StatefulHardwareImpl#getRepairDelay <em>Repair Delay</em>}</li> | |
* <li>{@link org.polarsys.chess.chessmlprofile.Dependability.StateBased.StateBasedComponents.impl.StatefulHardwareImpl#getFaultOcc <em>Fault Occ</em>}</li> | |
* </ul> | |
* | |
* @generated | |
*/ | |
public class StatefulHardwareImpl extends DependableComponentImpl implements StatefulHardware { | |
/** | |
* The default value of the '{@link #getProbPermFault() <em>Prob Perm Fault</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getProbPermFault() | |
* @generated | |
* @ordered | |
*/ | |
protected static final String PROB_PERM_FAULT_EDEFAULT = null; | |
/** | |
* The cached value of the '{@link #getProbPermFault() <em>Prob Perm Fault</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getProbPermFault() | |
* @generated | |
* @ordered | |
*/ | |
protected String probPermFault = PROB_PERM_FAULT_EDEFAULT; | |
/** | |
* The default value of the '{@link #getErrorLatency() <em>Error Latency</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getErrorLatency() | |
* @generated | |
* @ordered | |
*/ | |
protected static final String ERROR_LATENCY_EDEFAULT = null; | |
/** | |
* The cached value of the '{@link #getErrorLatency() <em>Error Latency</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getErrorLatency() | |
* @generated | |
* @ordered | |
*/ | |
protected String errorLatency = ERROR_LATENCY_EDEFAULT; | |
/** | |
* The default value of the '{@link #getRepairDelay() <em>Repair Delay</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getRepairDelay() | |
* @generated | |
* @ordered | |
*/ | |
protected static final String REPAIR_DELAY_EDEFAULT = null; | |
/** | |
* The cached value of the '{@link #getRepairDelay() <em>Repair Delay</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getRepairDelay() | |
* @generated | |
* @ordered | |
*/ | |
protected String repairDelay = REPAIR_DELAY_EDEFAULT; | |
/** | |
* The default value of the '{@link #getFaultOcc() <em>Fault Occ</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getFaultOcc() | |
* @generated | |
* @ordered | |
*/ | |
protected static final String FAULT_OCC_EDEFAULT = null; | |
/** | |
* The cached value of the '{@link #getFaultOcc() <em>Fault Occ</em>}' attribute. | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @see #getFaultOcc() | |
* @generated | |
* @ordered | |
*/ | |
protected String faultOcc = FAULT_OCC_EDEFAULT; | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
protected StatefulHardwareImpl() { | |
super(); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
protected EClass eStaticClass() { | |
return StateBasedComponentsPackage.Literals.STATEFUL_HARDWARE; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public String getProbPermFault() { | |
return probPermFault; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setProbPermFault(String newProbPermFault) { | |
String oldProbPermFault = probPermFault; | |
probPermFault = newProbPermFault; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, StateBasedComponentsPackage.STATEFUL_HARDWARE__PROB_PERM_FAULT, oldProbPermFault, probPermFault)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public String getErrorLatency() { | |
return errorLatency; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setErrorLatency(String newErrorLatency) { | |
String oldErrorLatency = errorLatency; | |
errorLatency = newErrorLatency; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, StateBasedComponentsPackage.STATEFUL_HARDWARE__ERROR_LATENCY, oldErrorLatency, errorLatency)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public String getRepairDelay() { | |
return repairDelay; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setRepairDelay(String newRepairDelay) { | |
String oldRepairDelay = repairDelay; | |
repairDelay = newRepairDelay; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, StateBasedComponentsPackage.STATEFUL_HARDWARE__REPAIR_DELAY, oldRepairDelay, repairDelay)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public String getFaultOcc() { | |
return faultOcc; | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
public void setFaultOcc(String newFaultOcc) { | |
String oldFaultOcc = faultOcc; | |
faultOcc = newFaultOcc; | |
if (eNotificationRequired()) | |
eNotify(new ENotificationImpl(this, Notification.SET, StateBasedComponentsPackage.STATEFUL_HARDWARE__FAULT_OCC, oldFaultOcc, faultOcc)); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public Object eGet(int featureID, boolean resolve, boolean coreType) { | |
switch (featureID) { | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__PROB_PERM_FAULT: | |
return getProbPermFault(); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__ERROR_LATENCY: | |
return getErrorLatency(); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__REPAIR_DELAY: | |
return getRepairDelay(); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__FAULT_OCC: | |
return getFaultOcc(); | |
} | |
return super.eGet(featureID, resolve, coreType); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public void eSet(int featureID, Object newValue) { | |
switch (featureID) { | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__PROB_PERM_FAULT: | |
setProbPermFault((String)newValue); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__ERROR_LATENCY: | |
setErrorLatency((String)newValue); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__REPAIR_DELAY: | |
setRepairDelay((String)newValue); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__FAULT_OCC: | |
setFaultOcc((String)newValue); | |
return; | |
} | |
super.eSet(featureID, newValue); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public void eUnset(int featureID) { | |
switch (featureID) { | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__PROB_PERM_FAULT: | |
setProbPermFault(PROB_PERM_FAULT_EDEFAULT); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__ERROR_LATENCY: | |
setErrorLatency(ERROR_LATENCY_EDEFAULT); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__REPAIR_DELAY: | |
setRepairDelay(REPAIR_DELAY_EDEFAULT); | |
return; | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__FAULT_OCC: | |
setFaultOcc(FAULT_OCC_EDEFAULT); | |
return; | |
} | |
super.eUnset(featureID); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public boolean eIsSet(int featureID) { | |
switch (featureID) { | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__PROB_PERM_FAULT: | |
return PROB_PERM_FAULT_EDEFAULT == null ? probPermFault != null : !PROB_PERM_FAULT_EDEFAULT.equals(probPermFault); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__ERROR_LATENCY: | |
return ERROR_LATENCY_EDEFAULT == null ? errorLatency != null : !ERROR_LATENCY_EDEFAULT.equals(errorLatency); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__REPAIR_DELAY: | |
return REPAIR_DELAY_EDEFAULT == null ? repairDelay != null : !REPAIR_DELAY_EDEFAULT.equals(repairDelay); | |
case StateBasedComponentsPackage.STATEFUL_HARDWARE__FAULT_OCC: | |
return FAULT_OCC_EDEFAULT == null ? faultOcc != null : !FAULT_OCC_EDEFAULT.equals(faultOcc); | |
} | |
return super.eIsSet(featureID); | |
} | |
/** | |
* <!-- begin-user-doc --> | |
* <!-- end-user-doc --> | |
* @generated | |
*/ | |
@Override | |
public String toString() { | |
if (eIsProxy()) return super.toString(); | |
StringBuffer result = new StringBuffer(super.toString()); | |
result.append(" (probPermFault: "); | |
result.append(probPermFault); | |
result.append(", errorLatency: "); | |
result.append(errorLatency); | |
result.append(", repairDelay: "); | |
result.append(repairDelay); | |
result.append(", faultOcc: "); | |
result.append(faultOcc); | |
result.append(')'); | |
return result.toString(); | |
} | |
} //StatefulHardwareImpl |