Revision 1533

tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 1533)
72 72 

  		





  73
  73
  
    
	public static final DateFormat ID_TIME_FORMAT = new SimpleDateFormat("YYYYMMdd_HHmmssSSS");


  		





  74
  74
  
    
	public static final DateFormat PRETTY_TIME_FORMAT = new SimpleDateFormat("YYYY/MM/dd HH:mm:ss");


  		





  75
  
  
    
	public static final DateFormat PRETTY_LOCALIZED_TIME_FORMAT = DateFormat.getDateInstance(DateFormat.FULL, Locale.getDefault());


  		





  
  75
  
    
	public static final DateFormat PRETTY_LOCALIZED_TIME_FORMAT = new SimpleDateFormat("dd MMMM yyyy, HH'h'mm", Locale.getDefault());


  		





  76
  76
  
    
	public static final String UUID_PREFIX = "txm_res_"; //$NON-NLS-1$


  		





  77
  77
  
    
	public static final Pattern FILE_NAME_PATTERN = Pattern.compile("[^a-zA-Z0-9\\.-]+"); //$NON-NLS-1$


  		





  78
  78
  
    
	public static final String UNDERSCORE = "_";


  		












Also available in:
  Unified diff