Satellite constellation case study WIP

2 files changed, 561 insertions, 0 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureAdapterFactory.java b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureAdapterFactory.java
new file mode 100644
index 00000000..ed0d9819
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureAdapterFactory.java
@@ -0,0 +1,272 @@
+/**
+ */
+package functionalarchitecture.util;
+
+import functionalarchitecture.FAMTerminator;
+import functionalarchitecture.Function;
+import functionalarchitecture.FunctionalArchitectureModel;
+import functionalarchitecture.FunctionalData;
+import functionalarchitecture.FunctionalElement;
+import functionalarchitecture.FunctionalInput;
+import functionalarchitecture.FunctionalOutput;
+import functionalarchitecture.FunctionalarchitecturePackage;
+import functionalarchitecture.InformationLink;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see functionalarchitecture.FunctionalarchitecturePackage
+ * @generated
+ */
+public class FunctionalarchitectureAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FunctionalarchitecturePackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FunctionalarchitectureAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = FunctionalarchitecturePackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FunctionalarchitectureSwitch<Adapter> modelSwitch =
+                new FunctionalarchitectureSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseFunctionalElement(FunctionalElement object) {
+                                return createFunctionalElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionalArchitectureModel(FunctionalArchitectureModel object) {
+                                return createFunctionalArchitectureModelAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunction(Function object) {
+                                return createFunctionAdapter();
+                        }
+                        @Override
+                        public Adapter caseFAMTerminator(FAMTerminator object) {
+                                return createFAMTerminatorAdapter();
+                        }
+                        @Override
+                        public Adapter caseInformationLink(InformationLink object) {
+                                return createInformationLinkAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionalInterface(functionalarchitecture.FunctionalInterface object) {
+                                return createFunctionalInterfaceAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionalInput(FunctionalInput object) {
+                                return createFunctionalInputAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionalOutput(FunctionalOutput object) {
+                                return createFunctionalOutputAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionalData(FunctionalData object) {
+                                return createFunctionalDataAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalElement <em>Functional Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalElement
+         * @generated
+         */
+        public Adapter createFunctionalElementAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalArchitectureModel <em>Functional Architecture Model</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalArchitectureModel
+         * @generated
+         */
+        public Adapter createFunctionalArchitectureModelAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.Function <em>Function</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.Function
+         * @generated
+         */
+        public Adapter createFunctionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FAMTerminator <em>FAM Terminator</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FAMTerminator
+         * @generated
+         */
+        public Adapter createFAMTerminatorAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.InformationLink <em>Information Link</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.InformationLink
+         * @generated
+         */
+        public Adapter createInformationLinkAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalInterface <em>Functional Interface</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalInterface
+         * @generated
+         */
+        public Adapter createFunctionalInterfaceAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalInput <em>Functional Input</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalInput
+         * @generated
+         */
+        public Adapter createFunctionalInputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalOutput <em>Functional Output</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalOutput
+         * @generated
+         */
+        public Adapter createFunctionalOutputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link functionalarchitecture.FunctionalData <em>Functional Data</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see functionalarchitecture.FunctionalData
+         * @generated
+         */
+        public Adapter createFunctionalDataAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //FunctionalarchitectureAdapterFactory
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureSwitch.java b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureSwitch.java
new file mode 100644
index 00000000..c765346e
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/src/functionalarchitecture/util/FunctionalarchitectureSwitch.java
@@ -0,0 +1,289 @@
+/**
+ */
+package functionalarchitecture.util;
+
+import functionalarchitecture.FAMTerminator;
+import functionalarchitecture.Function;
+import functionalarchitecture.FunctionalArchitectureModel;
+import functionalarchitecture.FunctionalData;
+import functionalarchitecture.FunctionalElement;
+import functionalarchitecture.FunctionalInput;
+import functionalarchitecture.FunctionalOutput;
+import functionalarchitecture.FunctionalarchitecturePackage;
+import functionalarchitecture.InformationLink;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.util.Switch;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see functionalarchitecture.FunctionalarchitecturePackage
+ * @generated
+ */
+public class FunctionalarchitectureSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FunctionalarchitecturePackage modelPackage;
+
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FunctionalarchitectureSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = FunctionalarchitecturePackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case FunctionalarchitecturePackage.FUNCTIONAL_ELEMENT: {
+                                FunctionalElement functionalElement = (FunctionalElement)theEObject;
+                                T result = caseFunctionalElement(functionalElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTIONAL_ARCHITECTURE_MODEL: {
+                                FunctionalArchitectureModel functionalArchitectureModel = (FunctionalArchitectureModel)theEObject;
+                                T result = caseFunctionalArchitectureModel(functionalArchitectureModel);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTION: {
+                                Function function = (Function)theEObject;
+                                T result = caseFunction(function);
+                                if (result == null) result = caseFunctionalElement(function);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FAM_TERMINATOR: {
+                                FAMTerminator famTerminator = (FAMTerminator)theEObject;
+                                T result = caseFAMTerminator(famTerminator);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.INFORMATION_LINK: {
+                                InformationLink informationLink = (InformationLink)theEObject;
+                                T result = caseInformationLink(informationLink);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTIONAL_INTERFACE: {
+                                functionalarchitecture.FunctionalInterface functionalInterface = (functionalarchitecture.FunctionalInterface)theEObject;
+                                T result = caseFunctionalInterface(functionalInterface);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTIONAL_INPUT: {
+                                FunctionalInput functionalInput = (FunctionalInput)theEObject;
+                                T result = caseFunctionalInput(functionalInput);
+                                if (result == null) result = caseFunctionalData(functionalInput);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTIONAL_OUTPUT: {
+                                FunctionalOutput functionalOutput = (FunctionalOutput)theEObject;
+                                T result = caseFunctionalOutput(functionalOutput);
+                                if (result == null) result = caseFunctionalData(functionalOutput);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FunctionalarchitecturePackage.FUNCTIONAL_DATA: {
+                                FunctionalData functionalData = (FunctionalData)theEObject;
+                                T result = caseFunctionalData(functionalData);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalElement(FunctionalElement object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Architecture Model</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Architecture Model</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalArchitectureModel(FunctionalArchitectureModel object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Function</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Function</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunction(Function object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>FAM Terminator</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>FAM Terminator</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFAMTerminator(FAMTerminator object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Information Link</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Information Link</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseInformationLink(InformationLink object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Interface</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Interface</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalInterface(functionalarchitecture.FunctionalInterface object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Input</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Input</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalInput(FunctionalInput object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Output</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Output</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalOutput(FunctionalOutput object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Functional Data</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Functional Data</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFunctionalData(FunctionalData object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+
+} //FunctionalarchitectureSwitch