Package de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract

Interface EvaluationAspect

All Superinterfaces:
org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, de.uka.ipd.sdq.identifier.Identifier, Notifier
All Known Subinterfaces:
DeterministicEvaluationAspect, Frequency, Mean, Percentile, PointEstimator, StochasticEvaluationAspect, Value, Variance
All Known Implementing Classes:
DeterministicEvaluationAspectImpl, EvaluationAspectImpl, FrequencyImpl, MeanImpl, PercentileImpl, PointEstimatorImpl, StochasticEvaluationAspectImpl, ValueImpl, VarianceImpl
public interface EvaluationAspect extends EObject, de.uka.ipd.sdq.identifier.Identifier
A representation of the model object 'Evaluation Aspect'.

The following features are supported:

See Also:
Generated class or method.
EMF model class or method.
abstract="true"

  • Method Details

    • getAspectRequirement

      AspectRequirement getAspectRequirement()
      Returns the value of the 'Aspect Requirement' containment reference.

      If the meaning of the 'Aspect Requirement' containment reference isn't clear, there really should be more of a description here...

      Returns:
      the value of the 'Aspect Requirement' containment reference.
      See Also:
      Generated class or method.
      EMF model class or method.
      containment="true" ordered="false"

    • setAspectRequirement

      void setAspectRequirement(AspectRequirement value)
      Sets the value of the 'Aspect Requirement' containment reference.
      Parameters:
      value - the new value of the 'Aspect Requirement' containment reference.
      See Also:
      Generated class or method.

    • FREQUENCY_LIMIT_must_be_NUMERIC

      boolean FREQUENCY_LIMIT_must_be_NUMERIC(DiagnosticChain diagnostics, Map<Object,Object> context)
      self.oclIsTypeOf(QMLContract::Frequency) implies ( self.aspectRequirement <> null implies ( self.aspectRequirement.aspectRequirementLiteral.oclIsTypeOf(QMLContract::NumericLiteral) ) )
      Parameters:
      diagnostics - The chain of diagnostics to which problems are to be appended.
      context - The cache of context-specific information.
      Generated class or method.
      EMF model class or method.
      annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.oclIsTypeOf(QMLContract::Frequency) implies (\r\n\tself.aspectRequirement <> null implies (\r\n\t\tself.aspectRequirement.aspectRequirementLiteral.oclIsTypeOf(QMLContract::NumericLiteral)\r\n\t)\r\n)'"

    • FREQUENCY_LIMIT_must_be_between_0_and_100

      boolean FREQUENCY_LIMIT_must_be_between_0_and_100(DiagnosticChain diagnostics, Map<Object,Object> context)
      self.oclIsTypeOf(QMLContract::Frequency) implies ( self.aspectRequirement <> null implies ( self.aspectRequirement.aspectRequirementLiteral.oclIsTypeOf(QMLContract::NumericLiteral) implies ( self.aspectRequirement.aspectRequirementLiteral.oclAsType(QMLContract::NumericLiteral ).value.oclAsType(Real) > 0 and self.aspectRequirement.aspectRequirementLiteral.oclAsType(QMLContract ::NumericLiteral).value.oclAsType(Real) < 100 ) ) )
      Parameters:
      diagnostics - The chain of diagnostics to which problems are to be appended.
      context - The cache of context-specific information.
      Generated class or method.
      EMF model class or method.
      annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.oclIsTypeOf(QMLContract::Frequency) implies (\r\n\tself.aspectRequirement <> null implies (\r\n\t\tself.aspectRequirement.aspectRequirementLiteral.oclIsTypeOf(QMLContract::NumericLiteral) implies (\r\n\t\t\tself.aspectRequirement.aspectRequirementLiteral.oclAsType(QMLContract::NumericLiteral).value.oclAsType(Real) > 0 and\r\n\t\t\tself.aspectRequirement.aspectRequirementLiteral.oclAsType(QMLContract::NumericLiteral).value.oclAsType(Real) < 100\r\n\t\t)\r\n\t)\r\n)'"