IMAXS
/
Software_Engineering_Field_Management
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[Refector] 重写time依赖

This commit is contained in:
lichx 2024-11-05 23:06:55 +08:00
parent 2088dbe020
commit 13b5e967bb
6 changed files with 186 additions and 115 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
SiteManagementSystem(SoftwareEngineering)/Service/FieldService.cs
View File

@ -43,17 +43,23 @@ namespace SiteManagementSystem_SoftwareEngineering_.Service
}
public void AddField(string name, string value)
{
var t = (bool)
_service.RemoveField(
new Field
try
{
var t = (bool)
_service.AddAppointment(
new FieldRecord
{
Id = Guid.Parse("99b472f1-9912-49df-bb1f-3db0fc5bee11"),
Name = "t1",
Position = "t2",
Opentime = "t3"
Fid = Guid.NewGuid(),
Uid = Guid.NewGuid(),
StartTime = DateTime.Now,
EndTime = DateTime.Now + TimeSpan.FromMinutes(30)
}
);
Console.WriteLine(t);
}
catch (Exception)
{ }
Console.WriteLine(_layer.RecordDb.FindAll("Uid",Guid.Parse("bd422092-7f2b-4f53-ad08-47a75aa089ea")).First().StartTime);
Console.WriteLine(DateTime.Now);
//Console.WriteLine(_service.AddField());
throw new NotImplementedException();
}

87
SiteManagementSystem(SoftwareEngineering)/Service/PythonServiceFile/cstime.py Normal file
View File

@ -0,0 +1,87 @@
import clr
clr.AddReference('System')
from System import DateTime, TimeSpan, Convert
class Duration:
time_span: TimeSpan
def __init__(self, *args, **kwargs):
if len(args) == 1:
if args[0] is Duration:
self.time_span = args[0]
else:
raise ValueError("Invalid arguments for Duration initialization")
else:
raise ValueError("Invalid arguments for Duration initialization")
@staticmethod
def from_seconds(second: int):
return Duration(TimeSpan.FromSeconds(second))
@staticmethod
def from_minutes(minute: int):
return Duration(TimeSpan.FromMinutes(minute))
@staticmethod
def from_hours(hour: int):
return Duration(TimeSpan.FromHours(hour))
def __lt__(self, other):
return self.time_span < other.time_span
def __le__(self, other):
return self.time_span <= other.time_span
def __eq__(self, other):
return self.time_span == other.time_span
def __ne__(self, other):
return self.time_span != other.time_span
def __gt__(self, other):
return self.time_span > other.time_span
def __ge__(self, other):
return self.time_span >= other.time_span
class Time:
struct_time: DateTime
def __init__(self, *args, **kwargs):
if len(args) == 0:
self.struct_time = DateTime.Now
elif len(args) == 1:
print(type(args[0]))
if args[0] is str:
self.struct_time = Convert.ToDateTime(args[0])
else:
self.struct_time = args[0]
else:
raise ValueError("Invalid arguments for Time initialization")
def __lt__(self, other):
return self.struct_time < other.struct_time
def __le__(self, other):
return self.struct_time <= other.struct_time
def __eq__(self, other):
return self.struct_time == other.struct_time
def __ne__(self, other):
return self.struct_time != other.struct_time
def __gt__(self, other):
return self.struct_time > other.struct_time
def __ge__(self, other):
return self.struct_time >= other.struct_time
def __add__(self, other: Duration):
return Time(self.struct_time + other.time_span)
def __sub__(self, other: 'Time'):
return TimeSpan(self.struct_time - other.struct_time)

162
SiteManagementSystem(SoftwareEngineering)/Service/PythonServiceFile/demo.py
View File

@ -1,148 +1,133 @@
import time
from cstime import *
from layer import Layer
from field import Field
from user import User
from field_record import FieldRecord
class Service:
layer = Layer(LAYER) #初始化数据库数据并启动增删查功能
layer = Layer(LAYER) # 初始化数据库数据并启动增删查功能
#普通用户操作：
#请求一条场地使用信息（普通用户自动传入自己的用户id，管理员用户手动选择传入用户id） #redis
#参数：cs_fieldRecord(用户id，场地id，开始时间，结束时间) 返回：bool 是否预约成功
def AddAppointment(self,cs_fieldRecord) -> bool:
fieldRecord=FieldRecord(cs_fieldRecord)
records=self.layer.find_record("Fid",fieldRecord.fid)
#如果用户已经有预约了，就不能再提交预约
if len(self.layer.find_record("Uid",fieldRecord.uid))!=0:
# 普通用户操作：
# 请求一条场地使用信息（普通用户自动传入自己的用户id，管理员用户手动选择传入用户id） #redis
# 参数：cs_fieldRecord(用户id，场地id，开始时间，结束时间) 返回：bool 是否预约成功
def AddAppointment(self, cs_fieldRecord) -> bool:
fieldRecord = FieldRecord(cs_fieldRecord)
records = self.layer.find_record("Fid", fieldRecord.fid)
# 如果用户已经有预约了，就不能再提交预约
if len(self.layer.find_record("Uid", fieldRecord.uid)) != 0:
raise ValueError("Already has an appointment")
else:
#检查场地此时是否有空
# 检查场地此时是否有空
for x in records:
if not((x.end_time>=fieldRecord.start_time) or (x.start_time<=fieldRecord.end_time)):
if not ((x.end_time >= fieldRecord.start_time) or (x.start_time <= fieldRecord.end_time)):
raise ValueError("Field busy")
#添加记录
# 添加记录
self.layer.add_record(fieldRecord)
return True
#提前结束场地的使用 正在使用时提前结束 #finished
#参数：cs_user //cs_fieldRecord 返回：bool 是否结束成功
def EndAppointment(self,cs_user) -> bool:
user=User(cs_user)
records=self.layer.find_record("Uid",user.uid)
if len(records)==0:
# 提前结束场地的使用 正在使用时提前结束 #finished
# 参数：cs_user //cs_fieldRecord 返回：bool 是否结束成功
def EndAppointment(self, cs_user) -> bool:
user = User(cs_user)
records = self.layer.find_record("Uid", user.id)
if len(records) == 0:
raise ValueError("No appointment")
elif len(records) !=1:
elif len(records) != 1:
raise ValueError("Appointment nums error")
else:
fid = records[0].fid
uid = user.id
start_time = records[0].start_time
#获取当前时间
curtime=time.localtime()
#正在使用时可以提前结束，修改结束时间
if curtime>=start_time and curtime<records[0].end_time:
fieldRecord=FieldRecord(fid,uid,start_time,curtime)
# 获取当前时间
curtime = Time()
# 正在使用时可以提前结束，修改结束时间
if curtime >= start_time and curtime < records[0].end_time:
fieldRecord = FieldRecord(fid, uid, start_time, curtime)
self.layer.remove_record(records[0])
self.layer.add_record(fieldRecord)
return True
else:
raise ValueError("No ongoing appointment")
#取消预约
# 取消预约
# 参数：cs_user //cs_fieldRecord(用户id，场地id，开始时间，结束时间) 返回：bool 是否取消成功
def CancelAppointment(self,cs_user) -> bool:
user=User(cs_user)
records=self.layer.find_record("Uid",user.id)
if len(records)==0:
def CancelAppointment(self, cs_user) -> bool:
user = User(cs_user)
records = self.layer.find_record("Uid", user.id)
if len(records) == 0:
raise ValueError("No appointment or appointment is finished")
elif len(records)!=1:
elif len(records) != 1:
raise ValueError("Appointment nums error")
else:
curtime=time.localtime()
if curtime<records[0].start_time:
fieldRecord=FieldRecord(records[0])
curtime = Time()
if curtime < records[0].start_time:
fieldRecord = FieldRecord(records[0])
return True
else:
raise ValueError("Appointment has started")
#延长场地的使用时间 #redis
# 延长场地的使用时间 #redis
# 参数：cs_fieldRecord(用户id，场地id(null)，开始时间(null)，结束时间) 返回：bool 是否延长成功
def ExtendAppointment(self,cs_fieldRecord) -> bool:
field_Record=FieldRecord(cs_fieldRecord)
records=self.layer.find_record("Uid", field_Record.uid)
if len(records)==0:
def ExtendAppointment(self, cs_fieldRecord) -> bool:
field_Record = FieldRecord(cs_fieldRecord)
records = self.layer.find_record("Uid", field_Record.uid)
if len(records) == 0:
raise ValueError("No appointment or appointment is finished")
elif len(records)!=1:
elif len(records) != 1:
raise ValueError("Appointment nums error")
else:
curtime=time.localtime()
start_time=records[0].start_time
end_time=records[0].end_time
if curtime>=start_time and curtime<end_time:
addrecord=FieldRecord(field_Record.uid, records[0].fid, start_time, field_Record.end_time)
curtime = Time()
start_time = records[0].start_time
end_time = records[0].end_time
if curtime >= start_time and curtime < end_time:
addrecord = FieldRecord(field_Record.uid, records[0].fid, start_time, field_Record.end_time)
self.layer.add_record(addrecord)
return True
else:
raise ValueError("Appointment is finished or not started")
#查询场地占用
# 查询场地占用
# 参数：cs_fieldRecord(用户id(null)，场地id，开始时间(null)，结束时间(null)) 返回：list_time [(start_time,end_time),(...),(...),...]
def QueryFieldUsage(self,cs_fieldRecord) -> []:
fid=FieldRecord(cs_fieldRecord).fid
records=self.layer.find_record("Fid",fid)
list_time=[]
def QueryFieldUsage(self, cs_fieldRecord) -> []:
fid = FieldRecord(cs_fieldRecord).fid
records = self.layer.find_record("Fid", fid)
list_time: List[(Time, Time)] = []
for x in records:
tup=(time.strftime("%Y-%m-%d %H:%M:%S",x.start_time),time.strftime("%Y-%m-%d %H:%M:%S",x.end_time))
tup = (x.start_time.struct_time, x.end_time.struct_time)
list_time.append(tup)
# 使用 sorted() 函数进行排序，key 参数指定用于排序的键函数
sorted_time_list = sorted(list_time, key=lambda x: x[0])
#从后往前遍历
for x in range(len(sorted_time_list)-1,0,-1):
# 从后往前遍历
for x in range(len(sorted_time_list) - 1, 0, -1):
strtm2 = sorted_time_list[x][0]
strtm1 = sorted_time_list[x - 1][1]
timestamp1 = time.mktime(time.strptime(strtm1, "%Y-%m-%d %H:%M:%S"))
timestamp2 = time.mktime(time.strptime(strtm2, "%Y-%m-%d %H:%M:%S"))
if (timestamp2 - timestamp1) / 60 <= 10:
if Time(strtm2) - Time(strtm1) <= Duration.from_minutes(10):
tup = (sorted_time_list[x - 1][0], sorted_time_list[x][1])
sorted_time_list.pop(x)
sorted_time_list[x - 1] = tup
return sorted_time_list
#查询用户的预约记录
# 查询用户的预约记录
# 参数：cs_user(id) 返回：array_cs_fieldRecord
def QueryAppointmentRecord(self,cs_user) -> []:
user=User(cs_user)
cs_fieldRecords=[]
fieldRecords=self.layer.find_record("Uid",user.id)
if len(fieldRecords)==1:
def QueryAppointmentRecord(self, cs_user) -> []:
user = User(cs_user)
cs_fieldRecords = []
fieldRecords = self.layer.find_record("Uid", user.id)
if len(fieldRecords) == 1:
cs_fieldRecords.append(FieldRecord(fieldRecords[0]))
elif len(fieldRecords)!=0:
elif len(fieldRecords) != 0:
raise ValueError("Appointment nums error")
fieldRecords=self.layer.find_finished_record("Uid",user.id)
if len(fieldRecords)!=0:
fieldRecords = self.layer.find_finished_record("Uid", user.id)
if len(fieldRecords) != 0:
for x in fieldRecords:
cs_fieldRecords.append(FieldRecord.parse_to_csharp_object(FieldRecord(x)))
return cs_fieldRecords
# 管理员操作：（包含普通用户操作以及一下特殊操作）
#管理员操作：（包含普通用户操作以及一下特殊操作）
#添加一个场地
#参数：cs_field(id,name,position,open_time,type) 返回：bool 是否添加成功
# 添加一个场地
# 参数：cs_field(id,name,position,open_time,type) 返回：bool 是否添加成功
def AddField(self, cs_field) -> bool:
field = Field(cs_field)
fields = self.layer.find_field("Name", field.name)
@ -151,21 +136,14 @@ class Service:
self.layer.add_field(field)
return True
#删除一个场地
# 删除一个场地
# 参数：cs_field(id,name,position(null),open_time(null),type(null)) 返回：bool 是否删除成功
def RemoveField(self,cs_field) -> bool:
field=Field(cs_field)
fields=self.layer.find_field("Id",field.id)
def RemoveField(self, cs_field) -> bool:
field = Field(cs_field)
fields = self.layer.find_field("Id", field.id)
if len(fields) == 0:
raise ValueError("No such field")
if len(fields) != 1:
raise ValueError("Field id duplication")
self.layer.remove_field(field)
return True

21
SiteManagementSystem(SoftwareEngineering)/Service/PythonServiceFile/field_record.py
View File

@ -1,17 +1,17 @@
from field import *
from user import *
import time
from cstime import Time
import clr
clr.AddReference('System')
from System import Guid, Convert
from System import Guid
class FieldRecord:
fid = ""
uid = ""
start_time: time.struct_time
end_time: time.struct_time
start_time: Time
end_time: Time
def __init__(self, *args, **kwargs):
if len(args) == 0:
@ -20,11 +20,12 @@ class FieldRecord:
field_record = args[0]
self.fid = field_record.Fid.ToString()
self.uid = field_record.Uid.ToString()
self.start_time = time.strptime(field_record.StartTime.ToString(), "%Y-%m-%d %H:%M:%S")
self.end_time = time.strptime(field_record.EndTime.ToString(), "%Y-%m-%d %H:%M:%S")
print(type(field_record.StartTime))
self.start_time = Time(field_record.StartTime)
self.end_time = Time(field_record.EndTime)
elif len(args) == 4 and isinstance(args[0], User) and isinstance(args[1], Field) and isinstance(args[2],
time.struct_time) and isinstance(
args[3], time.struct_time):
Time.struct_time) and isinstance(
args[3], Time.struct_time):
user, field, start_time, end_time = args
self.fid = field.id
self.uid = user.id
@ -36,6 +37,6 @@ class FieldRecord:
def parse_to_csharp_object(self, empty_field_record):
empty_field_record.Fid = Guid.Parse(self.fid)
empty_field_record.Uid = Guid.Parse(self.uid)
empty_field_record.StartTime = Convert.ToDateTime(time.strftime("%Y-%m-%d %H:%M:%S", self.start_time))
empty_field_record.EndTime = Convert.ToDateTime(time.strftime("%Y-%m-%d %H:%M:%S", self.end_time))
empty_field_record.StartTime = self.start_time.struct_time
empty_field_record.EndTime = self.end_time.struct_time
return empty_field_record

