Revision bdfd7802 lib/ht.py

b/lib/ht.py
307 307 
  TAnd(TFloat, WithDesc("EqualGreaterZero")(lambda v: v >= 0.0))
308 308 

  		





  309
  309
  
    
#: Job ID


  		





  310
  
  
    
TJobId = TOr(TPositiveInt,


  		





  311
  
  
    
             TRegex(re.compile("^%s$" % constants.JOB_ID_TEMPLATE)))


  		





  
  310
  
    
TJobId = WithDesc("JobId")(TOr(TPositiveInt,


  		





  
  311
  
    
                               TRegex(re.compile("^%s$" %


  		





  
  312
  
    
                                                 constants.JOB_ID_TEMPLATE))))


  		





  312
  313
  
    

  		





  313
  314
  
    
#: Number


  		





  314
  315
  
    
TNumber = TOr(TInt, TFloat)


  		












Also available in:
  Unified diff