OperatorDictionary3

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

All Implemented Interfaces:

java.io.Serializable, OperatorDictionary
```
public final class OperatorDictionary3
extends AbstractOperatorDictionary
implements java.io.Serializable
```
Implements an operator dictionary based on the MathML 3 spec.

Version:

$Revision: 51c390b5de9a $

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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static OperatorDictionary`	`getInstance()`	Get the for singleton instance.
`protected void`	`initializeFromXML(java.util.Map<OperatorAttribute,java.util.Map<java.lang.String,java.util.Map<OperatorForm,java.lang.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(java.util.Map<OperatorAttribute,java.util.Map<java.lang.String,java.util.Map<OperatorForm,java.lang.String>>> dict)
```
    Initializes Dictionary.
    
    Specified by:
    
    initializeFromXML in class AbstractOperatorDictionary
    
    Parameters:
    
    dict - the dictionary to initialize.