2021-04-29 17:52:45 +10:00
|
|
|
import datetime
|
2021-01-22 16:21:17 +11:00
|
|
|
from re import findall
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def duration2dict(duration):
|
|
|
|
|
results = {}
|
|
|
|
|
for number, unit in findall("(?P<number>\d+)(?P<period>S|M|H|D|W|Y)", duration):
|
|
|
|
|
results[unit] = number
|
|
|
|
|
return results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def ifc2datetime(element):
|
|
|
|
|
if isinstance(element, str) and element[0] == "P": # IfcDuration
|
|
|
|
|
return duration2dict(element)
|
2021-04-29 17:52:45 +10:00
|
|
|
elif isinstance(element, str) and element[2] == ":": # IfcTime
|
|
|
|
|
return datetime.time.fromisoformat(element)
|
|
|
|
|
elif isinstance(element, str) and ":" in element: # IfcDateTime
|
|
|
|
|
return datetime.datetime.fromisoformat(element)
|
|
|
|
|
elif isinstance(element, str): # IfcDate
|
|
|
|
|
return datetime.date.fromisoformat(element)
|
2021-01-22 16:21:17 +11:00
|
|
|
elif isinstance(element, int): # IfcTimeStamp
|
2021-04-29 17:52:45 +10:00
|
|
|
return datetime.datetime.fromtimestamp(element)
|
2021-01-22 16:21:17 +11:00
|
|
|
elif element.is_a("IfcDateAndTime"):
|
2021-04-29 17:52:45 +10:00
|
|
|
return datetime.datetime(
|
2021-01-22 16:21:17 +11:00
|
|
|
element.DateComponent.YearComponent,
|
|
|
|
|
element.DateComponent.MonthComponent,
|
|
|
|
|
element.DateComponent.DayComponent,
|
|
|
|
|
element.TimeComponent.HourComponent,
|
|
|
|
|
element.TimeComponent.MinuteComponent,
|
|
|
|
|
element.TimeComponent.SecondComponent,
|
|
|
|
|
# TODO: implement TimeComponent timezone
|
|
|
|
|
)
|
|
|
|
|
elif element.is_a("IfcCalendarDate"):
|
2021-04-29 17:52:45 +10:00
|
|
|
return datetime.date(
|
2021-01-22 16:21:17 +11:00
|
|
|
element.YearComponent,
|
|
|
|
|
element.MonthComponent,
|
|
|
|
|
element.DayComponent,
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def datetime2ifc(dt, ifc_type):
|
2021-01-22 16:55:38 +11:00
|
|
|
if isinstance(dt, str):
|
2021-04-29 17:52:45 +10:00
|
|
|
dt = datetime.datetime.fromisoformat(dt)
|
2021-01-22 16:21:17 +11:00
|
|
|
if ifc_type == "IfcTimeStamp":
|
|
|
|
|
return int(dt.timestamp())
|
|
|
|
|
elif ifc_type == "IfcDateTime":
|
2021-04-29 17:52:45 +10:00
|
|
|
if isinstance(dt, datetime.datetime):
|
|
|
|
|
return dt.isoformat()
|
|
|
|
|
elif isinstance(dt, datetime.date):
|
|
|
|
|
return datetime.datetime.combine(dt, datetime.datetime.min.time()).isoformat()
|
2021-01-22 16:21:17 +11:00
|
|
|
elif ifc_type == "IfcDate":
|
2021-04-29 17:52:45 +10:00
|
|
|
if isinstance(dt, datetime.datetime):
|
|
|
|
|
return dt.date().isoformat()
|
|
|
|
|
elif isinstance(dt, datetime.date):
|
|
|
|
|
return dt.isoformat()
|
2021-01-22 16:21:17 +11:00
|
|
|
elif ifc_type == "IfcTime":
|
2021-04-29 17:52:45 +10:00
|
|
|
if isinstance(dt, datetime.datetime):
|
|
|
|
|
return dt.time().isoformat()
|
|
|
|
|
elif isinstance(dt, datetime.time):
|
|
|
|
|
return dt.isoformat()
|
2021-02-17 21:12:04 +11:00
|
|
|
elif ifc_type == "IfcCalendarDate":
|
|
|
|
|
return {"DayComponent": dt.day, "MonthComponent": dt.month, "YearComponent": dt.year}
|
|
|
|
|
elif ifc_type == "IfcLocalTime":
|
|
|
|
|
# TODO implement timezones
|
|
|
|
|
return {"HourComponent": dt.hour, "MinuteComponent": dt.minute, "SecondComponent": dt.second}
|