Back to index

wims  3.65+svn20090927
Public Member Functions
fr.ove.openmath.jome.ctrlview.bidim.BidimResourcesManager Class Reference

The resources manager for the rendering formula. More...

Inheritance diagram for fr.ove.openmath.jome.ctrlview.bidim.BidimResourcesManager:
Inheritance graph
[legend]
Collaboration diagram for fr.ove.openmath.jome.ctrlview.bidim.BidimResourcesManager:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 BidimResourcesManager (String resourcesName)
 The Constructor.
String getIdDisplay (String property)
 Returns the display identificator of the specified property.
String getLayoutManager (String property)
 Returns the class name of the layout manager corresponding to the specified property.
String accessResource (String resource, int index)
 Returns the index-th resource of the specified property.
String getResourceString (String prop)
 Get the raw string for the given property.
String[] getResourceStrings (String prop)
 Get the resource strings for the given property.

Detailed Description

The resources manager for the rendering formula.


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

Author:
2000 DIRAT Laurent
Version:
2.0 03/01/2000

Definition at line 41 of file BidimResourcesManager.java.


Constructor & Destructor Documentation

The Constructor.

Parameters:
resourcesNamethe name of the resources file.

Definition at line 46 of file BidimResourcesManager.java.

                                                       {
        super(resourcesName);
    }

Member Function Documentation

String fr.ove.utils.CachingResourcesManager.accessResource ( String  resource,
int  index 
) [inline, inherited]

Returns the index-th resource of the specified property.

Parameters:
propertyNamethe name of the property
indexthe index of the resource

Definition at line 40 of file CachingResourcesManager.java.

                                                             {
        String property = null;
        
        if (!cachedResource.equals(resource)) {
            String[] properties = getResourceStrings(resource);
            if ((index >= 0) && (index < properties.length)) {
                property = properties[index];
                cachedResource = resource;
                cachedProperties = properties;
            }
        }
        else if ((index >= 0) && (index < cachedProperties.length))
            property = cachedProperties[index];
        
        return property;
        
    }

Here is the call graph for this function:

Here is the caller graph for this function:

Returns the display identificator of the specified property.

Parameters:
propertythe specified property

Definition at line 54 of file BidimResourcesManager.java.

                                                {
        return accessResource(property, 0);
    }

Here is the call graph for this function:

Here is the caller graph for this function:

Returns the class name of the layout manager corresponding to the specified property.

Parameters:
propertythe specified property

Definition at line 62 of file BidimResourcesManager.java.

                                                    {
        return accessResource(property, 1);
    }    

Here is the call graph for this function:

Here is the caller graph for this function:

String fr.ove.utils.ResourcesManager.getResourceString ( String  prop) [inline, inherited]

Get the raw string for the given property.

Definition at line 43 of file ResourcesManager.java.

                                                 {
        String str;
        try {
            str = resources.getString(prop);
        } 
        catch (MissingResourceException mre) {
            str = null;
        }

        return str;
    }

Here is the caller graph for this function:

String [] fr.ove.utils.ResourcesManager.getResourceStrings ( String  prop) [inline, inherited]

Get the resource strings for the given property.

Definition at line 58 of file ResourcesManager.java.

                                                     {
        return tokenize(getResourceString (prop));
    }

Here is the call graph for this function:

Here is the caller graph for this function:


The documentation for this class was generated from the following file: