net.sourceforge.jeuclid.elements.support.operatordict
Class OperatorDictionary3

java.lang.Object
  net.sourceforge.jeuclid.elements.support.operatordict.AbstractOperatorDictionary
      net.sourceforge.jeuclid.elements.support.operatordict.OperatorDictionary3

All Implemented Interfaces:

Serializable, OperatorDictionary

public final class OperatorDictionary3
extends AbstractOperatorDictionary
implements Serializable

Implements an operator dictionary based on the MathML 3 spec.

Version:

$Revision: f5d68b2c52ae $

See Also:

Serialized Form

Field Summary

Fields inherited from interface net.sourceforge.jeuclid.elements.support.operatordict.OperatorDictionary

FORM_INFIX, FORM_POSTFIX, FORM_PREFIX, NAME_INFINITY, NAME_MEDIUMMATHSPACE, NAME_THICKMATHSPACE, NAME_THINMATHSPACE, NAME_VERYTHICKMATHSPACE, NAME_VERYTHINMATHSPACE, NAME_VERYVERYTHICKMATHSPACE, NAME_VERYVERYTHINMATHSPACE, VALUE_UNKNOWN

Method Summary

static OperatorDictionary	getInstance() Get the for singleton instance.
protected void	initializeFromXML(Map<OperatorAttribute,Map<String,Map<OperatorForm,String>>> dict) Initializes Dictionary.

Methods inherited from class net.sourceforge.jeuclid.elements.support.operatordict.AbstractOperatorDictionary

deserialize, getDefaultAttributeValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static OperatorDictionary getInstance()

Get the for singleton instance.

Returns:

an instance of OperatorDictionary.

initializeFromXML

protected void initializeFromXML(Map<OperatorAttribute,Map<String,Map<OperatorForm,String>>> dict)

Initializes Dictionary.

Specified by:

initializeFromXML in class AbstractOperatorDictionary

Parameters:

dict - the dictionary to initialize.