Package io.opencaesar.oml

Interface ScalarEquivalenceAxiom

All Superinterfaces:
Axiom, Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
ScalarEquivalenceAxiomImpl
public interface ScalarEquivalenceAxiom extends Axiom
A representation of the model object 'Scalar Equivalence Axiom'. ScalarEquivalenceAxiom is an [=Axiom=] specified on a subject [=Scalar=] that states that it is equivalent to another [=Scalar=]. When the equivalent scalar is one of the standard scalars (see Scalar), the equivalence may specify some restriction facets. The applicable facets depend on the restricted standard scalar (see below). This axiom implies that the subject scalar is a subtype of the equivalent scalar. When there are no facets specified, then it also implies that the equivalent scalar is also a subtype of the subject scalar. The following is the set of allowed facets for each standard scalar: Numeric scalars (facets: minInclusive, maxInclusive, minExclusive, maxExclusive, literals): Time scalars (facets: minInclusive, maxInclusive, minExclusive, maxExclusive, literals): Plain scalars (facets: length, minLength, maxLength, pattern, language, literals): String scalars (facets: length, minLength, maxLength, pattern, literals) Binary scalars (facets: length, minLength, maxLength, literals):

The following features are supported:

See Also:
Generated:
Model:
annotation="https://tabatkins.github.io/bikeshed heading='Axioms'"

  • Method Details

    • getSuperScalar

      Scalar getSuperScalar()
      Returns the value of the 'Super Scalar' reference. The super scalar specified by this axiom
      Returns:
      the value of the 'Super Scalar' reference.
      See Also:
      Generated:
      Model:
      required="true"

    • setSuperScalar

      void setSuperScalar(Scalar value)
      Sets the value of the 'Super Scalar' reference.
      Parameters:
      value - the new value of the 'Super Scalar' reference.
      See Also:
      Generated:

    • getOwningScalar

      Scalar getOwningScalar()
      Returns the value of the 'Owning Scalar' container reference. It is bidirectional and its opposite is 'Owned Equivalences'. The owning scalar specified by this axiom
      Returns:
      the value of the 'Owning Scalar' container reference.
      See Also:
      Generated:
      Model:
      opposite="ownedEquivalences" required="true" transient="false"

    • setOwningScalar

      void setOwningScalar(Scalar value)
      Sets the value of the 'Owning Scalar' container reference.
      Parameters:
      value - the new value of the 'Owning Scalar' container reference.
      See Also:
      Generated:

    • getLength

      Integer getLength()
      Returns the value of the 'Length' attribute. The exact length of the literals of this scalar
      Returns:
      the value of the 'Length' attribute.
      See Also:
      Generated:
      Model:
      unique="false" dataType="io.opencaesar.oml.UnsignedInteger"

    • setLength

      void setLength(Integer value)
      Sets the value of the 'Length' attribute.
      Parameters:
      value - the new value of the 'Length' attribute.
      See Also:
      Generated:

    • getMinLength

      Integer getMinLength()
      Returns the value of the 'Min Length' attribute. The minimum length of the literals of this scalar
      Returns:
      the value of the 'Min Length' attribute.
      See Also:
      Generated:
      Model:
      unique="false" dataType="io.opencaesar.oml.UnsignedInteger"

    • setMinLength

      void setMinLength(Integer value)
      Sets the value of the 'Min Length' attribute.
      Parameters:
      value - the new value of the 'Min Length' attribute.
      See Also:
      Generated:

    • getMaxLength

      Integer getMaxLength()
      Returns the value of the 'Max Length' attribute. The maximum length of the literals of this scalar
      Returns:
      the value of the 'Max Length' attribute.
      See Also:
      Generated:
      Model:
      unique="false" dataType="io.opencaesar.oml.UnsignedInteger"

    • setMaxLength

      void setMaxLength(Integer value)
      Sets the value of the 'Max Length' attribute.
      Parameters:
      value - the new value of the 'Max Length' attribute.
      See Also:
      Generated:

    • getPattern

      String getPattern()
      Returns the value of the 'Pattern' attribute. The pattern that the literals of this scalar conforms to
      Returns:
      the value of the 'Pattern' attribute.
      See Also:
      Generated:
      Model:
      unique="false"

    • setPattern

      void setPattern(String value)
      Sets the value of the 'Pattern' attribute.
      Parameters:
      value - the new value of the 'Pattern' attribute.
      See Also:
      Generated:

    • getLanguage

      String getLanguage()
      Returns the value of the 'Language' attribute. The language range that the literals of this scalar belong to (based on http://www.rfc-editor.org/rfc/bcp/bcp47.txt)
      Returns:
      the value of the 'Language' attribute.
      See Also:
      Generated:
      Model:
      unique="false"

    • setLanguage

      void setLanguage(String value)
      Sets the value of the 'Language' attribute.
      Parameters:
      value - the new value of the 'Language' attribute.
      See Also:
      Generated:

    • getMinInclusive

      Literal getMinInclusive()
      Returns the value of the 'Min Inclusive' containment reference. The minimum inclusive value of numeric literals of this scalar
      Returns:
      the value of the 'Min Inclusive' containment reference.
      See Also:
      Generated:
      Model:
      containment="true"

    • setMinInclusive

      void setMinInclusive(Literal value)
      Sets the value of the 'Min Inclusive' containment reference.
      Parameters:
      value - the new value of the 'Min Inclusive' containment reference.
      See Also:
      Generated:

    • getMinExclusive

      Literal getMinExclusive()
      Returns the value of the 'Min Exclusive' containment reference. The minimum exclusive value of numeric literals of this scalar
      Returns:
      the value of the 'Min Exclusive' containment reference.
      See Also:
      Generated:
      Model:
      containment="true"

    • setMinExclusive

      void setMinExclusive(Literal value)
      Sets the value of the 'Min Exclusive' containment reference.
      Parameters:
      value - the new value of the 'Min Exclusive' containment reference.
      See Also:
      Generated:

    • getMaxInclusive

      Literal getMaxInclusive()
      Returns the value of the 'Max Inclusive' containment reference. The maximum inclusive value of numeric literals of this scalar
      Returns:
      the value of the 'Max Inclusive' containment reference.
      See Also:
      Generated:
      Model:
      containment="true"

    • setMaxInclusive

      void setMaxInclusive(Literal value)
      Sets the value of the 'Max Inclusive' containment reference.
      Parameters:
      value - the new value of the 'Max Inclusive' containment reference.
      See Also:
      Generated:

    • getMaxExclusive

      Literal getMaxExclusive()
      Returns the value of the 'Max Exclusive' containment reference. The maximum exclusive value of numeric literals of this scalar
      Returns:
      the value of the 'Max Exclusive' containment reference.
      See Also:
      Generated:
      Model:
      containment="true"

    • setMaxExclusive

      void setMaxExclusive(Literal value)
      Sets the value of the 'Max Exclusive' containment reference.
      Parameters:
      value - the new value of the 'Max Exclusive' containment reference.
      See Also:
      Generated:

    • getSubScalar

      Scalar getSubScalar()
      Gets the sub scalar of this axiom
      Generated:
      Model:
      kind="operation" unique="false"

    • getCharacterizedTerm

      Scalar getCharacterizedTerm()
      Specified by:
      getCharacterizedTerm in interface Axiom
      Generated:
      Model:
      kind="operation" unique="false"