From b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy
- * If the meaning of 'LOW' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'MEDIUM' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'HIGH' literal object isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Band' attribute isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Gain' attribute isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Comm Subsystem' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Communication Link' containment reference isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Ground Station Network' containment reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Spacecraft' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Source' reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Target' reference isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Observation Time' attribute isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Payload' containment reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Kind' attribute isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'Cube Sat3 U' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'Cube Sat6 U' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'Small Sat' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'UHF' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'X' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'Ka' literal object isn't clear,
- * there really should be more of a description here...
- *
- * The following features are implemented:
- *
- * The following features are implemented:
- *
- * The following features are implemented:
- *
- * The following features are implemented:
- *
- * The following features are implemented:
- * Note: the correct way to create the package is via the static
- * factory method {@link #init init()}, which also performs
- * initialization of the package, or returns the registered package,
- * if one already exists.
- *
- *
- * @see org.eclipse.emf.ecore.EPackage.Registry
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#eNS_URI
- * @see #init()
- * @generated
- */
- private SatellitePackageImpl() {
- super(eNS_URI, SatelliteFactory.eINSTANCE);
- }
-
- /**
- *
- *
- * @generated
- */
- private static boolean isInited = false;
-
- /**
- * Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
- *
- * This method is used to initialize {@link SatellitePackage#eINSTANCE} when that field is accessed.
- * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
- *
- *
- * @see #eNS_URI
- * @see #createPackageContents()
- * @see #initializePackageContents()
- * @generated
- */
- public static SatellitePackage init() {
- if (isInited)
- return (SatellitePackage) EPackage.Registry.INSTANCE.getEPackage(SatellitePackage.eNS_URI);
-
- // Obtain or create and register package
- Object registeredSatellitePackage = EPackage.Registry.INSTANCE.get(eNS_URI);
- SatellitePackageImpl theSatellitePackage = registeredSatellitePackage instanceof SatellitePackageImpl
- ? (SatellitePackageImpl) registeredSatellitePackage
- : new SatellitePackageImpl();
-
- isInited = true;
-
- // Create package meta-data objects
- theSatellitePackage.createPackageContents();
-
- // Initialize created meta-data
- theSatellitePackage.initializePackageContents();
-
- // Mark meta-data to indicate it can't be changed
- theSatellitePackage.freeze();
-
- // Update the registry and return the package
- EPackage.Registry.INSTANCE.put(SatellitePackage.eNS_URI, theSatellitePackage);
- return theSatellitePackage;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getConstellationMission() {
- return constellationMissionEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getConstellationMission_GroundStationNetwork() {
- return (EReference) constellationMissionEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getConstellationMission_Spacecraft() {
- return (EReference) constellationMissionEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getInterferometryMission() {
- return interferometryMissionEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getInterferometryMission_ObservationTime() {
- return (EAttribute) interferometryMissionEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCommunicatingElement() {
- return communicatingElementEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getCommunicatingElement_CommSubsystem() {
- return (EReference) communicatingElementEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getCommunicatingElement_CommunicationLink() {
- return (EReference) communicatingElementEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getGroundStationNetwork() {
- return groundStationNetworkEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getSpacecraft() {
- return spacecraftEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getSpacecraft_Payload() {
- return (EReference) spacecraftEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getSpacecraft_Kind() {
- return (EAttribute) spacecraftEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCommSubsystem() {
- return commSubsystemEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getCommSubsystem_Band() {
- return (EAttribute) commSubsystemEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EAttribute getCommSubsystem_Gain() {
- return (EAttribute) commSubsystemEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getDirectedCommunicationLink() {
- return directedCommunicationLinkEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getDirectedCommunicationLink_Source() {
- return (EReference) directedCommunicationLinkEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EReference getDirectedCommunicationLink_Target() {
- return (EReference) directedCommunicationLinkEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getPayload() {
- return payloadEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getInterferometryPayload() {
- return interferometryPayloadEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCubeSat3U() {
- return cubeSat3UEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCubeSat6U() {
- return cubeSat6UEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getSmallSat() {
- return smallSatEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCubeSat() {
- return cubeSatEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EEnum getTransceiverBand() {
- return transceiverBandEEnum;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EEnum getAntennaGain() {
- return antennaGainEEnum;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EEnum getSpacecraftKind() {
- return spacecraftKindEEnum;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public SatelliteFactory getSatelliteFactory() {
- return (SatelliteFactory) getEFactoryInstance();
- }
-
- /**
- *
- *
- * @generated
- */
- private boolean isCreated = false;
-
- /**
- * Creates the meta-model objects for the package. This method is
- * guarded to have no affect on any invocation but its first.
- *
- *
- * @generated
- */
- public void createPackageContents() {
- if (isCreated)
- return;
- isCreated = true;
-
- // Create classes and their features
- constellationMissionEClass = createEClass(CONSTELLATION_MISSION);
- createEReference(constellationMissionEClass, CONSTELLATION_MISSION__GROUND_STATION_NETWORK);
- createEReference(constellationMissionEClass, CONSTELLATION_MISSION__SPACECRAFT);
-
- interferometryMissionEClass = createEClass(INTERFEROMETRY_MISSION);
- createEAttribute(interferometryMissionEClass, INTERFEROMETRY_MISSION__OBSERVATION_TIME);
-
- communicatingElementEClass = createEClass(COMMUNICATING_ELEMENT);
- createEReference(communicatingElementEClass, COMMUNICATING_ELEMENT__COMM_SUBSYSTEM);
- createEReference(communicatingElementEClass, COMMUNICATING_ELEMENT__COMMUNICATION_LINK);
-
- groundStationNetworkEClass = createEClass(GROUND_STATION_NETWORK);
-
- spacecraftEClass = createEClass(SPACECRAFT);
- createEReference(spacecraftEClass, SPACECRAFT__PAYLOAD);
- createEAttribute(spacecraftEClass, SPACECRAFT__KIND);
-
- commSubsystemEClass = createEClass(COMM_SUBSYSTEM);
- createEAttribute(commSubsystemEClass, COMM_SUBSYSTEM__BAND);
- createEAttribute(commSubsystemEClass, COMM_SUBSYSTEM__GAIN);
-
- directedCommunicationLinkEClass = createEClass(DIRECTED_COMMUNICATION_LINK);
- createEReference(directedCommunicationLinkEClass, DIRECTED_COMMUNICATION_LINK__SOURCE);
- createEReference(directedCommunicationLinkEClass, DIRECTED_COMMUNICATION_LINK__TARGET);
-
- payloadEClass = createEClass(PAYLOAD);
-
- interferometryPayloadEClass = createEClass(INTERFEROMETRY_PAYLOAD);
-
- cubeSat3UEClass = createEClass(CUBE_SAT3_U);
-
- cubeSat6UEClass = createEClass(CUBE_SAT6_U);
-
- smallSatEClass = createEClass(SMALL_SAT);
-
- cubeSatEClass = createEClass(CUBE_SAT);
-
- // Create enums
- transceiverBandEEnum = createEEnum(TRANSCEIVER_BAND);
- antennaGainEEnum = createEEnum(ANTENNA_GAIN);
- spacecraftKindEEnum = createEEnum(SPACECRAFT_KIND);
- }
-
- /**
- *
- *
- * @generated
- */
- private boolean isInitialized = false;
-
- /**
- * Complete the initialization of the package and its meta-model. This
- * method is guarded to have no affect on any invocation but its first.
- *
- *
- * @generated
- */
- public void initializePackageContents() {
- if (isInitialized)
- return;
- isInitialized = true;
-
- // Initialize package
- setName(eNAME);
- setNsPrefix(eNS_PREFIX);
- setNsURI(eNS_URI);
-
- // Create type parameters
-
- // Set bounds for type parameters
-
- // Add supertypes to classes
- interferometryMissionEClass.getESuperTypes().add(this.getConstellationMission());
- groundStationNetworkEClass.getESuperTypes().add(this.getCommunicatingElement());
- spacecraftEClass.getESuperTypes().add(this.getCommunicatingElement());
- interferometryPayloadEClass.getESuperTypes().add(this.getPayload());
- cubeSat3UEClass.getESuperTypes().add(this.getCubeSat());
- cubeSat6UEClass.getESuperTypes().add(this.getCubeSat());
- smallSatEClass.getESuperTypes().add(this.getSpacecraft());
- cubeSatEClass.getESuperTypes().add(this.getSpacecraft());
-
- // Initialize classes, features, and operations; add parameters
- initEClass(constellationMissionEClass, ConstellationMission.class, "ConstellationMission", IS_ABSTRACT,
- !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getConstellationMission_GroundStationNetwork(), this.getGroundStationNetwork(), null,
- "groundStationNetwork", null, 1, 1, ConstellationMission.class, !IS_TRANSIENT, !IS_VOLATILE,
- IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getConstellationMission_Spacecraft(), this.getSpacecraft(), null, "spacecraft", null, 2, 50,
- ConstellationMission.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
- !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(interferometryMissionEClass, InterferometryMission.class, "InterferometryMission", !IS_ABSTRACT,
- !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEAttribute(getInterferometryMission_ObservationTime(), ecorePackage.getEFloat(), "observationTime", "2.0",
- 1, 1, InterferometryMission.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID,
- IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(communicatingElementEClass, CommunicatingElement.class, "CommunicatingElement", IS_ABSTRACT,
- !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getCommunicatingElement_CommSubsystem(), this.getCommSubsystem(), null, "commSubsystem", null, 1,
- 2, CommunicatingElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
- !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getCommunicatingElement_CommunicationLink(), this.getDirectedCommunicationLink(), null,
- "communicationLink", null, 0, 1, CommunicatingElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE,
- IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(groundStationNetworkEClass, GroundStationNetwork.class, "GroundStationNetwork", !IS_ABSTRACT,
- !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(spacecraftEClass, Spacecraft.class, "Spacecraft", IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
- initEReference(getSpacecraft_Payload(), this.getPayload(), null, "payload", null, 0, 1, Spacecraft.class,
- !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
- IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getSpacecraft_Kind(), this.getSpacecraftKind(), "kind", null, 1, 1, Spacecraft.class,
- IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, IS_DERIVED, IS_ORDERED);
-
- initEClass(commSubsystemEClass, CommSubsystem.class, "CommSubsystem", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
- initEAttribute(getCommSubsystem_Band(), this.getTransceiverBand(), "band", null, 1, 1, CommSubsystem.class,
- !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getCommSubsystem_Gain(), this.getAntennaGain(), "gain", null, 1, 1, CommSubsystem.class,
- !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(directedCommunicationLinkEClass, DirectedCommunicationLink.class, "DirectedCommunicationLink",
- !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getDirectedCommunicationLink_Source(), this.getCommSubsystem(), null, "source", null, 1, 1,
- DirectedCommunicationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
- IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getDirectedCommunicationLink_Target(), this.getCommSubsystem(), null, "target", null, 1, 1,
- DirectedCommunicationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
- IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(payloadEClass, Payload.class, "Payload", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(interferometryPayloadEClass, InterferometryPayload.class, "InterferometryPayload", !IS_ABSTRACT,
- !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(cubeSat3UEClass, CubeSat3U.class, "CubeSat3U", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(cubeSat6UEClass, CubeSat6U.class, "CubeSat6U", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(smallSatEClass, SmallSat.class, "SmallSat", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(cubeSatEClass, CubeSat.class, "CubeSat", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- // Initialize enums and add enum literals
- initEEnum(transceiverBandEEnum, TransceiverBand.class, "TransceiverBand");
- addEEnumLiteral(transceiverBandEEnum, TransceiverBand.UHF);
- addEEnumLiteral(transceiverBandEEnum, TransceiverBand.X);
- addEEnumLiteral(transceiverBandEEnum, TransceiverBand.KA);
-
- initEEnum(antennaGainEEnum, AntennaGain.class, "AntennaGain");
- addEEnumLiteral(antennaGainEEnum, AntennaGain.LOW);
- addEEnumLiteral(antennaGainEEnum, AntennaGain.MEDIUM);
- addEEnumLiteral(antennaGainEEnum, AntennaGain.HIGH);
-
- initEEnum(spacecraftKindEEnum, SpacecraftKind.class, "SpacecraftKind");
- addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.CUBE_SAT3_U);
- addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.CUBE_SAT6_U);
- addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.SMALL_SAT);
-
- // Create resource
- createResource(eNS_URI);
- }
-
-} //SatellitePackageImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java
deleted file mode 100644
index 522991ad..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Small Sat'.
- *
- *
- * @generated
- */
-public class SmallSatImpl extends SpacecraftImpl implements SmallSat {
- /**
- *
- *
- * @generated
- */
- protected SmallSatImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.SMALL_SAT;
- }
-
-} //SmallSatImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java
deleted file mode 100644
index 9d74270a..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java
+++ /dev/null
@@ -1,212 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.Payload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind;
-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;
-
-/**
- *
- * An implementation of the model object 'Spacecraft'.
- *
- *
- * The following features are implemented:
- *
- * If the meaning of 'LOW' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'MEDIUM' literal object isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of 'HIGH' literal object isn't clear,
- * there really should be more of a description here...
- *
- * The following features are supported:
- *
- * If the meaning of the 'Band' attribute isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Gain' attribute isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Comm Subsystem' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Communication Link' containment reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Ground Station Network' containment reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Spacecraft' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Source' reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Target' reference isn't clear,
- * there really should be more of a description here...
- *
- * If the meaning of the 'Observation Time' attribute isn't clear,
- * there really should be more of a description here...
- * null
.
- * @generated
- */
- public static AntennaGain get(String literal) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- AntennaGain result = VALUES_ARRAY[i];
- if (result.toString().equals(literal)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Antenna Gain' literal with the specified name.
- *
- *
- * @param name the name.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static AntennaGain getByName(String name) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- AntennaGain result = VALUES_ARRAY[i];
- if (result.getName().equals(name)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Antenna Gain' literal with the specified integer value.
- *
- *
- * @param value the integer value.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static AntennaGain get(int value) {
- switch (value) {
- case LOW_VALUE:
- return LOW;
- case MEDIUM_VALUE:
- return MEDIUM;
- case HIGH_VALUE:
- return HIGH;
- }
- return null;
- }
-
- /**
- *
- *
- * @generated
- */
- private final int value;
-
- /**
- *
- *
- * @generated
- */
- private final String name;
-
- /**
- *
- *
- * @generated
- */
- private final String literal;
-
- /**
- * Only this class can construct instances.
- *
- *
- * @generated
- */
- private AntennaGain(int value, String name, String literal) {
- this.value = value;
- this.name = name;
- this.literal = literal;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getValue() {
- return value;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getName() {
- return name;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getLiteral() {
- return literal;
- }
-
- /**
- * Returns the literal value of the enumerator, which is its string representation.
- *
- *
- * @generated
- */
- @Override
- public String toString() {
- return literal;
- }
-
-} //AntennaGain
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/CommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/CommSubsystem.java
deleted file mode 100644
index 255bfc4e..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/CommSubsystem.java
+++ /dev/null
@@ -1,83 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite;
-
-import org.eclipse.emf.ecore.EObject;
-
-/**
- *
- * A representation of the model object 'Comm Subsystem'.
- *
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getCommSubsystem()
- * @model
- * @generated
- */
-public interface CommSubsystem extends EObject {
- /**
- * Returns the value of the 'Band' attribute.
- * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand}.
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getCommunicatingElement()
- * @model abstract="true"
- * @generated
- */
-public interface CommunicatingElement extends EObject {
- /**
- * Returns the value of the 'Comm Subsystem' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem}.
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getConstellationMission()
- * @model abstract="true"
- * @generated
- */
-public interface ConstellationMission extends EObject {
- /**
- * Returns the value of the 'Ground Station Network' containment reference.
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getDirectedCommunicationLink()
- * @model
- * @generated
- */
-public interface DirectedCommunicationLink extends EObject {
- /**
- * Returns the value of the 'Source' reference.
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getInterferometryMission()
- * @model
- * @generated
- */
-public interface InterferometryMission extends ConstellationMission {
- /**
- * Returns the value of the 'Observation Time' attribute.
- * The default value is "2.0"
.
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatelliteFactory
- * @model kind="package"
- * @generated
- */
-public interface SatellitePackage extends EPackage {
- /**
- * The package name.
- *
- *
- * @generated
- */
- String eNAME = "satellite";
-
- /**
- * The package namespace URI.
- *
- *
- * @generated
- */
- String eNS_URI = "http://www.example.org/satellite";
-
- /**
- * The package namespace name.
- *
- *
- * @generated
- */
- String eNS_PREFIX = "satellite";
-
- /**
- * The singleton instance of the package.
- *
- *
- * @generated
- */
- SatellitePackage eINSTANCE = hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl.init();
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.ConstellationMissionImpl Constellation Mission}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.ConstellationMissionImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getConstellationMission()
- * @generated
- */
- int CONSTELLATION_MISSION = 0;
-
- /**
- * The feature id for the 'Ground Station Network' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CONSTELLATION_MISSION__GROUND_STATION_NETWORK = 0;
-
- /**
- * The feature id for the 'Spacecraft' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CONSTELLATION_MISSION__SPACECRAFT = 1;
-
- /**
- * The number of structural features of the 'Constellation Mission' class.
- *
- *
- * @generated
- * @ordered
- */
- int CONSTELLATION_MISSION_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Constellation Mission' class.
- *
- *
- * @generated
- * @ordered
- */
- int CONSTELLATION_MISSION_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryMissionImpl Interferometry Mission}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryMissionImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getInterferometryMission()
- * @generated
- */
- int INTERFEROMETRY_MISSION = 1;
-
- /**
- * The feature id for the 'Ground Station Network' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_MISSION__GROUND_STATION_NETWORK = CONSTELLATION_MISSION__GROUND_STATION_NETWORK;
-
- /**
- * The feature id for the 'Spacecraft' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_MISSION__SPACECRAFT = CONSTELLATION_MISSION__SPACECRAFT;
-
- /**
- * The feature id for the 'Observation Time' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_MISSION__OBSERVATION_TIME = CONSTELLATION_MISSION_FEATURE_COUNT + 0;
-
- /**
- * The number of structural features of the 'Interferometry Mission' class.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_MISSION_FEATURE_COUNT = CONSTELLATION_MISSION_FEATURE_COUNT + 1;
-
- /**
- * The number of operations of the 'Interferometry Mission' class.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_MISSION_OPERATION_COUNT = CONSTELLATION_MISSION_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommunicatingElementImpl Communicating Element}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommunicatingElementImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCommunicatingElement()
- * @generated
- */
- int COMMUNICATING_ELEMENT = 2;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int COMMUNICATING_ELEMENT__COMM_SUBSYSTEM = 0;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int COMMUNICATING_ELEMENT__COMMUNICATION_LINK = 1;
-
- /**
- * The number of structural features of the 'Communicating Element' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMMUNICATING_ELEMENT_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Communicating Element' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMMUNICATING_ELEMENT_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.GroundStationNetworkImpl Ground Station Network}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.GroundStationNetworkImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getGroundStationNetwork()
- * @generated
- */
- int GROUND_STATION_NETWORK = 3;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int GROUND_STATION_NETWORK__COMM_SUBSYSTEM = COMMUNICATING_ELEMENT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int GROUND_STATION_NETWORK__COMMUNICATION_LINK = COMMUNICATING_ELEMENT__COMMUNICATION_LINK;
-
- /**
- * The number of structural features of the 'Ground Station Network' class.
- *
- *
- * @generated
- * @ordered
- */
- int GROUND_STATION_NETWORK_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Ground Station Network' class.
- *
- *
- * @generated
- * @ordered
- */
- int GROUND_STATION_NETWORK_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl Spacecraft}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraft()
- * @generated
- */
- int SPACECRAFT = 4;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT__COMM_SUBSYSTEM = COMMUNICATING_ELEMENT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT__COMMUNICATION_LINK = COMMUNICATING_ELEMENT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT__PAYLOAD = COMMUNICATING_ELEMENT_FEATURE_COUNT + 0;
-
- /**
- * The feature id for the 'Kind' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT__KIND = COMMUNICATING_ELEMENT_FEATURE_COUNT + 1;
-
- /**
- * The number of structural features of the 'Spacecraft' class.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 2;
-
- /**
- * The number of operations of the 'Spacecraft' class.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl Comm Subsystem}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCommSubsystem()
- * @generated
- */
- int COMM_SUBSYSTEM = 5;
-
- /**
- * The feature id for the 'Band' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int COMM_SUBSYSTEM__BAND = 0;
-
- /**
- * The feature id for the 'Gain' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int COMM_SUBSYSTEM__GAIN = 1;
-
- /**
- * The number of structural features of the 'Comm Subsystem' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMM_SUBSYSTEM_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Comm Subsystem' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMM_SUBSYSTEM_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.DirectedCommunicationLinkImpl Directed Communication Link}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.DirectedCommunicationLinkImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getDirectedCommunicationLink()
- * @generated
- */
- int DIRECTED_COMMUNICATION_LINK = 6;
-
- /**
- * The feature id for the 'Source' reference.
- *
- *
- * @generated
- * @ordered
- */
- int DIRECTED_COMMUNICATION_LINK__SOURCE = 0;
-
- /**
- * The feature id for the 'Target' reference.
- *
- *
- * @generated
- * @ordered
- */
- int DIRECTED_COMMUNICATION_LINK__TARGET = 1;
-
- /**
- * The number of structural features of the 'Directed Communication Link' class.
- *
- *
- * @generated
- * @ordered
- */
- int DIRECTED_COMMUNICATION_LINK_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Directed Communication Link' class.
- *
- *
- * @generated
- * @ordered
- */
- int DIRECTED_COMMUNICATION_LINK_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.PayloadImpl Payload}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.PayloadImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getPayload()
- * @generated
- */
- int PAYLOAD = 7;
-
- /**
- * The number of structural features of the 'Payload' class.
- *
- *
- * @generated
- * @ordered
- */
- int PAYLOAD_FEATURE_COUNT = 0;
-
- /**
- * The number of operations of the 'Payload' class.
- *
- *
- * @generated
- * @ordered
- */
- int PAYLOAD_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryPayloadImpl Interferometry Payload}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryPayloadImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getInterferometryPayload()
- * @generated
- */
- int INTERFEROMETRY_PAYLOAD = 8;
-
- /**
- * The number of structural features of the 'Interferometry Payload' class.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_PAYLOAD_FEATURE_COUNT = PAYLOAD_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Interferometry Payload' class.
- *
- *
- * @generated
- * @ordered
- */
- int INTERFEROMETRY_PAYLOAD_OPERATION_COUNT = PAYLOAD_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSatImpl Cube Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat()
- * @generated
- */
- int CUBE_SAT = 12;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT__COMMUNICATION_LINK = SPACECRAFT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT__PAYLOAD = SPACECRAFT__PAYLOAD;
-
- /**
- * The feature id for the 'Kind' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT__KIND = SPACECRAFT__KIND;
-
- /**
- * The number of structural features of the 'Cube Sat' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Cube Sat' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl Cube Sat3 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat3U()
- * @generated
- */
- int CUBE_SAT3_U = 9;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__COMM_SUBSYSTEM = CUBE_SAT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__COMMUNICATION_LINK = CUBE_SAT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__PAYLOAD = CUBE_SAT__PAYLOAD;
-
- /**
- * The feature id for the 'Kind' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__KIND = CUBE_SAT__KIND;
-
- /**
- * The number of structural features of the 'Cube Sat3 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U_FEATURE_COUNT = CUBE_SAT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Cube Sat3 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U_OPERATION_COUNT = CUBE_SAT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl Cube Sat6 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat6U()
- * @generated
- */
- int CUBE_SAT6_U = 10;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__COMM_SUBSYSTEM = CUBE_SAT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__COMMUNICATION_LINK = CUBE_SAT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__PAYLOAD = CUBE_SAT__PAYLOAD;
-
- /**
- * The feature id for the 'Kind' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__KIND = CUBE_SAT__KIND;
-
- /**
- * The number of structural features of the 'Cube Sat6 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U_FEATURE_COUNT = CUBE_SAT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Cube Sat6 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U_OPERATION_COUNT = CUBE_SAT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl Small Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSmallSat()
- * @generated
- */
- int SMALL_SAT = 11;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__COMMUNICATION_LINK = SPACECRAFT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__PAYLOAD = SPACECRAFT__PAYLOAD;
-
- /**
- * The feature id for the 'Kind' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__KIND = SPACECRAFT__KIND;
-
- /**
- * The number of structural features of the 'Small Sat' class.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Small Sat' class.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand Transceiver Band}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getTransceiverBand()
- * @generated
- */
- int TRANSCEIVER_BAND = 13;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain Antenna Gain}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getAntennaGain()
- * @generated
- */
- int ANTENNA_GAIN = 14;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraftKind()
- * @generated
- */
- int SPACECRAFT_KIND = 15;
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission Constellation Mission}'.
- *
- *
- * @return the meta object for class 'Constellation Mission'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission
- * @generated
- */
- EClass getConstellationMission();
-
- /**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission#getGroundStationNetwork Ground Station Network}'.
- *
- *
- * @return the meta object for the containment reference 'Ground Station Network'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission#getGroundStationNetwork()
- * @see #getConstellationMission()
- * @generated
- */
- EReference getConstellationMission_GroundStationNetwork();
-
- /**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission#getSpacecraft Spacecraft}'.
- *
- *
- * @return the meta object for the containment reference list 'Spacecraft'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission#getSpacecraft()
- * @see #getConstellationMission()
- * @generated
- */
- EReference getConstellationMission_Spacecraft();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission Interferometry Mission}'.
- *
- *
- * @return the meta object for class 'Interferometry Mission'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission
- * @generated
- */
- EClass getInterferometryMission();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission#getObservationTime Observation Time}'.
- *
- *
- * @return the meta object for the attribute 'Observation Time'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission#getObservationTime()
- * @see #getInterferometryMission()
- * @generated
- */
- EAttribute getInterferometryMission_ObservationTime();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement Communicating Element}'.
- *
- *
- * @return the meta object for class 'Communicating Element'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement
- * @generated
- */
- EClass getCommunicatingElement();
-
- /**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement#getCommSubsystem Comm Subsystem}'.
- *
- *
- * @return the meta object for the containment reference list 'Comm Subsystem'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement#getCommSubsystem()
- * @see #getCommunicatingElement()
- * @generated
- */
- EReference getCommunicatingElement_CommSubsystem();
-
- /**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement#getCommunicationLink Communication Link}'.
- *
- *
- * @return the meta object for the containment reference 'Communication Link'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement#getCommunicationLink()
- * @see #getCommunicatingElement()
- * @generated
- */
- EReference getCommunicatingElement_CommunicationLink();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork Ground Station Network}'.
- *
- *
- * @return the meta object for class 'Ground Station Network'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork
- * @generated
- */
- EClass getGroundStationNetwork();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft Spacecraft}'.
- *
- *
- * @return the meta object for class 'Spacecraft'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft
- * @generated
- */
- EClass getSpacecraft();
-
- /**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getPayload Payload}'.
- *
- *
- * @return the meta object for the containment reference 'Payload'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getPayload()
- * @see #getSpacecraft()
- * @generated
- */
- EReference getSpacecraft_Payload();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind Kind}'.
- *
- *
- * @return the meta object for the attribute 'Kind'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind()
- * @see #getSpacecraft()
- * @generated
- */
- EAttribute getSpacecraft_Kind();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem Comm Subsystem}'.
- *
- *
- * @return the meta object for class 'Comm Subsystem'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem
- * @generated
- */
- EClass getCommSubsystem();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem#getBand Band}'.
- *
- *
- * @return the meta object for the attribute 'Band'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem#getBand()
- * @see #getCommSubsystem()
- * @generated
- */
- EAttribute getCommSubsystem_Band();
-
- /**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem#getGain Gain}'.
- *
- *
- * @return the meta object for the attribute 'Gain'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem#getGain()
- * @see #getCommSubsystem()
- * @generated
- */
- EAttribute getCommSubsystem_Gain();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink Directed Communication Link}'.
- *
- *
- * @return the meta object for class 'Directed Communication Link'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink
- * @generated
- */
- EClass getDirectedCommunicationLink();
-
- /**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink#getSource Source}'.
- *
- *
- * @return the meta object for the reference 'Source'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink#getSource()
- * @see #getDirectedCommunicationLink()
- * @generated
- */
- EReference getDirectedCommunicationLink_Source();
-
- /**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink#getTarget Target}'.
- *
- *
- * @return the meta object for the reference 'Target'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink#getTarget()
- * @see #getDirectedCommunicationLink()
- * @generated
- */
- EReference getDirectedCommunicationLink_Target();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Payload Payload}'.
- *
- *
- * @return the meta object for class 'Payload'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Payload
- * @generated
- */
- EClass getPayload();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload Interferometry Payload}'.
- *
- *
- * @return the meta object for class 'Interferometry Payload'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload
- * @generated
- */
- EClass getInterferometryPayload();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U Cube Sat3 U}'.
- *
- *
- * @return the meta object for class 'Cube Sat3 U'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U
- * @generated
- */
- EClass getCubeSat3U();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U Cube Sat6 U}'.
- *
- *
- * @return the meta object for class 'Cube Sat6 U'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U
- * @generated
- */
- EClass getCubeSat6U();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat Small Sat}'.
- *
- *
- * @return the meta object for class 'Small Sat'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat
- * @generated
- */
- EClass getSmallSat();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat Cube Sat}'.
- *
- *
- * @return the meta object for class 'Cube Sat'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat
- * @generated
- */
- EClass getCubeSat();
-
- /**
- * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand Transceiver Band}'.
- *
- *
- * @return the meta object for enum 'Transceiver Band'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand
- * @generated
- */
- EEnum getTransceiverBand();
-
- /**
- * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain Antenna Gain}'.
- *
- *
- * @return the meta object for enum 'Antenna Gain'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain
- * @generated
- */
- EEnum getAntennaGain();
-
- /**
- * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}'.
- *
- *
- * @return the meta object for enum 'Spacecraft Kind'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
- * @generated
- */
- EEnum getSpacecraftKind();
-
- /**
- * Returns the factory that creates the instances of the model.
- *
- *
- * @return the factory that creates the instances of the model.
- * @generated
- */
- SatelliteFactory getSatelliteFactory();
-
- /**
- *
- * Defines literals for the meta objects that represent
- *
- *
- *
- * @generated
- */
- interface Literals {
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.ConstellationMissionImpl Constellation Mission}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.ConstellationMissionImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getConstellationMission()
- * @generated
- */
- EClass CONSTELLATION_MISSION = eINSTANCE.getConstellationMission();
-
- /**
- * The meta object literal for the 'Ground Station Network' containment reference feature.
- *
- *
- * @generated
- */
- EReference CONSTELLATION_MISSION__GROUND_STATION_NETWORK = eINSTANCE
- .getConstellationMission_GroundStationNetwork();
-
- /**
- * The meta object literal for the 'Spacecraft' containment reference list feature.
- *
- *
- * @generated
- */
- EReference CONSTELLATION_MISSION__SPACECRAFT = eINSTANCE.getConstellationMission_Spacecraft();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryMissionImpl Interferometry Mission}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryMissionImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getInterferometryMission()
- * @generated
- */
- EClass INTERFEROMETRY_MISSION = eINSTANCE.getInterferometryMission();
-
- /**
- * The meta object literal for the 'Observation Time' attribute feature.
- *
- *
- * @generated
- */
- EAttribute INTERFEROMETRY_MISSION__OBSERVATION_TIME = eINSTANCE.getInterferometryMission_ObservationTime();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommunicatingElementImpl Communicating Element}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommunicatingElementImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCommunicatingElement()
- * @generated
- */
- EClass COMMUNICATING_ELEMENT = eINSTANCE.getCommunicatingElement();
-
- /**
- * The meta object literal for the 'Comm Subsystem' containment reference list feature.
- *
- *
- * @generated
- */
- EReference COMMUNICATING_ELEMENT__COMM_SUBSYSTEM = eINSTANCE.getCommunicatingElement_CommSubsystem();
-
- /**
- * The meta object literal for the 'Communication Link' containment reference feature.
- *
- *
- * @generated
- */
- EReference COMMUNICATING_ELEMENT__COMMUNICATION_LINK = eINSTANCE.getCommunicatingElement_CommunicationLink();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.GroundStationNetworkImpl Ground Station Network}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.GroundStationNetworkImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getGroundStationNetwork()
- * @generated
- */
- EClass GROUND_STATION_NETWORK = eINSTANCE.getGroundStationNetwork();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl Spacecraft}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraft()
- * @generated
- */
- EClass SPACECRAFT = eINSTANCE.getSpacecraft();
-
- /**
- * The meta object literal for the 'Payload' containment reference feature.
- *
- *
- * @generated
- */
- EReference SPACECRAFT__PAYLOAD = eINSTANCE.getSpacecraft_Payload();
-
- /**
- * The meta object literal for the 'Kind' attribute feature.
- *
- *
- * @generated
- */
- EAttribute SPACECRAFT__KIND = eINSTANCE.getSpacecraft_Kind();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl Comm Subsystem}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCommSubsystem()
- * @generated
- */
- EClass COMM_SUBSYSTEM = eINSTANCE.getCommSubsystem();
-
- /**
- * The meta object literal for the 'Band' attribute feature.
- *
- *
- * @generated
- */
- EAttribute COMM_SUBSYSTEM__BAND = eINSTANCE.getCommSubsystem_Band();
-
- /**
- * The meta object literal for the 'Gain' attribute feature.
- *
- *
- * @generated
- */
- EAttribute COMM_SUBSYSTEM__GAIN = eINSTANCE.getCommSubsystem_Gain();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.DirectedCommunicationLinkImpl Directed Communication Link}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.DirectedCommunicationLinkImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getDirectedCommunicationLink()
- * @generated
- */
- EClass DIRECTED_COMMUNICATION_LINK = eINSTANCE.getDirectedCommunicationLink();
-
- /**
- * The meta object literal for the 'Source' reference feature.
- *
- *
- * @generated
- */
- EReference DIRECTED_COMMUNICATION_LINK__SOURCE = eINSTANCE.getDirectedCommunicationLink_Source();
-
- /**
- * The meta object literal for the 'Target' reference feature.
- *
- *
- * @generated
- */
- EReference DIRECTED_COMMUNICATION_LINK__TARGET = eINSTANCE.getDirectedCommunicationLink_Target();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.PayloadImpl Payload}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.PayloadImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getPayload()
- * @generated
- */
- EClass PAYLOAD = eINSTANCE.getPayload();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryPayloadImpl Interferometry Payload}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.InterferometryPayloadImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getInterferometryPayload()
- * @generated
- */
- EClass INTERFEROMETRY_PAYLOAD = eINSTANCE.getInterferometryPayload();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl Cube Sat3 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat3U()
- * @generated
- */
- EClass CUBE_SAT3_U = eINSTANCE.getCubeSat3U();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl Cube Sat6 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat6U()
- * @generated
- */
- EClass CUBE_SAT6_U = eINSTANCE.getCubeSat6U();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl Small Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSmallSat()
- * @generated
- */
- EClass SMALL_SAT = eINSTANCE.getSmallSat();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSatImpl Cube Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat()
- * @generated
- */
- EClass CUBE_SAT = eINSTANCE.getCubeSat();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand Transceiver Band}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getTransceiverBand()
- * @generated
- */
- EEnum TRANSCEIVER_BAND = eINSTANCE.getTransceiverBand();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain Antenna Gain}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getAntennaGain()
- * @generated
- */
- EEnum ANTENNA_GAIN = eINSTANCE.getAntennaGain();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}' enum.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraftKind()
- * @generated
- */
- EEnum SPACECRAFT_KIND = eINSTANCE.getSpacecraftKind();
-
- }
-
-} //SatellitePackage
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SmallSat.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SmallSat.java
deleted file mode 100644
index b3a3d63c..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SmallSat.java
+++ /dev/null
@@ -1,16 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite;
-
-/**
- *
- * A representation of the model object 'Small Sat'.
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSmallSat()
- * @model
- * @generated
- */
-public interface SmallSat extends Spacecraft {
-} // SmallSat
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java
deleted file mode 100644
index 34f9750a..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java
+++ /dev/null
@@ -1,66 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite;
-
-/**
- *
- * A representation of the model object 'Spacecraft'.
- *
- *
- *
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraft()
- * @model abstract="true"
- * @generated
- */
-public interface Spacecraft extends CommunicatingElement {
- /**
- * Returns the value of the 'Payload' containment reference.
- *
- * null
.
- * @generated
- */
- public static SpacecraftKind get(String literal) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- SpacecraftKind result = VALUES_ARRAY[i];
- if (result.toString().equals(literal)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Spacecraft Kind' literal with the specified name.
- *
- *
- * @param name the name.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static SpacecraftKind getByName(String name) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- SpacecraftKind result = VALUES_ARRAY[i];
- if (result.getName().equals(name)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Spacecraft Kind' literal with the specified integer value.
- *
- *
- * @param value the integer value.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static SpacecraftKind get(int value) {
- switch (value) {
- case CUBE_SAT3_U_VALUE:
- return CUBE_SAT3_U;
- case CUBE_SAT6_U_VALUE:
- return CUBE_SAT6_U;
- case SMALL_SAT_VALUE:
- return SMALL_SAT;
- }
- return null;
- }
-
- /**
- *
- *
- * @generated
- */
- private final int value;
-
- /**
- *
- *
- * @generated
- */
- private final String name;
-
- /**
- *
- *
- * @generated
- */
- private final String literal;
-
- /**
- * Only this class can construct instances.
- *
- *
- * @generated
- */
- private SpacecraftKind(int value, String name, String literal) {
- this.value = value;
- this.name = name;
- this.literal = literal;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getValue() {
- return value;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getName() {
- return name;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getLiteral() {
- return literal;
- }
-
- /**
- * Returns the literal value of the enumerator, which is its string representation.
- *
- *
- * @generated
- */
- @Override
- public String toString() {
- return literal;
- }
-
-} //SpacecraftKind
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/TransceiverBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/TransceiverBand.java
deleted file mode 100644
index 62aae5f7..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/TransceiverBand.java
+++ /dev/null
@@ -1,242 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite;
-
-import java.util.Arrays;
-import java.util.Collections;
-import java.util.List;
-
-import org.eclipse.emf.common.util.Enumerator;
-
-/**
- *
- * A representation of the literals of the enumeration 'Transceiver Band',
- * and utility methods for working with them.
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getTransceiverBand()
- * @model
- * @generated
- */
-public enum TransceiverBand implements Enumerator {
- /**
- * The 'UHF' literal object.
- *
- *
- * @see #UHF_VALUE
- * @generated
- * @ordered
- */
- UHF(0, "UHF", "UHF"),
-
- /**
- * The 'X' literal object.
- *
- *
- * @see #X_VALUE
- * @generated
- * @ordered
- */
- X(1, "X", "X"),
-
- /**
- * The 'Ka' literal object.
- *
- *
- * @see #KA_VALUE
- * @generated
- * @ordered
- */
- KA(2, "Ka", "Ka");
-
- /**
- * The 'UHF' literal value.
- *
- * null
.
- * @generated
- */
- public static TransceiverBand get(String literal) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- TransceiverBand result = VALUES_ARRAY[i];
- if (result.toString().equals(literal)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Transceiver Band' literal with the specified name.
- *
- *
- * @param name the name.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static TransceiverBand getByName(String name) {
- for (int i = 0; i < VALUES_ARRAY.length; ++i) {
- TransceiverBand result = VALUES_ARRAY[i];
- if (result.getName().equals(name)) {
- return result;
- }
- }
- return null;
- }
-
- /**
- * Returns the 'Transceiver Band' literal with the specified integer value.
- *
- *
- * @param value the integer value.
- * @return the matching enumerator or null
.
- * @generated
- */
- public static TransceiverBand get(int value) {
- switch (value) {
- case UHF_VALUE:
- return UHF;
- case X_VALUE:
- return X;
- case KA_VALUE:
- return KA;
- }
- return null;
- }
-
- /**
- *
- *
- * @generated
- */
- private final int value;
-
- /**
- *
- *
- * @generated
- */
- private final String name;
-
- /**
- *
- *
- * @generated
- */
- private final String literal;
-
- /**
- * Only this class can construct instances.
- *
- *
- * @generated
- */
- private TransceiverBand(int value, String name, String literal) {
- this.value = value;
- this.name = name;
- this.literal = literal;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public int getValue() {
- return value;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getName() {
- return name;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String getLiteral() {
- return literal;
- }
-
- /**
- * Returns the literal value of the enumerator, which is its string representation.
- *
- *
- * @generated
- */
- @Override
- public String toString() {
- return literal;
- }
-
-} //TransceiverBand
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommSubsystemImpl.java
deleted file mode 100644
index fbde1603..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommSubsystemImpl.java
+++ /dev/null
@@ -1,226 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand;
-
-import org.eclipse.emf.common.notify.Notification;
-
-import org.eclipse.emf.ecore.EClass;
-
-import org.eclipse.emf.ecore.impl.ENotificationImpl;
-import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
-
-/**
- *
- * An implementation of the model object 'Comm Subsystem'.
- *
- *
- *
- *
- * @generated
- */
-public class CommSubsystemImpl extends MinimalEObjectImpl.Container implements CommSubsystem {
- /**
- * The default value of the '{@link #getBand() Band}' attribute.
- *
- *
- * @see #getBand()
- * @generated
- * @ordered
- */
- protected static final TransceiverBand BAND_EDEFAULT = TransceiverBand.UHF;
-
- /**
- * The cached value of the '{@link #getBand() Band}' attribute.
- *
- *
- * @see #getBand()
- * @generated
- * @ordered
- */
- protected TransceiverBand band = BAND_EDEFAULT;
-
- /**
- * The default value of the '{@link #getGain() Gain}' attribute.
- *
- *
- * @see #getGain()
- * @generated
- * @ordered
- */
- protected static final AntennaGain GAIN_EDEFAULT = AntennaGain.LOW;
-
- /**
- * The cached value of the '{@link #getGain() Gain}' attribute.
- *
- *
- * @see #getGain()
- * @generated
- * @ordered
- */
- protected AntennaGain gain = GAIN_EDEFAULT;
-
- /**
- *
- *
- * @generated
- */
- protected CommSubsystemImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.COMM_SUBSYSTEM;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public TransceiverBand getBand() {
- return band;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setBand(TransceiverBand newBand) {
- TransceiverBand oldBand = band;
- band = newBand == null ? BAND_EDEFAULT : newBand;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__BAND, oldBand,
- band));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public AntennaGain getGain() {
- return gain;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setGain(AntennaGain newGain) {
- AntennaGain oldGain = gain;
- gain = newGain == null ? GAIN_EDEFAULT : newGain;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__GAIN, oldGain,
- gain));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Object eGet(int featureID, boolean resolve, boolean coreType) {
- switch (featureID) {
- case SatellitePackage.COMM_SUBSYSTEM__BAND:
- return getBand();
- case SatellitePackage.COMM_SUBSYSTEM__GAIN:
- return getGain();
- }
- return super.eGet(featureID, resolve, coreType);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eSet(int featureID, Object newValue) {
- switch (featureID) {
- case SatellitePackage.COMM_SUBSYSTEM__BAND:
- setBand((TransceiverBand) newValue);
- return;
- case SatellitePackage.COMM_SUBSYSTEM__GAIN:
- setGain((AntennaGain) newValue);
- return;
- }
- super.eSet(featureID, newValue);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eUnset(int featureID) {
- switch (featureID) {
- case SatellitePackage.COMM_SUBSYSTEM__BAND:
- setBand(BAND_EDEFAULT);
- return;
- case SatellitePackage.COMM_SUBSYSTEM__GAIN:
- setGain(GAIN_EDEFAULT);
- return;
- }
- super.eUnset(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public boolean eIsSet(int featureID) {
- switch (featureID) {
- case SatellitePackage.COMM_SUBSYSTEM__BAND:
- return band != BAND_EDEFAULT;
- case SatellitePackage.COMM_SUBSYSTEM__GAIN:
- return gain != GAIN_EDEFAULT;
- }
- return super.eIsSet(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String toString() {
- if (eIsProxy())
- return super.toString();
-
- StringBuilder result = new StringBuilder(super.toString());
- result.append(" (band: ");
- result.append(band);
- result.append(", gain: ");
- result.append(gain);
- result.append(')');
- return result.toString();
- }
-
-} //CommSubsystemImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommunicatingElementImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommunicatingElementImpl.java
deleted file mode 100644
index 4b51e52e..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CommunicatingElementImpl.java
+++ /dev/null
@@ -1,237 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import java.util.Collection;
-
-import org.eclipse.emf.common.notify.Notification;
-import org.eclipse.emf.common.notify.NotificationChain;
-
-import org.eclipse.emf.common.util.EList;
-
-import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.InternalEObject;
-
-import org.eclipse.emf.ecore.impl.ENotificationImpl;
-import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
-
-import org.eclipse.emf.ecore.util.EObjectContainmentEList;
-import org.eclipse.emf.ecore.util.InternalEList;
-
-/**
- *
- * An implementation of the model object 'Communicating Element'.
- *
- *
- *
- *
- * @generated
- */
-public abstract class CommunicatingElementImpl extends MinimalEObjectImpl.Container implements CommunicatingElement {
- /**
- * The cached value of the '{@link #getCommSubsystem() Comm Subsystem}' containment reference list.
- *
- *
- * @see #getCommSubsystem()
- * @generated
- * @ordered
- */
- protected EList
- *
- *
- * @generated
- */
-public abstract class ConstellationMissionImpl extends MinimalEObjectImpl.Container implements ConstellationMission {
- /**
- * The cached value of the '{@link #getGroundStationNetwork() Ground Station Network}' containment reference.
- *
- *
- * @see #getGroundStationNetwork()
- * @generated
- * @ordered
- */
- protected GroundStationNetwork groundStationNetwork;
-
- /**
- * The cached value of the '{@link #getSpacecraft() Spacecraft}' containment reference list.
- *
- *
- * @see #getSpacecraft()
- * @generated
- * @ordered
- */
- protected EList
- *
- *
- * @generated
- */
-public class DirectedCommunicationLinkImpl extends MinimalEObjectImpl.Container implements DirectedCommunicationLink {
- /**
- * The cached value of the '{@link #getSource() Source}' reference.
- *
- *
- * @see #getSource()
- * @generated
- * @ordered
- */
- protected CommSubsystem source;
-
- /**
- * The cached value of the '{@link #getTarget() Target}' reference.
- *
- *
- * @see #getTarget()
- * @generated
- * @ordered
- */
- protected CommSubsystem target;
-
- /**
- *
- *
- * @generated
- */
- protected DirectedCommunicationLinkImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.DIRECTED_COMMUNICATION_LINK;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CommSubsystem getSource() {
- if (source != null && source.eIsProxy()) {
- InternalEObject oldSource = (InternalEObject) source;
- source = (CommSubsystem) eResolveProxy(oldSource);
- if (source != oldSource) {
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.RESOLVE,
- SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE, oldSource, source));
- }
- }
- return source;
- }
-
- /**
- *
- *
- * @generated
- */
- public CommSubsystem basicGetSource() {
- return source;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setSource(CommSubsystem newSource) {
- CommSubsystem oldSource = source;
- source = newSource;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE,
- oldSource, source));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CommSubsystem getTarget() {
- if (target != null && target.eIsProxy()) {
- InternalEObject oldTarget = (InternalEObject) target;
- target = (CommSubsystem) eResolveProxy(oldTarget);
- if (target != oldTarget) {
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.RESOLVE,
- SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET, oldTarget, target));
- }
- }
- return target;
- }
-
- /**
- *
- *
- * @generated
- */
- public CommSubsystem basicGetTarget() {
- return target;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setTarget(CommSubsystem newTarget) {
- CommSubsystem oldTarget = target;
- target = newTarget;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET,
- oldTarget, target));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Object eGet(int featureID, boolean resolve, boolean coreType) {
- switch (featureID) {
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE:
- if (resolve)
- return getSource();
- return basicGetSource();
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET:
- if (resolve)
- return getTarget();
- return basicGetTarget();
- }
- return super.eGet(featureID, resolve, coreType);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eSet(int featureID, Object newValue) {
- switch (featureID) {
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE:
- setSource((CommSubsystem) newValue);
- return;
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET:
- setTarget((CommSubsystem) newValue);
- return;
- }
- super.eSet(featureID, newValue);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eUnset(int featureID) {
- switch (featureID) {
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE:
- setSource((CommSubsystem) null);
- return;
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET:
- setTarget((CommSubsystem) null);
- return;
- }
- super.eUnset(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public boolean eIsSet(int featureID) {
- switch (featureID) {
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__SOURCE:
- return source != null;
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK__TARGET:
- return target != null;
- }
- return super.eIsSet(featureID);
- }
-
-} //DirectedCommunicationLinkImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/GroundStationNetworkImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/GroundStationNetworkImpl.java
deleted file mode 100644
index 890e807c..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/GroundStationNetworkImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Ground Station Network'.
- *
- *
- * @generated
- */
-public class GroundStationNetworkImpl extends CommunicatingElementImpl implements GroundStationNetwork {
- /**
- *
- *
- * @generated
- */
- protected GroundStationNetworkImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.GROUND_STATION_NETWORK;
- }
-
-} //GroundStationNetworkImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryMissionImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryMissionImpl.java
deleted file mode 100644
index b2687ea3..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryMissionImpl.java
+++ /dev/null
@@ -1,166 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.common.notify.Notification;
-
-import org.eclipse.emf.ecore.EClass;
-
-import org.eclipse.emf.ecore.impl.ENotificationImpl;
-
-/**
- *
- * An implementation of the model object 'Interferometry Mission'.
- *
- *
- *
- *
- * @generated
- */
-public class InterferometryMissionImpl extends ConstellationMissionImpl implements InterferometryMission {
- /**
- * The default value of the '{@link #getObservationTime() Observation Time}' attribute.
- *
- *
- * @see #getObservationTime()
- * @generated
- * @ordered
- */
- protected static final float OBSERVATION_TIME_EDEFAULT = 2.0F;
-
- /**
- * The cached value of the '{@link #getObservationTime() Observation Time}' attribute.
- *
- *
- * @see #getObservationTime()
- * @generated
- * @ordered
- */
- protected float observationTime = OBSERVATION_TIME_EDEFAULT;
-
- /**
- *
- *
- * @generated
- */
- protected InterferometryMissionImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.INTERFEROMETRY_MISSION;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public float getObservationTime() {
- return observationTime;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setObservationTime(float newObservationTime) {
- float oldObservationTime = observationTime;
- observationTime = newObservationTime;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET,
- SatellitePackage.INTERFEROMETRY_MISSION__OBSERVATION_TIME, oldObservationTime, observationTime));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Object eGet(int featureID, boolean resolve, boolean coreType) {
- switch (featureID) {
- case SatellitePackage.INTERFEROMETRY_MISSION__OBSERVATION_TIME:
- return getObservationTime();
- }
- return super.eGet(featureID, resolve, coreType);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eSet(int featureID, Object newValue) {
- switch (featureID) {
- case SatellitePackage.INTERFEROMETRY_MISSION__OBSERVATION_TIME:
- setObservationTime((Float) newValue);
- return;
- }
- super.eSet(featureID, newValue);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eUnset(int featureID) {
- switch (featureID) {
- case SatellitePackage.INTERFEROMETRY_MISSION__OBSERVATION_TIME:
- setObservationTime(OBSERVATION_TIME_EDEFAULT);
- return;
- }
- super.eUnset(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public boolean eIsSet(int featureID) {
- switch (featureID) {
- case SatellitePackage.INTERFEROMETRY_MISSION__OBSERVATION_TIME:
- return observationTime != OBSERVATION_TIME_EDEFAULT;
- }
- return super.eIsSet(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String toString() {
- if (eIsProxy())
- return super.toString();
-
- StringBuilder result = new StringBuilder(super.toString());
- result.append(" (observationTime: ");
- result.append(observationTime);
- result.append(')');
- return result.toString();
- }
-
-} //InterferometryMissionImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryPayloadImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryPayloadImpl.java
deleted file mode 100644
index 5657c268..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/InterferometryPayloadImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Interferometry Payload'.
- *
- *
- * @generated
- */
-public class InterferometryPayloadImpl extends PayloadImpl implements InterferometryPayload {
- /**
- *
- *
- * @generated
- */
- protected InterferometryPayloadImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.INTERFEROMETRY_PAYLOAD;
- }
-
-} //InterferometryPayloadImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/PayloadImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/PayloadImpl.java
deleted file mode 100644
index 78625d22..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/PayloadImpl.java
+++ /dev/null
@@ -1,39 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.Payload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.ecore.EClass;
-
-import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
-
-/**
- *
- * An implementation of the model object 'Payload'.
- *
- *
- * @generated
- */
-public abstract class PayloadImpl extends MinimalEObjectImpl.Container implements Payload {
- /**
- *
- *
- * @generated
- */
- protected PayloadImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.PAYLOAD;
- }
-
-} //PayloadImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java
deleted file mode 100644
index 028ba662..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java
+++ /dev/null
@@ -1,294 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.*;
-
-import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.EDataType;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EPackage;
-
-import org.eclipse.emf.ecore.impl.EFactoryImpl;
-
-import org.eclipse.emf.ecore.plugin.EcorePlugin;
-
-/**
- *
- * An implementation of the model Factory.
- *
- * @generated
- */
-public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFactory {
- /**
- * Creates the default factory implementation.
- *
- *
- * @generated
- */
- public static SatelliteFactory init() {
- try {
- SatelliteFactory theSatelliteFactory = (SatelliteFactory) EPackage.Registry.INSTANCE
- .getEFactory(SatellitePackage.eNS_URI);
- if (theSatelliteFactory != null) {
- return theSatelliteFactory;
- }
- } catch (Exception exception) {
- EcorePlugin.INSTANCE.log(exception);
- }
- return new SatelliteFactoryImpl();
- }
-
- /**
- * Creates an instance of the factory.
- *
- *
- * @generated
- */
- public SatelliteFactoryImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EObject create(EClass eClass) {
- switch (eClass.getClassifierID()) {
- case SatellitePackage.INTERFEROMETRY_MISSION:
- return createInterferometryMission();
- case SatellitePackage.GROUND_STATION_NETWORK:
- return createGroundStationNetwork();
- case SatellitePackage.COMM_SUBSYSTEM:
- return createCommSubsystem();
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK:
- return createDirectedCommunicationLink();
- case SatellitePackage.INTERFEROMETRY_PAYLOAD:
- return createInterferometryPayload();
- case SatellitePackage.CUBE_SAT3_U:
- return createCubeSat3U();
- case SatellitePackage.CUBE_SAT6_U:
- return createCubeSat6U();
- case SatellitePackage.SMALL_SAT:
- return createSmallSat();
- default:
- throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
- }
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Object createFromString(EDataType eDataType, String initialValue) {
- switch (eDataType.getClassifierID()) {
- case SatellitePackage.TRANSCEIVER_BAND:
- return createTransceiverBandFromString(eDataType, initialValue);
- case SatellitePackage.ANTENNA_GAIN:
- return createAntennaGainFromString(eDataType, initialValue);
- case SatellitePackage.SPACECRAFT_KIND:
- return createSpacecraftKindFromString(eDataType, initialValue);
- default:
- throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
- }
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public String convertToString(EDataType eDataType, Object instanceValue) {
- switch (eDataType.getClassifierID()) {
- case SatellitePackage.TRANSCEIVER_BAND:
- return convertTransceiverBandToString(eDataType, instanceValue);
- case SatellitePackage.ANTENNA_GAIN:
- return convertAntennaGainToString(eDataType, instanceValue);
- case SatellitePackage.SPACECRAFT_KIND:
- return convertSpacecraftKindToString(eDataType, instanceValue);
- default:
- throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
- }
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public InterferometryMission createInterferometryMission() {
- InterferometryMissionImpl interferometryMission = new InterferometryMissionImpl();
- return interferometryMission;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public GroundStationNetwork createGroundStationNetwork() {
- GroundStationNetworkImpl groundStationNetwork = new GroundStationNetworkImpl();
- return groundStationNetwork;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CommSubsystem createCommSubsystem() {
- CommSubsystemImpl commSubsystem = new CommSubsystemImpl();
- return commSubsystem;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public DirectedCommunicationLink createDirectedCommunicationLink() {
- DirectedCommunicationLinkImpl directedCommunicationLink = new DirectedCommunicationLinkImpl();
- return directedCommunicationLink;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public InterferometryPayload createInterferometryPayload() {
- InterferometryPayloadImpl interferometryPayload = new InterferometryPayloadImpl();
- return interferometryPayload;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CubeSat3U createCubeSat3U() {
- CubeSat3UImpl cubeSat3U = new CubeSat3UImpl();
- return cubeSat3U;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CubeSat6U createCubeSat6U() {
- CubeSat6UImpl cubeSat6U = new CubeSat6UImpl();
- return cubeSat6U;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public SmallSat createSmallSat() {
- SmallSatImpl smallSat = new SmallSatImpl();
- return smallSat;
- }
-
- /**
- *
- *
- * @generated
- */
- public TransceiverBand createTransceiverBandFromString(EDataType eDataType, String initialValue) {
- TransceiverBand result = TransceiverBand.get(initialValue);
- if (result == null)
- throw new IllegalArgumentException(
- "The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
- return result;
- }
-
- /**
- *
- *
- * @generated
- */
- public String convertTransceiverBandToString(EDataType eDataType, Object instanceValue) {
- return instanceValue == null ? null : instanceValue.toString();
- }
-
- /**
- *
- *
- * @generated
- */
- public AntennaGain createAntennaGainFromString(EDataType eDataType, String initialValue) {
- AntennaGain result = AntennaGain.get(initialValue);
- if (result == null)
- throw new IllegalArgumentException(
- "The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
- return result;
- }
-
- /**
- *
- *
- * @generated
- */
- public String convertAntennaGainToString(EDataType eDataType, Object instanceValue) {
- return instanceValue == null ? null : instanceValue.toString();
- }
-
- /**
- *
- *
- * @generated
- */
- public SpacecraftKind createSpacecraftKindFromString(EDataType eDataType, String initialValue) {
- SpacecraftKind result = SpacecraftKind.get(initialValue);
- if (result == null)
- throw new IllegalArgumentException(
- "The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
- return result;
- }
-
- /**
- *
- *
- * @generated
- */
- public String convertSpacecraftKindToString(EDataType eDataType, Object instanceValue) {
- return instanceValue == null ? null : instanceValue.toString();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public SatellitePackage getSatellitePackage() {
- return (SatellitePackage) getEPackage();
- }
-
- /**
- *
- *
- * @deprecated
- * @generated
- */
- @Deprecated
- public static SatellitePackage getPackage() {
- return SatellitePackage.eINSTANCE;
- }
-
-} //SatelliteFactoryImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java
deleted file mode 100644
index bbe77e4d..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java
+++ /dev/null
@@ -1,684 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.Payload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatelliteFactory;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand;
-
-import org.eclipse.emf.ecore.EAttribute;
-import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.EEnum;
-import org.eclipse.emf.ecore.EPackage;
-import org.eclipse.emf.ecore.EReference;
-
-import org.eclipse.emf.ecore.impl.EPackageImpl;
-
-/**
- *
- * An implementation of the model Package.
- *
- * @generated
- */
-public class SatellitePackageImpl extends EPackageImpl implements SatellitePackage {
- /**
- *
- *
- * @generated
- */
- private EClass constellationMissionEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass interferometryMissionEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass communicatingElementEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass groundStationNetworkEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass spacecraftEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass commSubsystemEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass directedCommunicationLinkEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass payloadEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass interferometryPayloadEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass cubeSat3UEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass cubeSat6UEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass smallSatEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass cubeSatEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EEnum transceiverBandEEnum = null;
-
- /**
- *
- *
- * @generated
- */
- private EEnum antennaGainEEnum = null;
-
- /**
- *
- *
- * @generated
- */
- private EEnum spacecraftKindEEnum = null;
-
- /**
- * Creates an instance of the model Package, registered with
- * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
- * package URI value.
- *
- *
- *
- * @generated
- */
-public abstract class SpacecraftImpl extends CommunicatingElementImpl implements Spacecraft {
- /**
- * The cached value of the '{@link #getPayload() Payload}' containment reference.
- *
- *
- * @see #getPayload()
- * @generated
- * @ordered
- */
- protected Payload payload;
-
- /**
- * The default value of the '{@link #getKind() Kind}' attribute.
- *
- *
- * @see #getKind()
- * @generated
- * @ordered
- */
- protected static final SpacecraftKind KIND_EDEFAULT = SpacecraftKind.CUBE_SAT3_U;
-
- /**
- *
- *
- * @generated
- */
- protected SpacecraftImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.SPACECRAFT;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Payload getPayload() {
- return payload;
- }
-
- /**
- *
- *
- * @generated
- */
- public NotificationChain basicSetPayload(Payload newPayload, NotificationChain msgs) {
- Payload oldPayload = payload;
- payload = newPayload;
- if (eNotificationRequired()) {
- ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
- SatellitePackage.SPACECRAFT__PAYLOAD, oldPayload, newPayload);
- if (msgs == null)
- msgs = notification;
- else
- msgs.add(notification);
- }
- return msgs;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void setPayload(Payload newPayload) {
- if (newPayload != payload) {
- NotificationChain msgs = null;
- if (payload != null)
- msgs = ((InternalEObject) payload).eInverseRemove(this,
- EOPPOSITE_FEATURE_BASE - SatellitePackage.SPACECRAFT__PAYLOAD, null, msgs);
- if (newPayload != null)
- msgs = ((InternalEObject) newPayload).eInverseAdd(this,
- EOPPOSITE_FEATURE_BASE - SatellitePackage.SPACECRAFT__PAYLOAD, null, msgs);
- msgs = basicSetPayload(newPayload, msgs);
- if (msgs != null)
- msgs.dispatch();
- } else if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.SPACECRAFT__PAYLOAD, newPayload,
- newPayload));
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public SpacecraftKind getKind() {
- // TODO: implement this method to return the 'Kind' attribute
- // Ensure that you remove @generated or mark it @generated NOT
- throw new UnsupportedOperationException();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
- switch (featureID) {
- case SatellitePackage.SPACECRAFT__PAYLOAD:
- return basicSetPayload(null, msgs);
- }
- return super.eInverseRemove(otherEnd, featureID, msgs);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public Object eGet(int featureID, boolean resolve, boolean coreType) {
- switch (featureID) {
- case SatellitePackage.SPACECRAFT__PAYLOAD:
- return getPayload();
- case SatellitePackage.SPACECRAFT__KIND:
- return getKind();
- }
- return super.eGet(featureID, resolve, coreType);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eSet(int featureID, Object newValue) {
- switch (featureID) {
- case SatellitePackage.SPACECRAFT__PAYLOAD:
- setPayload((Payload) newValue);
- return;
- }
- super.eSet(featureID, newValue);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public void eUnset(int featureID) {
- switch (featureID) {
- case SatellitePackage.SPACECRAFT__PAYLOAD:
- setPayload((Payload) null);
- return;
- }
- super.eUnset(featureID);
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public boolean eIsSet(int featureID) {
- switch (featureID) {
- case SatellitePackage.SPACECRAFT__PAYLOAD:
- return payload != null;
- case SatellitePackage.SPACECRAFT__KIND:
- return getKind() != KIND_EDEFAULT;
- }
- return super.eIsSet(featureID);
- }
-
-} //SpacecraftImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java
deleted file mode 100644
index fd948334..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java
+++ /dev/null
@@ -1,347 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.util;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.*;
-
-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;
-
-/**
- *
- * The Adapter Factory for the model.
- * It provides an adapter createXXX
method for each class of the model.
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage
- * @generated
- */
-public class SatelliteAdapterFactory extends AdapterFactoryImpl {
- /**
- * The cached model package.
- *
- *
- * @generated
- */
- protected static SatellitePackage modelPackage;
-
- /**
- * Creates an instance of the adapter factory.
- *
- *
- * @generated
- */
- public SatelliteAdapterFactory() {
- if (modelPackage == null) {
- modelPackage = SatellitePackage.eINSTANCE;
- }
- }
-
- /**
- * Returns whether this factory is applicable for the type of the object.
- *
- * This implementation returns true
if the object is either the model's package or is an instance object of the model.
- *
- * @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 createXXX
methods.
- *
- *
- * @generated
- */
- protected SatelliteSwitchtarget
.
- *
- *
- * @param target the object to adapt.
- * @return the adapter for the target
.
- * @generated
- */
- @Override
- public Adapter createAdapter(Notifier target) {
- return modelSwitch.doSwitch((EObject) target);
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission Constellation Mission}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission
- * @generated
- */
- public Adapter createConstellationMissionAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission Interferometry Mission}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission
- * @generated
- */
- public Adapter createInterferometryMissionAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement Communicating Element}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement
- * @generated
- */
- public Adapter createCommunicatingElementAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork Ground Station Network}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork
- * @generated
- */
- public Adapter createGroundStationNetworkAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft Spacecraft}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft
- * @generated
- */
- public Adapter createSpacecraftAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem Comm Subsystem}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem
- * @generated
- */
- public Adapter createCommSubsystemAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink Directed Communication Link}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink
- * @generated
- */
- public Adapter createDirectedCommunicationLinkAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Payload Payload}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Payload
- * @generated
- */
- public Adapter createPayloadAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload Interferometry Payload}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload
- * @generated
- */
- public Adapter createInterferometryPayloadAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U Cube Sat3 U}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U
- * @generated
- */
- public Adapter createCubeSat3UAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U Cube Sat6 U}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U
- * @generated
- */
- public Adapter createCubeSat6UAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat Small Sat}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat
- * @generated
- */
- public Adapter createSmallSatAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat Cube Sat}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat
- * @generated
- */
- public Adapter createCubeSatAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for the default case.
- *
- * This default implementation returns null.
- *
- * @return the new adapter.
- * @generated
- */
- public Adapter createEObjectAdapter() {
- return null;
- }
-
-} //SatelliteAdapterFactory
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java
deleted file mode 100644
index 08180b64..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java
+++ /dev/null
@@ -1,404 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.util;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.*;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EPackage;
-
-import org.eclipse.emf.ecore.util.Switch;
-
-/**
- *
- * The Switch for the model's inheritance hierarchy.
- * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
- * to invoke the caseXXX
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.
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage
- * @generated
- */
-public class SatelliteSwitchcaseXXX
for each class of the model until one returns a non null result; it yields that result.
- *
- *
- * @return the first non-null result returned by a caseXXX
call.
- * @generated
- */
- @Override
- protected T doSwitch(int classifierID, EObject theEObject) {
- switch (classifierID) {
- case SatellitePackage.CONSTELLATION_MISSION: {
- ConstellationMission constellationMission = (ConstellationMission) theEObject;
- T result = caseConstellationMission(constellationMission);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.INTERFEROMETRY_MISSION: {
- InterferometryMission interferometryMission = (InterferometryMission) theEObject;
- T result = caseInterferometryMission(interferometryMission);
- if (result == null)
- result = caseConstellationMission(interferometryMission);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.COMMUNICATING_ELEMENT: {
- CommunicatingElement communicatingElement = (CommunicatingElement) theEObject;
- T result = caseCommunicatingElement(communicatingElement);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.GROUND_STATION_NETWORK: {
- GroundStationNetwork groundStationNetwork = (GroundStationNetwork) theEObject;
- T result = caseGroundStationNetwork(groundStationNetwork);
- if (result == null)
- result = caseCommunicatingElement(groundStationNetwork);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.SPACECRAFT: {
- Spacecraft spacecraft = (Spacecraft) theEObject;
- T result = caseSpacecraft(spacecraft);
- if (result == null)
- result = caseCommunicatingElement(spacecraft);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.COMM_SUBSYSTEM: {
- CommSubsystem commSubsystem = (CommSubsystem) theEObject;
- T result = caseCommSubsystem(commSubsystem);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.DIRECTED_COMMUNICATION_LINK: {
- DirectedCommunicationLink directedCommunicationLink = (DirectedCommunicationLink) theEObject;
- T result = caseDirectedCommunicationLink(directedCommunicationLink);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.PAYLOAD: {
- Payload payload = (Payload) theEObject;
- T result = casePayload(payload);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.INTERFEROMETRY_PAYLOAD: {
- InterferometryPayload interferometryPayload = (InterferometryPayload) theEObject;
- T result = caseInterferometryPayload(interferometryPayload);
- if (result == null)
- result = casePayload(interferometryPayload);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.CUBE_SAT3_U: {
- CubeSat3U cubeSat3U = (CubeSat3U) theEObject;
- T result = caseCubeSat3U(cubeSat3U);
- if (result == null)
- result = caseCubeSat(cubeSat3U);
- if (result == null)
- result = caseSpacecraft(cubeSat3U);
- if (result == null)
- result = caseCommunicatingElement(cubeSat3U);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.CUBE_SAT6_U: {
- CubeSat6U cubeSat6U = (CubeSat6U) theEObject;
- T result = caseCubeSat6U(cubeSat6U);
- if (result == null)
- result = caseCubeSat(cubeSat6U);
- if (result == null)
- result = caseSpacecraft(cubeSat6U);
- if (result == null)
- result = caseCommunicatingElement(cubeSat6U);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.SMALL_SAT: {
- SmallSat smallSat = (SmallSat) theEObject;
- T result = caseSmallSat(smallSat);
- if (result == null)
- result = caseSpacecraft(smallSat);
- if (result == null)
- result = caseCommunicatingElement(smallSat);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.CUBE_SAT: {
- CubeSat cubeSat = (CubeSat) theEObject;
- T result = caseCubeSat(cubeSat);
- if (result == null)
- result = caseSpacecraft(cubeSat);
- if (result == null)
- result = caseCommunicatingElement(cubeSat);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- default:
- return defaultCase(theEObject);
- }
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Constellation Mission'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Constellation Mission'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseConstellationMission(ConstellationMission object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Interferometry Mission'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Interferometry Mission'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseInterferometryMission(InterferometryMission object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Communicating Element'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Communicating Element'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCommunicatingElement(CommunicatingElement object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Ground Station Network'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Ground Station Network'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseGroundStationNetwork(GroundStationNetwork object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Spacecraft'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Spacecraft'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseSpacecraft(Spacecraft object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Comm Subsystem'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Comm Subsystem'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCommSubsystem(CommSubsystem object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Directed Communication Link'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Directed Communication Link'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseDirectedCommunicationLink(DirectedCommunicationLink object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Payload'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Payload'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T casePayload(Payload object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Interferometry Payload'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Interferometry Payload'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseInterferometryPayload(InterferometryPayload object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Cube Sat3 U'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Cube Sat3 U'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCubeSat3U(CubeSat3U object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Cube Sat6 U'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Cube Sat6 U'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCubeSat6U(CubeSat6U object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Small Sat'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Small Sat'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseSmallSat(SmallSat object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Cube Sat'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Cube Sat'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCubeSat(CubeSat object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'EObject'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch, but this is the last case anyway.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'EObject'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject)
- * @generated
- */
- @Override
- public T defaultCase(EObject object) {
- return null;
- }
-
-} //SatelliteSwitch
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java
index 75bc548d..c4cdfbf6 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java
@@ -51,10 +51,6 @@ public enum AntennaGain implements Enumerator {
/**
* The 'LOW' literal value.
*
- *
- *
*
* @see satellite.SatellitePackage#getCommSubsystem()
- * @model
+ * @model abstract="true"
* @generated
*/
public interface CommSubsystem extends EObject {
- /**
- * Returns the value of the 'Band' attribute.
- * The literals are from the enumeration {@link satellite.TransceiverBand}.
- *
- * "2.0"
.
*
- *
- * If the meaning of the 'Payload' containment reference isn't clear, - * there really should be more of a description here... - *
* * @return the value of the 'Payload' containment reference. * @see #setPayload(Payload) @@ -46,22 +41,4 @@ public interface Spacecraft extends CommunicatingElement { */ void setPayload(Payload value); - /** - * Returns the value of the 'Kind' attribute. - * The literals are from the enumeration {@link satellite.SpacecraftKind}. - * - *- * If the meaning of the 'Kind' attribute isn't clear, - * there really should be more of a description here... - *
- * - * @return the value of the 'Kind' attribute. - * @see satellite.SpacecraftKind - * @see satellite.SatellitePackage#getSpacecraft_Kind() - * @model required="true" transient="true" changeable="false" volatile="true" derived="true" - * annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind'" - * @generated - */ - SpacecraftKind getKind(); - } // Spacecraft diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java index 40bb432d..76232414 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java @@ -51,10 +51,6 @@ public enum SpacecraftKind implements Enumerator { /** * The 'Cube Sat3 U' literal value. * - *- * If the meaning of 'Cube Sat3 U' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #CUBE_SAT3_U * @model name="CubeSat3U" @@ -66,10 +62,6 @@ public enum SpacecraftKind implements Enumerator { /** * The 'Cube Sat6 U' literal value. * - *- * If the meaning of 'Cube Sat6 U' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #CUBE_SAT6_U * @model name="CubeSat6U" @@ -81,10 +73,6 @@ public enum SpacecraftKind implements Enumerator { /** * The 'Small Sat' literal value. * - *- * If the meaning of 'Small Sat' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #SMALL_SAT * @model name="SmallSat" diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java index b6be75bf..9d8d5697 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java @@ -51,10 +51,6 @@ public enum TransceiverBand implements Enumerator { /** * The 'UHF' literal value. * - *- * If the meaning of 'UHF' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #UHF * @model @@ -66,10 +62,6 @@ public enum TransceiverBand implements Enumerator { /** * The 'X' literal value. * - *- * If the meaning of 'X' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #X * @model @@ -81,10 +73,6 @@ public enum TransceiverBand implements Enumerator { /** * The 'Ka' literal value. * - *- * If the meaning of 'Ka' literal object isn't clear, - * there really should be more of a description here... - *
* * @see #KA * @model name="Ka" diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java new file mode 100644 index 00000000..5b36d6c7 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java @@ -0,0 +1,16 @@ +/** + */ +package satellite; + +/** + * + * A representation of the model object 'UHF Comm Subsystem'. + * + * + * + * @see satellite.SatellitePackage#getUHFCommSubsystem() + * @model + * @generated + */ +public interface UHFCommSubsystem extends CommSubsystem { +} // UHFCommSubsystem diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java new file mode 100644 index 00000000..c2b0ecd5 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java @@ -0,0 +1,16 @@ +/** + */ +package satellite; + +/** + * + * A representation of the model object 'XComm Subsystem'. + * + * + * + * @see satellite.SatellitePackage#getXCommSubsystem() + * @model + * @generated + */ +public interface XCommSubsystem extends CommSubsystem { +} // XCommSubsystem diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java index cf8f1fe8..cae35a0c 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java @@ -2,73 +2,19 @@ */ package satellite.impl; -import org.eclipse.emf.common.notify.Notification; - import org.eclipse.emf.ecore.EClass; - -import org.eclipse.emf.ecore.impl.ENotificationImpl; import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; - -import satellite.AntennaGain; import satellite.CommSubsystem; import satellite.SatellitePackage; -import satellite.TransceiverBand; /** * * An implementation of the model object 'Comm Subsystem'. * - *- * The following features are implemented: - *
- *Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private Double fCost;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pCost the fixed value of pattern parameter Cost, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static CostMetric.Match newMatch(final Double pCost) {
- return new Immutable(pCost);
- }
-
- private static final class Mutable extends CostMetric.Match {
- Mutable(final Double pCost) {
- super(pCost);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends CostMetric.Match {
- Immutable(final Double pCost) {
- super(pCost);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.costMetric pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pCost the fixed value of pattern parameter Cost, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public CostMetric.Match newMatch(final Double pCost) {
- return CostMetric.Match.newMatch(pCost);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Cost.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final CostMetric INSTANCE = new CostMetric();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final CostMetric.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Cost = new PParameter("Cost", "java.lang.Double", new JavaTransitiveInstancesKey(java.lang.Double.class), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private Double fCoverage;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pCoverage the fixed value of pattern parameter Coverage, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static CoverageMetric.Match newMatch(final Double pCoverage) {
- return new Immutable(pCoverage);
- }
-
- private static final class Mutable extends CoverageMetric.Match {
- Mutable(final Double pCoverage) {
- super(pCoverage);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends CoverageMetric.Match {
- Immutable(final Double pCoverage) {
- super(pCoverage);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.coverageMetric pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pCoverage the fixed value of pattern parameter Coverage, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public CoverageMetric.Match newMatch(final Double pCoverage) {
- return CoverageMetric.Match.newMatch(pCoverage);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Coverage.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final CoverageMetric INSTANCE = new CoverageMetric();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final CoverageMetric.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Coverage = new PParameter("Coverage", "java.lang.Double", new JavaTransitiveInstancesKey(java.lang.Double.class), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private DirectedCommunicationLink fLink;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pLink the fixed value of pattern parameter Link, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static IncompatibleSourceAndTargetGain.Match newMatch(final DirectedCommunicationLink pLink) {
- return new Immutable(pLink);
- }
-
- private static final class Mutable extends IncompatibleSourceAndTargetGain.Match {
- Mutable(final DirectedCommunicationLink pLink) {
- super(pLink);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends IncompatibleSourceAndTargetGain.Match {
- Immutable(final DirectedCommunicationLink pLink) {
- super(pLink);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pLink the fixed value of pattern parameter Link, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public IncompatibleSourceAndTargetGain.Match newMatch(final DirectedCommunicationLink pLink) {
- return IncompatibleSourceAndTargetGain.Match.newMatch(pLink);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Link.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final IncompatibleSourceAndTargetGain INSTANCE = new IncompatibleSourceAndTargetGain();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final IncompatibleSourceAndTargetGain.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Link = new PParameter("Link", "satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private CommSubsystem fComm;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static KaAntennaGainLow.Match newMatch(final CommSubsystem pComm) {
- return new Immutable(pComm);
- }
-
- private static final class Mutable extends KaAntennaGainLow.Match {
- Mutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends KaAntennaGainLow.Match {
- Immutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public KaAntennaGainLow.Match newMatch(final CommSubsystem pComm) {
- return KaAntennaGainLow.Match.newMatch(pComm);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Comm.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final KaAntennaGainLow INSTANCE = new KaAntennaGainLow();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final KaAntennaGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private Spacecraft fSpacecraft;
-
- private SpacecraftKind fKind;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pSpacecraft the fixed value of pattern parameter Spacecraft, or null if not bound.
- * @param pKind the fixed value of pattern parameter Kind, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static SpacecraftOfKind.Match newMatch(final Spacecraft pSpacecraft, final SpacecraftKind pKind) {
- return new Immutable(pSpacecraft, pKind);
- }
-
- private static final class Mutable extends SpacecraftOfKind.Match {
- Mutable(final Spacecraft pSpacecraft, final SpacecraftKind pKind) {
- super(pSpacecraft, pKind);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends SpacecraftOfKind.Match {
- Immutable(final Spacecraft pSpacecraft, final SpacecraftKind pKind) {
- super(pSpacecraft, pKind);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pSpacecraft the fixed value of pattern parameter Spacecraft, or null if not bound.
- * @param pKind the fixed value of pattern parameter Kind, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public SpacecraftOfKind.Match newMatch(final Spacecraft pSpacecraft, final SpacecraftKind pKind) {
- return SpacecraftOfKind.Match.newMatch(pSpacecraft, pKind);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Spacecraft.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final SpacecraftOfKind INSTANCE = new SpacecraftOfKind();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final SpacecraftOfKind.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT);
-
- private final PParameter parameter_Kind = new PParameter("Kind", "satellite.SpacecraftKind", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "SpacecraftKind")), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private Double fTime;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pTime the fixed value of pattern parameter Time, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static TimeMetric.Match newMatch(final Double pTime) {
- return new Immutable(pTime);
- }
-
- private static final class Mutable extends TimeMetric.Match {
- Mutable(final Double pTime) {
- super(pTime);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends TimeMetric.Match {
- Immutable(final Double pTime) {
- super(pTime);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.timeMetric pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pTime the fixed value of pattern parameter Time, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public TimeMetric.Match newMatch(final Double pTime) {
- return TimeMetric.Match.newMatch(pTime);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Time.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final TimeMetric INSTANCE = new TimeMetric();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final TimeMetric.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Time = new PParameter("Time", "java.lang.Double", new JavaTransitiveInstancesKey(java.lang.Double.class), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private CommSubsystem fComm;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static UhfAntennaGainNotLow.Match newMatch(final CommSubsystem pComm) {
- return new Immutable(pComm);
- }
-
- private static final class Mutable extends UhfAntennaGainNotLow.Match {
- Mutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends UhfAntennaGainNotLow.Match {
- Immutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public UhfAntennaGainNotLow.Match newMatch(final CommSubsystem pComm) {
- return UhfAntennaGainNotLow.Match.newMatch(pComm);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Comm.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final UhfAntennaGainNotLow INSTANCE = new UhfAntennaGainNotLow();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final UhfAntennaGainNotLow.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final List Original source:
- * Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
- * Each instance is a (possibly partial) substitution of pattern parameters,
- * usable to represent a match of the pattern in the result of a query,
- * or to specify the bound (fixed) input parameters when issuing a query.
- *
- * @see Matcher
- *
- */
- public static abstract class Match extends BasePatternMatch {
- private CommSubsystem fComm;
-
- private static List The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public static XAntennaGainNotMedium.Match newMatch(final CommSubsystem pComm) {
- return new Immutable(pComm);
- }
-
- private static final class Mutable extends XAntennaGainNotMedium.Match {
- Mutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return true;
- }
- }
-
- private static final class Immutable extends XAntennaGainNotMedium.Match {
- Immutable(final CommSubsystem pComm) {
- super(pComm);
- }
-
- @Override
- public boolean isMutable() {
- return false;
- }
- }
- }
-
- /**
- * Generated pattern matcher API of the hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium pattern,
- * providing pattern-specific query methods.
- *
- * Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
- * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
- *
- * Matches of the pattern will be represented as {@link Match}.
- *
- * Original source:
- * The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
- * @param pComm the fixed value of pattern parameter Comm, or null if not bound.
- * @return the (partial) match object.
- *
- */
- public XAntennaGainNotMedium.Match newMatch(final CommSubsystem pComm) {
- return XAntennaGainNotMedium.Match.newMatch(pComm);
- }
-
- /**
- * Retrieve the set of values that occur in matches for Comm.
- * @return the Set of all values or empty set if there are no matches
- *
- */
- protected Stream This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final XAntennaGainNotMedium INSTANCE = new XAntennaGainNotMedium();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final XAntennaGainNotMedium.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final List Original source:
- * This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final AdditionalCommSubsystemCost INSTANCE = new AdditionalCommSubsystemCost();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final AdditionalCommSubsystemCost.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT);
-
- private final PParameter parameter_Cost = new PParameter("Cost", "java.lang.Double", new JavaTransitiveInstancesKey(java.lang.Double.class), PParameterDirection.INOUT);
-
- private final List Original source:
- * This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final BasePrice INSTANCE = new BasePrice();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final BasePrice.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT);
-
- private final PParameter parameter_BasePrice = new PParameter("BasePrice", "java.lang.Double", new JavaTransitiveInstancesKey(java.lang.Double.class), PParameterDirection.INOUT);
-
- private final List Original source:
- * This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final CommSubsystemBand INSTANCE = new CommSubsystemBand();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final CommSubsystemBand.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final PParameter parameter_Band = new PParameter("Band", "satellite.TransceiverBand", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "TransceiverBand")), PParameterDirection.INOUT);
-
- private final List Original source:
* Original source:
- * This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final CommSubsystemGain INSTANCE = new CommSubsystemGain();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final CommSubsystemGain.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final PParameter parameter_Gain = new PParameter("Gain", "satellite.AntennaGain", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "AntennaGain")), PParameterDirection.INOUT);
-
- private final List Original source:
- * This workaround is required e.g. to support recursion.
- *
- */
- private static class LazyHolder {
- private static final CommSubsystemGainLow INSTANCE = new CommSubsystemGainLow();
-
- /**
- * Statically initializes the query specification after the field {@link #INSTANCE} is assigned.
- * This initialization order is required to support indirect recursion.
- *
- * The static initializer is defined using a helper field to work around limitations of the code generator.
- *
- */
- private static final Object STATIC_INITIALIZER = ensureInitialized();
-
- public static Object ensureInitialized() {
- INSTANCE.ensureInitializedInternal();
- return null;
- }
- }
-
- private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
- private static final CommSubsystemGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery();
-
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
-
- private final List
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class CostMetric extends BaseGeneratedEMFQuerySpecification
- * // Cost
- *
- * pattern costMetric(Cost : java Double) {
- * Cost == sum find missionCost(_, #_);
- * }
- *
- *
- * @see Match
- * @see CostMetric
- *
- */
- public static class Matcher extends BaseMatcher
- * // Cost
- *
- * pattern costMetric(Cost : java Double) {
- * Cost == sum find missionCost(_, #_);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class CoverageMetric extends BaseGeneratedEMFQuerySpecification
- * //
- * // Metrics
- * //
- *
- * // Coverage
- *
- * pattern coverageMetric(Coverage : java Double) {
- * Coverage == sum find missionCoverage(_, #_);
- * }
- *
- *
- * @see Match
- * @see CoverageMetric
- *
- */
- public static class Matcher extends BaseMatcher
- * //
- * // Metrics
- * //
- *
- * // Coverage
- *
- * pattern coverageMetric(Coverage : java Double) {
- * Coverage == sum find missionCoverage(_, #_);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class IncompatibleSourceAndTargetGain extends BaseGeneratedEMFQuerySpecification
- * {@literal @}Constraint(severity = "error", key = {Link},
- * message = "Two ends of a communication link must use the same antenna gain.")
- * pattern incompatibleSourceAndTargetGain(Link : DirectedCommunicationLink) {
- * DirectedCommunicationLink.source(Link, SourceSubsystem);
- * DirectedCommunicationLink.target(Link, TargetSubsystem);
- * CommSubsystem.gain(SourceSubsystem, Gain);
- * neg find commSubsystemGain(TargetSubsystem, Gain);
- * }
- *
- *
- * @see Match
- * @see IncompatibleSourceAndTargetGain
- *
- */
- public static class Matcher extends BaseMatcher
- * {@literal @}Constraint(severity = "error", key = {Link},
- * message = "Two ends of a communication link must use the same antenna gain.")
- * pattern incompatibleSourceAndTargetGain(Link : DirectedCommunicationLink) {
- * DirectedCommunicationLink.source(Link, SourceSubsystem);
- * DirectedCommunicationLink.target(Link, TargetSubsystem);
- * CommSubsystem.gain(SourceSubsystem, Gain);
- * neg find commSubsystemGain(TargetSubsystem, Gain);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class KaAntennaGainLow extends BaseGeneratedEMFQuerySpecification
- * // Ka-band transmitters may only be combined with a medium or high gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "Ka-band transceiver must be combined with a medium or high gain antenna.")
- * pattern kaAntennaGainLow(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::Ka);
- * CommSubsystem.gain(Comm, AntennaGain::LOW);
- * }
- *
- *
- * @see Match
- * @see KaAntennaGainLow
- *
- */
- public static class Matcher extends BaseMatcher
- * // Ka-band transmitters may only be combined with a medium or high gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "Ka-band transceiver must be combined with a medium or high gain antenna.")
- * pattern kaAntennaGainLow(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::Ka);
- * CommSubsystem.gain(Comm, AntennaGain::LOW);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class SpacecraftOfKind extends BaseGeneratedEMFQuerySpecification
- * {@literal @}QueryBasedFeature(feature = "kind")
- * pattern spacecraftOfKind(Spacecraft : Spacecraft, Kind : SpacecraftKind) {
- * CubeSat3U(Spacecraft);
- * Kind == SpacecraftKind::CubeSat3U;
- * } or {
- * CubeSat6U(Spacecraft);
- * Kind == SpacecraftKind::CubeSat6U;
- * } or {
- * SmallSat(Spacecraft);
- * Kind == SpacecraftKind::SmallSat;
- * }
- *
- *
- * @see Match
- * @see SpacecraftOfKind
- *
- */
- public static class Matcher extends BaseMatcher
- * {@literal @}QueryBasedFeature(feature = "kind")
- * pattern spacecraftOfKind(Spacecraft : Spacecraft, Kind : SpacecraftKind) {
- * CubeSat3U(Spacecraft);
- * Kind == SpacecraftKind::CubeSat3U;
- * } or {
- * CubeSat6U(Spacecraft);
- * Kind == SpacecraftKind::CubeSat6U;
- * } or {
- * SmallSat(Spacecraft);
- * Kind == SpacecraftKind::SmallSat;
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class TimeMetric extends BaseGeneratedEMFQuerySpecification
- * // Time
- *
- * pattern timeMetric(Time : java Double) {
- * Time == sum find missionTime(_, #_);
- * }
- *
- *
- * @see Match
- * @see TimeMetric
- *
- */
- public static class Matcher extends BaseMatcher
- * // Time
- *
- * pattern timeMetric(Time : java Double) {
- * Time == sum find missionTime(_, #_);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class UhfAntennaGainNotLow extends BaseGeneratedEMFQuerySpecification
- * // UHF-band transmitters may only be combined with a low gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "UHF transceiver must be combined with a low gain antenna.")
- * pattern uhfAntennaGainNotLow(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::UHF);
- * // VIATRA will fail to infer a type constraint for the virtual variable introduced
- * // when an enum literal appears in a negative pattern call, so we use a helper pattern
- * // instead of neg find commSubsystemGain(Comm, AntennaGain::LOW);
- * neg find commSubsystemGainLow(Comm);
- * }
- *
- *
- * @see Match
- * @see UhfAntennaGainNotLow
- *
- */
- public static class Matcher extends BaseMatcher
- * // UHF-band transmitters may only be combined with a low gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "UHF transceiver must be combined with a low gain antenna.")
- * pattern uhfAntennaGainNotLow(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::UHF);
- * // VIATRA will fail to infer a type constraint for the virtual variable introduced
- * // when an enum literal appears in a negative pattern call, so we use a helper pattern
- * // instead of neg find commSubsystemGain(Comm, AntennaGain::LOW);
- * neg find commSubsystemGainLow(Comm);
- * }
- *
- *
- * @see Matcher
- * @see Match
- *
- */
-@SuppressWarnings("all")
-public final class XAntennaGainNotMedium extends BaseGeneratedEMFQuerySpecification
- * // X-band transmitters may only be combined with a medium gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "X-band transceiver must be combined with a medium gain antenna.")
- * pattern xAntennaGainNotMedium(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::X);
- * neg find commSubsystemGainMedium(Comm);
- * }
- *
- *
- * @see Match
- * @see XAntennaGainNotMedium
- *
- */
- public static class Matcher extends BaseMatcher
- * // X-band transmitters may only be combined with a medium gain antenna
- *
- * {@literal @}Constraint(severity = "error", key = {Comm},
- * message = "X-band transceiver must be combined with a medium gain antenna.")
- * pattern xAntennaGainNotMedium(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::X);
- * neg find commSubsystemGainMedium(Comm);
- * }
- *
- *
- * @see GenericPatternMatcher
- * @see GenericPatternMatch
- *
- */
-@SuppressWarnings("all")
-public final class AdditionalCommSubsystemCost extends BaseGeneratedEMFQuerySpecificationWithGenericMatcher {
- private AdditionalCommSubsystemCost() {
- super(GeneratedPQuery.INSTANCE);
- }
-
- /**
- * @return the singleton instance of the query specification
- * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
- *
- */
- public static AdditionalCommSubsystemCost instance() {
- try{
- return LazyHolder.INSTANCE;
- } catch (ExceptionInInitializerError err) {
- throw processInitializerError(err);
- }
- }
-
- /**
- * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AdditionalCommSubsystemCost (visibility: PUBLIC, simpleName: AdditionalCommSubsystemCost, identifier: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AdditionalCommSubsystemCost, deprecated:
- * private pattern additionalCommSubsystemCost(Spacecraft : Spacecraft, Cost : java Double) {
- * find spacecraftWithTwoCommSubsystems(Spacecraft);
- * Cost == 100000.0;
- * } or {
- * neg find spacecraftWithTwoCommSubsystems(Spacecraft);
- * Cost == 0.0;
- * }
- *
- *
- * @see GenericPatternMatcher
- * @see GenericPatternMatch
- *
- */
-@SuppressWarnings("all")
-public final class BasePrice extends BaseGeneratedEMFQuerySpecificationWithGenericMatcher {
- private BasePrice() {
- super(GeneratedPQuery.INSTANCE);
- }
-
- /**
- * @return the singleton instance of the query specification
- * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
- *
- */
- public static BasePrice instance() {
- try{
- return LazyHolder.INSTANCE;
- } catch (ExceptionInInitializerError err) {
- throw processInitializerError(err);
- }
- }
-
- /**
- * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.BasePrice (visibility: PUBLIC, simpleName: BasePrice, identifier: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.BasePrice, deprecated:
- * private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) {
- * CubeSat3U(Spacecraft);
- * BasePrice == 250000.0;
- * } or {
- * CubeSat6U(Spacecraft);
- * BasePrice == 750000.0;
- * } or {
- * SmallSat(Spacecraft);
- * BasePrice == 3000000.0;
- * }
- *
- *
- * @see GenericPatternMatcher
- * @see GenericPatternMatch
- *
- */
-@SuppressWarnings("all")
-public final class CommSubsystemBand extends BaseGeneratedEMFQuerySpecificationWithGenericMatcher {
- private CommSubsystemBand() {
- super(GeneratedPQuery.INSTANCE);
- }
-
- /**
- * @return the singleton instance of the query specification
- * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
- *
- */
- public static CommSubsystemBand instance() {
- try{
- return LazyHolder.INSTANCE;
- } catch (ExceptionInInitializerError err) {
- throw processInitializerError(err);
- }
- }
-
- /**
- * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand (visibility: PUBLIC, simpleName: CommSubsystemBand, identifier: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand, deprecated:
- * private pattern commSubsystemBand(Comm : CommSubsystem, Band : TransceiverBand) {
- * CommSubsystem.band(Comm, Band);
- * }
- *
*
@@ -88,7 +83,7 @@ public final class CommSubsystemBandUhf extends BaseGeneratedEMFQuerySpecificati
private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
private static final CommSubsystemBandUhf.GeneratedPQuery INSTANCE = new GeneratedPQuery();
- private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT);
+ private final PParameter parameter_Comm = new PParameter("Comm", "satellite.UHFCommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "UHFCommSubsystem")), PParameterDirection.INOUT);
private final List
- * private pattern commSubsystemBandUhf(Comm : CommSubsystem) {
- * CommSubsystem.band(Comm, TransceiverBand::UHF);
+ * private pattern commSubsystemBandUhf(Comm : UHFCommSubsystem) {
+ * UHFCommSubsystem(Comm);
* }
*
- *
- * @see GenericPatternMatcher
- * @see GenericPatternMatch
- *
- */
-@SuppressWarnings("all")
-public final class CommSubsystemGain extends BaseGeneratedEMFQuerySpecificationWithGenericMatcher {
- private CommSubsystemGain() {
- super(GeneratedPQuery.INSTANCE);
- }
-
- /**
- * @return the singleton instance of the query specification
- * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
- *
- */
- public static CommSubsystemGain instance() {
- try{
- return LazyHolder.INSTANCE;
- } catch (ExceptionInInitializerError err) {
- throw processInitializerError(err);
- }
- }
-
- /**
- * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain (visibility: PUBLIC, simpleName: CommSubsystemGain, identifier: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain, deprecated:
- * private pattern commSubsystemGain(Comm : CommSubsystem, Gain : AntennaGain) {
- * CommSubsystem.gain(Comm, Gain);
- * }
- *
- *
- * @see GenericPatternMatcher
- * @see GenericPatternMatch
- *
- */
-@SuppressWarnings("all")
-public final class CommSubsystemGainLow extends BaseGeneratedEMFQuerySpecificationWithGenericMatcher {
- private CommSubsystemGainLow() {
- super(GeneratedPQuery.INSTANCE);
- }
-
- /**
- * @return the singleton instance of the query specification
- * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
- *
- */
- public static CommSubsystemGainLow instance() {
- try{
- return LazyHolder.INSTANCE;
- } catch (ExceptionInInitializerError err) {
- throw processInitializerError(err);
- }
- }
-
- /**
- * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow (visibility: PUBLIC, simpleName: CommSubsystemGainLow, identifier: hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow, deprecated:
- * private pattern commSubsystemGainLow(Comm : CommSubsystem) {
- * CommSubsystem.gain(Comm, AntennaGain::LOW);
- * }
- *