Sophie

Sophie

distrib > Fedora > 13 > i386 > media > updates > by-pkgid > e0d43e73fc046755b382920d1e189f1b > files > 9

pysvn-1.7.2-1.fc13.i686.rpm

'''
 ====================================================================
 Copyright (c) 2003-2009 Barry A Scott.  All rights reserved.

 This software is licensed as described in the file LICENSE.txt,
 which you should have received as part of this distribution.

 ====================================================================
'''

_debug_parse_time = 0

class DateTimeSyntaxError( Exception ):
	def __init__( self, reason ):
		Exception.__init__( self )
		self._reason = reason

	def reason( self ):
		return self._reason

	def __str__( self ):
		return self._reason


class DateSyntaxError( DateTimeSyntaxError ):
	def __init__( self, reason ):
		DateTimeSyntaxError.__init__( self, reason )

class TimeSyntaxError( DateTimeSyntaxError ):
	def __init__( self, reason ):
		DateTimeSyntaxError.__init__( self, reason )

def parse_time( time_string ):
	"""parse_time( time_string )
	returns the UTC time represented by time_string

	british locale defaults used

	formats understood for a date are:
		dayname		- today, yesterday, monday, tuesday...
		dd/mm/yy[yy]	- numeric date
		dd-mmm-yy[yy]	- month as jan,feb,etc...
		n units		- n units of time ago
				  where units are:
					seconds
					minutes
					hours
					days
					weeks
					months
					years
					

	formats understood for time are:
		HH:MM		- absolute time in hours and minutes
		HH:MM:SS	- absolute time in hours, minutes and seconds

	formats understood for data and time are:
		adate atime	- absolute date followed by absolute time
		rdate atime	- relative date followed by absolute time
		atime adate	- absolute time followed by absolute date
		atime rdate	- absolute time followed by relative date
	
	"""
	if _debug_parse_time: print( '* parse_time: time_string=',time_string )

	date = DateConversions()

	have_date = 0
	have_time = 0

	table = string.maketrans("-/","  ")

	time_list = string.split( string.translate( time_string, table ) )
	
	try:
		day_time = convert_time( time_list[0] )
		time_list = time_list[1:]
		if _debug_parse_time:
			print( '* parse_time: Time_list[0] is a time' )
	except TimeSyntaxError:
		try:
			day_time = convert_time( time_list[-1] )
			time_list = time_list[:-1]
			if _debug_parse_time:
				print( '* parse_time: Time_list[-1] is a time' )
		except TimeSyntaxError:
			day_time = 0
			
	if len(time_list) == 0:
		# default to today at time
		result = date.midnight + day_time
		if _debug_parse_time: print( '* parse_time: 1 return',format_time(result) )
		return result

	match_type = date.numeric_type
	matches = []
	for word in time_list:
		day_matches = date.findMatchingDateName( word )
		if len(day_matches) == 0:
			raise DateSyntaxError( "%s unknown date word" % word )

		if date.isAmbiguous( day_matches ):
			raise DateSyntaxError( date.reportAmbiguity( word, day_matches ) )

		this_type = date.typeOfMatch( day_matches )
		if this_type != date.numeric_type:
			if match_type == date.numeric_type:
				match_type = this_type
			elif match_type != this_type:
				raise DateSyntaxError( "ambiguous mix of unit and month names" )

		matches.append( day_matches[0] )
	if _debug_parse_time: print( '* parse_time: matches=',matches )

	if match_type == date.day_type:
		if len(matches) != 1:
			raise DateSyntaxError( "too many day words" )

		day_matches = matches[0]

		result = date.convertDay( day_matches[2] ) + day_time
		if _debug_parse_time: print( '* parse_time: 2 return',format_time(result) )
		return result

	if match_type == date.unit_type:
		# expect a set of pair of <num> <unit>
		if _debug_parse_time >= 2:
			print( 'matches',matches )
		if (len(matches)&1) == 1:
			raise DateSyntaxError( 'must have an even number parameters when using time units' )

		time_offset = 0
		for index in range( 0, len(matches), 2 ):
			value_tuple = matches[index]
			unit_tuple = matches[index+1]

			if value_tuple[1] != date.numeric_type:
				raise DateSyntaxError( 'Expecting a number of units' )
			if unit_tuple[1] != date.unit_type:
				raise DateSyntaxError( 'Expecting a unit name' )

			value = value_tuple[2]
			unit = unit_tuple[2]
			time_offset = time_offset + value*unit

		result = date.now - time_offset
		if _debug_parse_time: print( '* parse_time: 3 return',format_time(result) )
		return result

	if match_type == date.month_type:
		# absolute date
		if len(matches) < 1 or len(matches) > 3:
			raise DateSyntaxError( 'too many date parts' )
		
		day = -1
		month = -1
		year = -1

		num_month_types = 0
		for entry in matches:
			if date.isMonth( entry ):
				num_month_types = num_month_types + 1

		if num_month_types != 1:
			raise DateSyntaxError( 'too many months in the date string' )


		if date.isMonth( matches[0] ):
			month = matches[0][2]
			day = matches[1][2]
			if len(matches) == 3:
				year = matches[2][2]
		else:
			day = matches[0][2]
			if matches[1][1] != date.month_type:
				raise DateSyntaxError( 'expecting month as first or second part of date' )
			month = matches[1][2]
			if len(matches) == 3:
				year = matches[2][2]

		seconds = day_time%60
		minutes = (day_time/60)%60
		hours = day_time/60/60

		result = date.absDate( day, month, year, hours, minutes, seconds )
		if _debug_parse_time: print( '* parse_time: 4 return',format_time(result) )
		return result

	if match_type == date.numeric_type and len(matches) == 3:
		# assume its in locale order - which is assumed to be D M Y
		day = matches[0][2]
		month = matches[1][2]
		year = matches[2][2]

		seconds = day_time%60
		minutes = (day_time/60)%60
		hours = day_time/60/60

		result = date.absDate( day, month, year, hours, minutes, seconds )
		if _debug_parse_time: print( '* parse_time: 4 return',format_time(result) )
		return result

	raise DateSyntaxError( 'cannot understand date and time string ' + time_string )


