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

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

All Implemented Interfaces:

Serializable, OperatorDictionary

public final class OperatorDictionary2
extends AbstractOperatorDictionary
implements Serializable

Read default values of operators from xml file.

Version:

$Revision: 241d8c4d0dc1 $

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.