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:

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

Modifier and Type

Method

Description

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 Details
- 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.