5
SiteManagementSystem(SoftwareEngineering)/Service/PythonServiceFile/layer.py
View File

@ -2,7 +2,6 @@
from user import User
from field import Field
from field_record import FieldRecord
clr.AddReference('System')
from System import Guid, DateTime
@ -34,7 +33,7 @@ class Layer:
def find_record(self, key: str, value: str) -> [FieldRecord]:
return [FieldRecord(t) for t in self._record_db.FindAll(key, Guid.Parse(value))]
# One User only allowed to book one field at a time
# One User only allowed to book one field at a Time
def remove_record(self, record: FieldRecord) -> 'Layer':
self._record_db.TryDelete("Uid", record.parse_to_csharp_object(self._record_db.GetDefaultEntity()).Uid)
return self
@ -46,7 +45,7 @@ class Layer:
def find_finished_record(self, key: str, value: str) -> [FieldRecord]:
return [FieldRecord(t) for t in self._finished_field_recoed_db.FindAll(key, Guid.Parse(value))]
# One User only allowed to book one field at a time
# One User only allowed to book one field at a Time
def remove_finished_record(self, record: FieldRecord) -> 'Layer':
self._finished_field_recoed_db.TryDelete("Uid", record.parse_to_csharp_object(self._finished_field_recoed_db.GetDefaultEntity()).Uid)
return self

4
SiteManagementSystem(SoftwareEngineering)/appsettings.json
View File

@ -6,8 +6,8 @@
}
},
"ConnectionStrings": {
"Redis": "127.0.0.1:6379,abortConnect=false",
"SQL": "Server=127.0.0.1;Port=3306;Database=SiteManagementSystem;Uid=SiteManagementSystem;Pwd=SiteManagementSystem;"
"Redis": "host.docker.internal:6379,abortConnect=false",
"SQL": "Server=host.docker.internal;Port=3306;Database=SiteManagementSystem;Uid=SiteManagementSystem;Pwd=SiteManagementSystem;"
},
"RedisDB": 0,
"Jwt": {