model.ecore 4.06 KB
Newer Older
Johannes Eder's avatar
Johannes Eder committed
1 2 3 4
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="model" nsURI="http://www.fortiss.org/af3/exploration/smt" nsPrefix="org-fortiss-af3-exploration-smt">
  <eClassifiers xsi:type="ecore:EClass" name="SMTConstraint">
Johannes Eder's avatar
Johannes Eder committed
5
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
6
      <details key="documentation" value="@deprecated Use {@link org.fortiss.af3.exploration.model.ExplorationConstraint} instead."/>
Johannes Eder's avatar
Johannes Eder committed
7
    </eAnnotations>
8
    <eGenericSuperTypes eClassifier="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationConstraint">
Johannes Eder's avatar
Johannes Eder committed
9 10
      <eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/>
    </eGenericSuperTypes>
11
    <eGenericSuperTypes eClassifier="#//CustomDimension"/>
Johannes Eder's avatar
Johannes Eder committed
12 13
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SMTObjective">
Johannes Eder's avatar
Johannes Eder committed
14
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
15
      <details key="documentation" value="@deprecated Use {@link org.fortiss.af3.exploration.model.ExplorationObjective} instead."/>
Johannes Eder's avatar
Johannes Eder committed
16
    </eAnnotations>
17 18 19 20 21 22
    <eStructuralFeatures xsi:type="ecore:EReference" name="constraints" upperBound="-1"
        eType="#//SMTConstraint" containment="true">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Additional constraints which have to hold when using this objective."/>
      </eAnnotations>
    </eStructuralFeatures>
23
    <eGenericSuperTypes eClassifier="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationObjective">
24
      <eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDoubleObject"/>
Johannes Eder's avatar
Johannes Eder committed
25
    </eGenericSuperTypes>
26 27
    <eGenericSuperTypes eClassifier="#//CustomDimension"/>
  </eClassifiers>
28
  <eClassifiers xsi:type="ecore:EClass" name="CustomDimension">
Johannes Eder's avatar
Johannes Eder committed
29
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
30
      <details key="documentation" value="@deprecated See the subclasses of {@link org.fortiss.af3.exploration.model.IProblemDimension} for an alternative."/>
Johannes Eder's avatar
Johannes Eder committed
31
    </eAnnotations>
32
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="dimension" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
Johannes Eder's avatar
Johannes Eder committed
33 34 35 36 37
        defaultValueLiteral="category">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="TODO: write documentation (in the model!)"/>
      </eAnnotations>
    </eStructuralFeatures>
Johannes Eder's avatar
Johannes Eder committed
38
  </eClassifiers>
Marco Volpe's avatar
YELLOW  
Marco Volpe committed
39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
  <eSubpackages name="dseml" nsURI="http://www.fortiss.org/af3/exploration/smt/dseml"
      nsPrefix="org-fortiss-af3-exploration-smt-dseml">
    <eClassifiers xsi:type="ecore:EClass" name="FrequencyAssigned" eSuperTypes="platform:/resource/org.fortiss.af3.exploration/model/dseml.ecore#//function/IFunction platform:/resource/org.fortiss.af3.exploration/model/dseml.ecore#//arithmetic/ArithmeticLiteral">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated (Function that returns the frequency assigned to an ECU.)"/>
      </eAnnotations>
      <eOperations name="toString" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return &quot;frequencyAssigned(&quot; + this.getArg0().toString() + &quot;)&quot;;"/>
        </eAnnotations>
      </eOperations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="arg0" eType="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/dseml.ecore#//expression/ModelElementLiteral"
          containment="true">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
      </eStructuralFeatures>
    </eClassifiers>
  </eSubpackages>
Johannes Eder's avatar
Johannes Eder committed
58
</ecore:EPackage>