def convert_time( time_str ):
	time_list = string.split( time_str, ':' )
	if len(time_list) < 2:
		# not a time - no ":"
		raise TimeSyntaxError( "Not a time" )

	if len(time_list) > 3:
		raise TimeSyntaxError( "Too many time parts" )

	hour = time_list[0]
	minute = time_list[1]
	second = '0'
	if len(time_list) > 2:
		second = time_list[2]

	try:
		hour = string.atoi( hour )
		minute = string.atoi( minute )
		second = string.atoi( second )
	except:
		return -1

	if( hour < 0 or hour > 23 ):
		raise TimeSyntaxError( "hour value of %d invalid" % hour )
	if( minute < 0 or minute > 59 ):
		raise TimeSyntaxError( "minutes value of %d invalid" % hour )
	if( second < 0 or second > 59 ):
		raise TimeSyntaxError( "seconds value of %d invalid" % hour )

	day_time = (hour*60 + minute)*60 + second

	return day_time


class DateConversions:
	seconds_in_one_day = 24*60*60

	day_type = 1
	month_type = 2
	unit_type = 3
	numeric_type = 4

	date_names = [
		# day names
		('today',	day_type,	0),
		('yesterday',	day_type,	-1),
		('monday',	day_type,	1),
		('tuesday',	day_type,	2),
		('wednesday',	day_type,	3),
		('thursday',	day_type,	4),
		('friday',	day_type,	5),
		('saturday',	day_type,	6),
		('sunday',	day_type,	7),
		# month names
		('january',	month_type,	1),
		('feburary',	month_type,	2),
		('march',	month_type,	3),
		('april',	month_type,	4),
		('may',		month_type,	5),
		('june',	month_type,	6),
		('july',	month_type,	7),
		('august',	month_type,	8),
		('september',	month_type,	9),
		('october',	month_type,	10),
		('november',	month_type,	11),
		('december',	month_type,	12),
		# unit names
		('seconds',	unit_type,	1),
		('minutes',	unit_type,	60),
		('hours',	unit_type,	60*60),
		('days',	unit_type,	24*60*60.),
		('weeks',	unit_type,	7*24*60*60),
		('months',	unit_type,	30*24*60*60),
		('years',	unit_type,	365*24*60*60)
		]

	def __init__( self ):
		self.now = time.time()
		self.year, self.month, self.day, self.hour, self.minute, self.second, self.weekday, self.julian, self.dst = time.localtime( self.now )
		
		self.midnight = time.mktime( 
				(self.year, self.month, self.day,
				0, 0, 0,
				self.weekday, self.julian, self.dst) )

	def convertDay( self, day_offset ):
		if day_offset == 0:	# today
			return self.midnight
		elif day_offset == -1:	# yesterday
			return self.midnight - self.seconds_in_one_day
		else:
			# day of week
			offset = day_offset - self.weekday - 1
			# make sure its in the past
			if offset >= 0:
				offset = offset - 7

			return self.midnight + offset*self.seconds_in_one_day

	def absDate( self, day, month, year, hour=0, minute=0, second=0 ):
		future_check = 0
		if year < 0:
			year = self.year
			future_check = 1
		elif year < 70:
			year = year + 2000
		elif year < 100:
			year = year + 1900

	
		try:
			date = time.mktime( 
				(year, month, day,
				hour, minute, second,
				self.weekday, self.julian, -1) )
		except OverflowError:
			raise DateSyntaxError( 'cannot convert date and time year=%d/month=%d/day=%d %d:%d:%d' %
       					(year, month, day, hour, minute, second) )

		if date > self.now and future_check:
			year = year - 1

			try:
				date = time.mktime( 
					(year, month, day,
					hour, minute, second,
					self.weekday, self.julian, -1) )
			except OverflowError:
				raise DateSyntaxError( 'cannot convert date and time %d/%d/%d %d:%d:%d' %
					(year, month, day, hour, minute, second) )

		return date

	def findMatchingDateName( self, name ):
		try:
			value = string.atoi( name )
			return [(name, self.numeric_type, value )]
		except:
			pass

		matches = []
		name_len = len(name)
		for entry in self.date_names:
			entry_name = entry[0]
			if len(entry_name) >= name_len and entry_name[0:name_len] == name:
				matches.append( entry )

		return matches


	def typeOfMatch( self, matches ):
		return matches[0][1]

	def isAmbiguous( self, matches ):
		return len(matches) > 1

	def isDay( self, matches ):
		return matches[1] == self.day_type

	def isMonth( self, matches ):
		return matches[1] == self.month_type

	def isUnit( self, matches ):
		return matches[1] == self.unit_type

	def isNumeric( self, matches ):
		return matches[1] == self.numeric_type

	def reportAmbiguity( self, name, tuples ):
		names = map( lambda t: t[0], tuples )
		return "%s is ambiguous, it matches: %s" % (name, string.join( names, ', ' ))