fr.ove.openmath.jome.model
Class FormulaResourcesManager

java.lang.Object
  fr.ove.utils.ResourcesManager
      fr.ove.utils.CachingResourcesManager
          fr.ove.openmath.jome.model.FormulaResourcesManager

All Implemented Interfaces:

java.io.Serializable

public class FormulaResourcesManager

extends CachingResourcesManager

The resources manager for the formula.

Version:

2.1 10/01/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

FormulaResourcesManager(java.lang.String resourcesName)
Constructor

Method Summary

java.lang.Integer	getArity(java.lang.String property) Returns the arity resource corresponding to the specified property.
int	getAsOperandPriority(java.lang.String property) Returns the as operand resource corresponding to the specified property.
int	getAsOperatorPriority(java.lang.String property) Returns the as operator resource corresponding to the specified property.
java.lang.String	getClassName(java.lang.String property) Returns the class name corresponding to the specified property.
java.lang.String	getPrioritiesIdentifier(java.lang.String property)

Methods inherited from class fr.ove.utils.CachingResourcesManager

accessResource

Methods inherited from class fr.ove.utils.ResourcesManager

getResourceString, getResourceStrings

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaResourcesManager

public FormulaResourcesManager(java.lang.String resourcesName)

Constructor

Parameters:

resourcesName - the name of the resources file.
he name is specified without the ".properties" extension. If the property file is located in a package, the fully qualified name (e.g. my.package.filename) must be used.

Method Detail

getClassName

public java.lang.String getClassName(java.lang.String property)

Returns the class name corresponding to the specified property.

Parameters:

property - the specified property

getArity

public java.lang.Integer getArity(java.lang.String property)

Returns the arity resource corresponding to the specified property.

Parameters:

property - the specified property

getPrioritiesIdentifier

public java.lang.String getPrioritiesIdentifier(java.lang.String property)

getAsOperatorPriority

public int getAsOperatorPriority(java.lang.String property)

Returns the as operator resource corresponding to the specified property.

Parameters:

property - the specified property

getAsOperandPriority

public int getAsOperandPriority(java.lang.String property)

Returns the as operand resource corresponding to the specified property.

Parameters:

property - the specified property