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 Summary

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

Method Summary

String

getDefaultAttributeValue(String operator, String form, String attributeName) Determines default value of the operator attribute.

Field Detail

NAME_VERYVERYTHINMATHSPACE

static final String NAME_VERYVERYTHINMATHSPACE

name for VERYVERYTHINMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_VERYTHINMATHSPACE

static final String NAME_VERYTHINMATHSPACE

name for VERYTHINMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_THINMATHSPACE

static final String NAME_THINMATHSPACE

name for THINMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_MEDIUMMATHSPACE

static final String NAME_MEDIUMMATHSPACE

name for MEDIUMMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_THICKMATHSPACE

static final String NAME_THICKMATHSPACE

name for THICKMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_VERYTHICKMATHSPACE

static final String NAME_VERYTHICKMATHSPACE

name for VERYTHICKMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_VERYVERYTHICKMATHSPACE

static final String NAME_VERYVERYTHICKMATHSPACE

name for VERYVERYTHICKMATHSPACE size of math space.

See Also:

Constant Field Values

NAME_INFINITY

static final String NAME_INFINITY

name for INFINITY size of math space.

See Also:

Constant Field Values

FORM_PREFIX

static final String FORM_PREFIX

Form value for prefix.

See Also:

Constant Field Values

FORM_INFIX

static final String FORM_INFIX

form value for infix.

See Also:

Constant Field Values

FORM_POSTFIX

static final String FORM_POSTFIX

form value for postfix.

See Also:

Constant Field Values

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:

Constant Field Values

Method Detail

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.