|
|
@ -17,12 +17,83 @@
|
|
|
|
# author Salvo "LtWorf" Tomaselli <tiposchi@tiscali.it>
|
|
|
|
# author Salvo "LtWorf" Tomaselli <tiposchi@tiscali.it>
|
|
|
|
|
|
|
|
|
|
|
|
'''Custom types for relational algebra'''
|
|
|
|
'''Custom types for relational algebra'''
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
import datetime
|
|
|
|
|
|
|
|
|
|
|
|
class rstring (str):
|
|
|
|
class rstring (str):
|
|
|
|
'''String subclass with some custom methods'''
|
|
|
|
'''String subclass with some custom methods'''
|
|
|
|
def isFloat(self):
|
|
|
|
def isFloat(self):
|
|
|
|
'''True if the string is a float number, false otherwise'''
|
|
|
|
'''True if the string is a float number, false otherwise'''
|
|
|
|
lst=['0','1','2','3','4','5','6','7','8','9','.']
|
|
|
|
lst=('0','1','2','3','4','5','6','7','8','9','.')
|
|
|
|
for i in self:
|
|
|
|
for i in self:
|
|
|
|
if i not in lst:
|
|
|
|
if i not in lst:
|
|
|
|
return False;
|
|
|
|
return False;
|
|
|
|
return True;
|
|
|
|
return True;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class rdate (object):
|
|
|
|
|
|
|
|
'''Represents a date'''
|
|
|
|
|
|
|
|
def __init__(self,date):
|
|
|
|
|
|
|
|
sep=('-','/','\\')
|
|
|
|
|
|
|
|
splitter=None
|
|
|
|
|
|
|
|
for i in sep:
|
|
|
|
|
|
|
|
if i in date:
|
|
|
|
|
|
|
|
splitter=i
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
elems=date.split(splitter)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
year=int(elems[0])
|
|
|
|
|
|
|
|
month=int(elems[1])
|
|
|
|
|
|
|
|
day=int(elems[2])
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self.intdate=datetime.date(year,month,day)
|
|
|
|
|
|
|
|
self.day= self.intdate.day
|
|
|
|
|
|
|
|
self.month=self.intdate.month
|
|
|
|
|
|
|
|
self.weekday=self.intdate.weekday()
|
|
|
|
|
|
|
|
self.year=self.intdate.year
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def __str__(self):
|
|
|
|
|
|
|
|
return self.intdate.__str__()
|
|
|
|
|
|
|
|
def __add__(self,days):
|
|
|
|
|
|
|
|
res=self.intdate+datetime.timedelta(days)
|
|
|
|
|
|
|
|
return rdate(res.__str__())
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def __eq__(self,other):
|
|
|
|
|
|
|
|
return self.intdate==other.intdate
|
|
|
|
|
|
|
|
def __ge__(self,other):
|
|
|
|
|
|
|
|
return self.intdate>=other.intdate
|
|
|
|
|
|
|
|
def __gt__ (self,other):
|
|
|
|
|
|
|
|
return self.intdate>other.intdate
|
|
|
|
|
|
|
|
def __le__ (self,other):
|
|
|
|
|
|
|
|
return self.intdate<=other.intdate
|
|
|
|
|
|
|
|
def __lt__ (self,other):
|
|
|
|
|
|
|
|
return self.intdate<other.intdate
|
|
|
|
|
|
|
|
def __ne__(self,other):
|
|
|
|
|
|
|
|
return self.intdate!=other.intdate
|
|
|
|
|
|
|
|
def __sub__ (self,other):
|
|
|
|
|
|
|
|
return (self.intdate-other.intdate).days
|
|
|
|
|
|
|
|
def isDate(date):
|
|
|
|
|
|
|
|
sep=('-','/','\\')
|
|
|
|
|
|
|
|
splitter=None
|
|
|
|
|
|
|
|
for i in sep:
|
|
|
|
|
|
|
|
if i in date:
|
|
|
|
|
|
|
|
splitter=i
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
elems=date.split(splitter)
|
|
|
|
|
|
|
|
if len(elems)!=3:
|
|
|
|
|
|
|
|
return False #Wrong number of elements
|
|
|
|
|
|
|
|
year=elems[0]
|
|
|
|
|
|
|
|
month=elems[1]
|
|
|
|
|
|
|
|
day=elems[2]
|
|
|
|
|
|
|
|
if not (year.isdigit() and month.isdigit() and day.isdigit()):
|
|
|
|
|
|
|
|
return False
|
|
|
|
|
|
|
|
year=int(year)
|
|
|
|
|
|
|
|
month=int(month)
|
|
|
|
|
|
|
|
day=int(day)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if year<datetime.MINYEAR or year>datetime.MAXYEAR:
|
|
|
|
|
|
|
|
return False
|
|
|
|
|
|
|
|
if month<1 or month>12:
|
|
|
|
|
|
|
|
return False
|
|
|
|
|
|
|
|
if day<1 or day >31:
|
|
|
|
|
|
|
|
return False
|
|
|
|
|
|
|
|
return True
|