Package net.sourceforge.jeuclid.elements.support.operatordict

Interface OperatorDictionary

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String FORM_INFIX
      form value for infix.
      static java.lang.String FORM_POSTFIX
      form value for postfix.
      static java.lang.String FORM_PREFIX
      Form value for prefix.
      static java.lang.String NAME_INFINITY
      name for INFINITY size of math space.
      static java.lang.String NAME_MEDIUMMATHSPACE
      name for MEDIUMMATHSPACE size of math space.
      static java.lang.String NAME_THICKMATHSPACE
      name for THICKMATHSPACE size of math space.
      static java.lang.String NAME_THINMATHSPACE
      name for THINMATHSPACE size of math space.
      static java.lang.String NAME_VERYTHICKMATHSPACE
      name for VERYTHICKMATHSPACE size of math space.
      static java.lang.String NAME_VERYTHINMATHSPACE
      name for VERYTHINMATHSPACE size of math space.
      static java.lang.String NAME_VERYVERYTHICKMATHSPACE
      name for VERYVERYTHICKMATHSPACE size of math space.
      static java.lang.String NAME_VERYVERYTHINMATHSPACE
      name for VERYVERYTHINMATHSPACE size of math space.
      static java.lang.String VALUE_UNKNOWN
      This value is returned, when default value of operator attribute doesn't exist in this dictionary so far.

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.lang.String getDefaultAttributeValue​(java.lang.String operator, java.lang.String form, java.lang.String attributeName)
      Determines default value of the operator attribute.

    • Field Detail

      • NAME_VERYVERYTHINMATHSPACE

        static final java.lang.String NAME_VERYVERYTHINMATHSPACE
        name for VERYVERYTHINMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_VERYTHINMATHSPACE

        static final java.lang.String NAME_VERYTHINMATHSPACE
        name for VERYTHINMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_THINMATHSPACE

        static final java.lang.String NAME_THINMATHSPACE
        name for THINMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_MEDIUMMATHSPACE

        static final java.lang.String NAME_MEDIUMMATHSPACE
        name for MEDIUMMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_THICKMATHSPACE

        static final java.lang.String NAME_THICKMATHSPACE
        name for THICKMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_VERYTHICKMATHSPACE

        static final java.lang.String NAME_VERYTHICKMATHSPACE
        name for VERYTHICKMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_VERYVERYTHICKMATHSPACE

        static final java.lang.String NAME_VERYVERYTHICKMATHSPACE
        name for VERYVERYTHICKMATHSPACE size of math space.
        See Also:
        Constant Field Values

      • NAME_INFINITY

        static final java.lang.String NAME_INFINITY
        name for INFINITY size of math space.
        See Also:
        Constant Field Values

      • FORM_PREFIX

        static final java.lang.String FORM_PREFIX
        Form value for prefix.
        See Also:
        Constant Field Values

      • FORM_INFIX

        static final java.lang.String FORM_INFIX
        form value for infix.
        See Also:
        Constant Field Values

      • FORM_POSTFIX

        static final java.lang.String FORM_POSTFIX
        form value for postfix.
        See Also:
        Constant Field Values

      • VALUE_UNKNOWN

        static final java.lang.String VALUE_UNKNOWN
        This value is returned, when default value of operator attribute doesn't exist in this dictionary so far.
        See Also:
        Constant Field Values

    • Method Detail

      • getDefaultAttributeValue

        java.lang.String getDefaultAttributeValue​(java.lang.String operator,
                                          java.lang.String form,
                                          java.lang.String attributeName)
                                   throws UnknownAttributeException
        Determines default value of the operator attribute.
        Parameters:
        operator - operator character
        form - form string
        attributeName - name of attribute
        Returns:
        VALUE_UNKOWN or value from dict.
        Throws:
        UnknownAttributeException - Raised, if wrong attributeName was provided.