fr.ove.utils
Class CachingResourcesManager

java.lang.Object
  extended byfr.ove.utils.ResourcesManager
      extended byfr.ove.utils.CachingResourcesManager
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
AMTO_ResourcesManager, BidimResourcesManager, FormulaResourcesManager, ImagesResourcesManager, MathMLFormaterResoucesManager, MathMLParserResourcesManager, OMParserResourcesManager, OpenMathFormaterResoucesManager

public class CachingResourcesManager
extends ResourcesManager

The resources manager caching the last resource required.

Version:
2.0 17/12/1999
Author:
© 1999 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
CachingResourcesManager(java.lang.String resourcesName)
          The Constructor.
 
Method Summary
 java.lang.String accessResource(java.lang.String resource, int index)
          Returns the index-th resource of the specified property.
 
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

CachingResourcesManager

public CachingResourcesManager(java.lang.String resourcesName)
The Constructor.

Parameters:
resourcesName - the name of the resources file.
Method Detail

accessResource

public java.lang.String accessResource(java.lang.String resource,
                                       int index)
Returns the index-th resource of the specified property.

Parameters:
index - the index of the resource


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.