fr.ove.openmath.jome.ctrl.om
Class OMParserResourcesManager

java.lang.Object
  fr.ove.utils.ResourcesManager
      fr.ove.utils.CachingResourcesManager
          fr.ove.openmath.jome.ctrl.om.OMParserResourcesManager

All Implemented Interfaces:

java.io.Serializable

public class OMParserResourcesManager

extends CachingResourcesManager

Version:

2.0 30/09/99

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

OMParserResourcesManager(java.lang.String resourcesName)
The Constructor.

Method Summary

byte	getArity(java.lang.String property) Returns the arity of the symbol associated to the specified property.
java.lang.String	getIdentifier(java.lang.String property) Returns the class name corresponding to the specified property.
java.lang.String[]	getSupportedCDs() Returns the list of supported cds.
java.lang.String[]	getSupportedSymbols(java.lang.String cdName) Returns the supported symbols in the specified cd.
java.lang.String	getValue(java.lang.String property) Returns the value associated to corresponding to the specified property.
boolean	isSupportedCD(java.lang.String cdName) Checks if the specified cd name is a supported cd.
boolean	isSupportedSymbol(java.lang.String cdName, java.lang.String symbName) Cheks the symbol id supported.
boolean	isValidSymbol(java.lang.String cdName, java.lang.String symbName) Cheks the validity of a symbol.

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

OMParserResourcesManager

public OMParserResourcesManager(java.lang.String resourcesName)

The Constructor.

Parameters:

resourcesName - the name of the resources file.

Method Detail

getIdentifier

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

Returns the class name corresponding to the specified property.

Parameters:

property - the specified property

getValue

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

Returns the value associated to corresponding to the specified property.

Parameters:

property - the specified property

getArity

public byte getArity(java.lang.String property)

Returns the arity of the symbol associated to the specified property.

Parameters:

property - the specified property

getSupportedCDs

public java.lang.String[] getSupportedCDs()

Returns the list of supported cds.

isSupportedCD

public boolean isSupportedCD(java.lang.String cdName)

Checks if the specified cd name is a supported cd.

Parameters:

cdName - the name of the cd

Returns:

true if the cd is supported. false otherwise.

getSupportedSymbols

public java.lang.String[] getSupportedSymbols(java.lang.String cdName)

Returns the supported symbols in the specified cd.

Parameters:

cdName - the name of the cd.

isSupportedSymbol

public boolean isSupportedSymbol(java.lang.String cdName,
                                 java.lang.String symbName)

Cheks the symbol id supported.

isValidSymbol

public boolean isValidSymbol(java.lang.String cdName,
                             java.lang.String symbName)

Cheks the validity of a symbol. Here, validity means :

• the specified cd name is supported
• the specified symbol name is supported (of course, the cd must be supported)

Parameters:

cdName - the name of the cd in which the symbol should be

symbName - the name of the symbol