Back to index

wims  3.65+svn20090927
ImagesResourcesManager.java
Go to the documentation of this file.
00001 /*
00002 $Id: ImagesResourcesManager.java,v 1.3 2003/02/18 11:48:47 sander Exp $
00003 */
00004 
00005 
00006 /*
00007 Copyright (C) 2001-2002 Mainline Project (I3S - ESSI - CNRS -UNSA)
00008 
00009 This library is free software; you can redistribute it and/or
00010 modify it under the terms of the GNU Lesser General Public
00011 License as published by the Free Software Foundation; either
00012 version 2.1 of the License, or (at your option) any later version.
00013 
00014 This library is distributed in the hope that it will be useful,
00015 but WITHOUT ANY WARRANTY; without even the implied warranty of
00016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00017 Lesser General Public License for more details.
00018 
00019 You should have received a copy of the GNU Lesser General Public
00020 License along with this library; if not, write to the Free Software
00021 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
00022 
00023 For further information on the GNU Lesser General Public License,
00024 see: http://www.gnu.org/copyleft/lesser.html
00025 For further information on this library, contact: mainline@essi.fr
00026 */
00027 
00028 
00029 package fr.ove.openmath.jome.ctrlview.bidim.images;
00030 
00031 import fr.ove.utils.CachingResourcesManager;
00032 
00041 public class ImagesResourcesManager extends CachingResourcesManager {
00046     public ImagesResourcesManager(String resourcesName) {
00047         super(resourcesName);
00048     }
00049     
00054     public String getImageName(String property) {
00055         return accessResource(property, 0);
00056     }    
00057     
00062     public String getHeightFactor(String property) {
00063         String heightFactor = accessResource(property, 1);
00064         if ((heightFactor != null) && heightFactor.equals("null"))
00065             heightFactor = null;
00066             
00067         return heightFactor;
00068     }    
00069     
00074     public String getBaseline(String property) {
00075         String baseline = accessResource(property, 2);
00076         if ((baseline != null) && baseline.equals("null"))
00077             baseline = null;
00078             
00079         return baseline;
00080     }
00081     
00086     public String getTopInset(String property) {
00087         String inset = accessResource(property, 3);
00088         if ((inset != null) && inset.equals("null"))
00089             inset = null;
00090             
00091         return inset;
00092     }
00093     
00098     public String getBottomInset(String property) {
00099         String inset = accessResource(property, 4);
00100         if ((inset != null) && inset.equals("null"))
00101             inset = null;
00102             
00103         return inset;
00104     }
00105     
00110     public String getLeftInset(String property) {
00111         String inset = accessResource(property, 5);
00112         if ((inset != null) && inset.equals("null"))
00113             inset = null;
00114             
00115         return inset;
00116     }
00117     
00122     public String getRightInset(String property) {
00123         String inset = accessResource(property, 6);
00124         if ((inset != null) && inset.equals("null"))
00125             inset = null;
00126             
00127         return inset;
00128     }
00129 }