From b9aaa826e1e7504958b6e75f35e9dcd09086a13e Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 4 May 2019 17:56:18 -0400 Subject: Metrics for satellite case study --- .../dslreasoner/domains/satellite/Spacecraft.java | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java') 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 index 2e5e5044..cc4b85a1 100644 --- 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 @@ -12,6 +12,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite; *

* * * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraft() @@ -45,4 +46,33 @@ public interface Spacecraft extends CommunicatingElement { */ void setPayload(Payload value); + /** + * Returns the value of the 'Kind' attribute. + * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.domains.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 hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind + * @see #setKind(SpacecraftKind) + * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraft_Kind() + * @model required="true" + * @generated + */ + SpacecraftKind getKind(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind Kind}' attribute. + * + * + * @param value the new value of the 'Kind' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind + * @see #getKind() + * @generated + */ + void setKind(SpacecraftKind value); + } // Spacecraft -- cgit v1.2.3-70-g09d2