Revision 2336

View differences:

org.gvsig.raster.wms/trunk/org.gvsig.raster.wms/org.gvsig.raster.wms.app.wmsclient/src/main/resources-plugin/install/install.xml
1 
<project name="org.gvsig.wms default="copy_files" basedir=".">
2 
    <target name="copy_files">
3 
    	<copy todir="${gvsig_dir}/gvSIG/extensiones/org.gvsig.app/lib">
4 
    		<fileset dir="./files" includes="org.gvsig.remoteclient-2.0-SNAPSHOT.jar"/>
5 
		</copy>
6 
	</target>
7 
</project>
org.gvsig.raster.wms/trunk/org.gvsig.raster.wms/org.gvsig.raster.wms.io/src/main/java/org/gvsig/raster/wms/io/time/TimeDimension.java
64 64 

  		




  65
  65
  
    
    static private final String digit                 = "[0-9]";


  		




  66
  66
  
    
    static private final String nonZeroDigit          = "[1-9]";


  		




  67
  
  
    
    static private final String seconds               = "([0-5]"+digit+"((\\.|,)"+digit+digit+")?)";


  		




  68
  
  
    
    static private final String minutes               = "([0-5]"+digit+")";


  		




  69
  
  
    
    static private final String hours                 = "(0"+digit+"|1"+digit+"|2[0-3])";


  		




  70
  
  
    
    static private final String time                  = hours+":"+minutes+"(:"+seconds+")?";


  		




  71
  
  
    
    static private final String days                  = "(0?"+nonZeroDigit+"|1"+digit+"|2"+digit+"|30|31)";


  		




  72
  
  
    
    static private final String months                = "(0?"+nonZeroDigit+"|10|11|12)";


  		




  73
  
  
    
    static private final String year                  = "("+digit+digit+")";


  		




  74
  
  
    
    static private final String century               = "("+digit+digit+")";


  		




  75
  
  
    
    static private final String floatingPointNumber   = "("+digit+"+(\\."+digit+"+)?)";


  		




  
  67
  
    
    static private final String seconds               = "([0-5]" + digit + "((\\.|,)" + digit + digit+ "?" + digit + "?" + ")?)";


  		




  
  68
  
    
    static private final String minutes               = "([0-5]" + digit + ")";


  		




  
  69
  
    
    static private final String hours                 = "(0" + digit + "|1" + digit + "|2[0-3])";


  		




  
  70
  
    
    static private final String time                  = hours + ":" + minutes + "(:" + seconds + ")?";


  		




  
  71
  
    
    static private final String days                  = "(0?" + nonZeroDigit + "|1" + digit + "|2" + digit + "|30|31)";


  		




  
  72
  
    
    static private final String months                = "(0?" + nonZeroDigit + "|10|11|12)";


  		




  
  73
  
    
    static private final String year                  = "(" + digit + digit + ")";


  		




  
  74
  
    
    static private final String century               = "(" + digit + digit + ")";


  		




  
  75
  
    
    static private final String floatingPointNumber   = "(" + digit + "+(\\." + digit + "+)?)";


  		




  76
  76
  
    

  		




  77
  77
  
    
    private String              unit;


  		




  78
  78
  
    
	private String              unitSymbol;


  		




  ......




  281
  281
  
    
			// Each iteration is a value of a comma-separated list


  		




  282
  282
  
    
			// which can be a single date or even an expression defining


  		




  283
  283
  
    
			// an interval.


  		




  
  284
  
    
			items[i] = items[i].trim();


  		




  284
  285
  
    
			if (items[i].matches(regexDateExtendedForBCE1)) {


  		




  285
  286
  
    
				upgradeFormat(YEAR_FORMAT);


  		




  286
  287
  
    
				valueList.add(valueOf(items[i]));


  		












Also available in:  Unified diff