fr.ove.openmath.jome.ctrlview.bidim
Class BidimResourcesManager

java.lang.Object
  extended byfr.ove.utils.ResourcesManager
      extended byfr.ove.utils.CachingResourcesManager
          extended byfr.ove.openmath.jome.ctrlview.bidim.BidimResourcesManager
All Implemented Interfaces:
java.io.Serializable

public class BidimResourcesManager
extends CachingResourcesManager

The resources manager for the rendering formula.
The different resources take the following syntax : (see the resources files for more details) modelId = idDisplay:layoutManager

Version:
2.0 03/01/2000
Author:
© 2000 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
BidimResourcesManager(java.lang.String resourcesName)
          The Constructor.
 
Method Summary
 java.lang.String getDisplayString(java.lang.String property)
           
 java.lang.String getIdDisplay(java.lang.String property)
          Returns the display identificator of the specified property.
 java.lang.String getLayoutManager(java.lang.String property)
          Returns the class name of the layout manager corresponding to the specified 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

BidimResourcesManager

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

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

getIdDisplay

public java.lang.String getIdDisplay(java.lang.String property)
Returns the display identificator of the specified property.

Parameters:
property - the specified property

getLayoutManager

public java.lang.String getLayoutManager(java.lang.String property)
Returns the class name of the layout manager corresponding to the specified property.

Parameters:
property - the specified property

getDisplayString

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


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