fr.ove.openmath.jome.ctrlview.bidim.images
Class ImagesResourcesManager

java.lang.Object
  fr.ove.utils.ResourcesManager
      fr.ove.utils.CachingResourcesManager
          fr.ove.openmath.jome.ctrlview.bidim.images.ImagesResourcesManager

All Implemented Interfaces:

java.io.Serializable

public class ImagesResourcesManager

extends CachingResourcesManager

The resources manager for the images.
The syntax for the resources is : imgId = imgName:heightFactor:baseline (Look at the resources file to get full signification of the different fields)

Version:

2.0 04/01/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

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

Method Summary

java.lang.String	getBaseline(java.lang.String property) Returns the baseline of the image corresponding to the property
java.lang.String	getBottomInset(java.lang.String property) Returns the bottom inset of the image corresponding to the property
java.lang.String	getHeightFactor(java.lang.String property) Returns the height factor to apply to the orignal size of the image corresponding to the property
java.lang.String	getImageName(java.lang.String property) Returns the name of the image corresponding to the property
java.lang.String	getLeftInset(java.lang.String property) Returns the left inset of the image corresponding to the property
java.lang.String	getRightInset(java.lang.String property) Returns the right inset of the image corresponding to the property
java.lang.String	getTopInset(java.lang.String property) Returns the top inset of the image corresponding to the 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

ImagesResourcesManager

public ImagesResourcesManager(java.lang.String resourcesName)

The Constructor.

Parameters:

resourcesName - the name of the resources file.

Method Detail

getImageName

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

Returns the name of the image corresponding to the property

Parameters:

property - the specified property

getHeightFactor

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

Returns the height factor to apply to the orignal size of the image corresponding to the property

Parameters:

property - the specified property

getBaseline

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

Returns the baseline of the image corresponding to the property

Parameters:

property - the specified property

getTopInset

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

Returns the top inset of the image corresponding to the property

Parameters:

property - the specified property

getBottomInset

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

Returns the bottom inset of the image corresponding to the property

Parameters:

property - the specified property

getLeftInset

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

Returns the left inset of the image corresponding to the property

Parameters:

property - the specified property

getRightInset

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

Returns the right inset of the image corresponding to the property

Parameters:

property - the specified property