Satelite case study update for Models-Attribute paper

1 files changed, 46 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
index 3b9d7ecf..4c5ea937 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
@@ -14,6 +14,8 @@ import org.eclipse.emf.ecore.EObject;
  * </p>
  * <ul>
  *   <li>{@link satellite.CommSubsystem#getTarget <em>Target</em>}</li>
+ *   <li>{@link satellite.CommSubsystem#getFrequency <em>Frequency</em>}</li>
+ *   <li>{@link satellite.CommSubsystem#getPathLength <em>Path Length</em>}</li>
  * </ul>
  *
  * @see satellite.SatellitePackage#getCommSubsystem()
@@ -44,4 +46,48 @@ public interface CommSubsystem extends EObject {
          */
         void setTarget(CommSubsystem value);
 
+        /**
+         * Returns the value of the '<em><b>Frequency</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Frequency</em>' attribute.
+         * @see #setFrequency(int)
+         * @see satellite.SatellitePackage#getCommSubsystem_Frequency()
+         * @model required="true"
+         * @generated
+         */
+        int getFrequency();
+
+        /**
+         * Sets the value of the '{@link satellite.CommSubsystem#getFrequency <em>Frequency</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Frequency</em>' attribute.
+         * @see #getFrequency()
+         * @generated
+         */
+        void setFrequency(int value);
+
+        /**
+         * Returns the value of the '<em><b>Path Length</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Path Length</em>' attribute.
+         * @see #setPathLength(int)
+         * @see satellite.SatellitePackage#getCommSubsystem_PathLength()
+         * @model required="true"
+         * @generated
+         */
+        int getPathLength();
+
+        /**
+         * Sets the value of the '{@link satellite.CommSubsystem#getPathLength <em>Path Length</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Path Length</em>' attribute.
+         * @see #getPathLength()
+         * @generated
+         */
+        void setPathLength(int value);
+
 } // CommSubsystem