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

Interface OperatorDictionary

All Known Implementing Classes:
AbstractOperatorDictionary, OperatorDictionary2, OperatorDictionary3
public interface OperatorDictionary
Interface for operator dictionaries.
Version:
$Revision: 241d8c4d0dc1 $

  • Field Details

    • NAME_VERYVERYTHINMATHSPACE

      static final String NAME_VERYVERYTHINMATHSPACE
      name for VERYVERYTHINMATHSPACE size of math space.
      See Also:

    • NAME_VERYTHINMATHSPACE

      static final String NAME_VERYTHINMATHSPACE
      name for VERYTHINMATHSPACE size of math space.
      See Also:

    • NAME_THINMATHSPACE

      static final String NAME_THINMATHSPACE
      name for THINMATHSPACE size of math space.
      See Also:

    • NAME_MEDIUMMATHSPACE

      static final String NAME_MEDIUMMATHSPACE
      name for MEDIUMMATHSPACE size of math space.
      See Also:

    • NAME_THICKMATHSPACE

      static final String NAME_THICKMATHSPACE
      name for THICKMATHSPACE size of math space.
      See Also:

    • NAME_VERYTHICKMATHSPACE

      static final String NAME_VERYTHICKMATHSPACE
      name for VERYTHICKMATHSPACE size of math space.
      See Also:

    • NAME_VERYVERYTHICKMATHSPACE

      static final String NAME_VERYVERYTHICKMATHSPACE
      name for VERYVERYTHICKMATHSPACE size of math space.
      See Also:

    • NAME_INFINITY

      static final String NAME_INFINITY
      name for INFINITY size of math space.
      See Also:

    • FORM_PREFIX

      static final String FORM_PREFIX
      Form value for prefix.
      See Also:

    • FORM_INFIX

      static final String FORM_INFIX
      form value for infix.
      See Also:

    • FORM_POSTFIX

      static final String FORM_POSTFIX
      form value for postfix.
      See Also:

    • VALUE_UNKNOWN

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

  • Method Details

    • getDefaultAttributeValue

      String getDefaultAttributeValue(String operator, String form, 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.