Esempio n. 1
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 @Override
 public void eUnset(int featureID) {
   switch (featureID) {
     case ScenarioPackage.SCENARIO__PIDS:
       getPids().clear();
       return;
     case ScenarioPackage.SCENARIO__FIRED_TRANSITIONS:
       getFiredTransitions().clear();
       return;
   }
   super.eUnset(featureID);
 }
Esempio n. 2
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 @SuppressWarnings("unchecked")
 @Override
 public void eSet(int featureID, Object newValue) {
   switch (featureID) {
     case ScenarioPackage.SCENARIO__PIDS:
       getPids().clear();
       getPids().addAll((Collection<? extends Pid>) newValue);
       return;
     case ScenarioPackage.SCENARIO__FIRED_TRANSITIONS:
       getFiredTransitions().clear();
       getFiredTransitions().addAll((Collection<? extends Transition>) newValue);
       return;
   }
   super.eSet(featureID, newValue);
 }