/* 伪代码计划(详细步骤): 1. 在文件顶部以注释形式写明生成注释的目的与范围(中文说明)。 2. 为接口 ISystemDatabaseService 添加完整的 XML 文档注释: - 在接口声明上添加总体描述(接口职责、线程/异步约定、与数据库交互的总体行为描述)。 - 为每个方法添加 (如适用)和 (必要时)。 - 对于带有可为空参数的方法(如 ResetProductionAsync、GetTotalProductionAsync),在 中说明 null 的语义。 - 对于返回集合的方法,说明集合可能为空或包含元素。 - 对于认证方法,说明失败时返回 null 或抛出异常的约定(与现有签名保持一致)。 3. 保持原有 using 和 namespace 不变,确保注释符合 C# XML 注释格式并使用中文表述。 4. 保证代码风格和缩进与项目一致(4 空格缩进),使用 C# 注释约定 (///)。 */ using System; using System.Collections.Generic; using System.Threading.Tasks; using TeamAAS_VP.Models; namespace TeamAAS_VP.Interfaces { /// /// 提供与系统数据库交互的抽象服务接口。 /// 包含用户管理、用户认证与产能(生产)记录的增删改查与统计方法。 /// 所有方法均为异步方法以支持非阻塞 IO 操作。 /// public interface ISystemDatabaseService { // User CRUD /// /// 将新的用户记录添加到数据库中。 /// /// 要添加的用户对象。应包含必要的字段(例如用户名、密码摘要等)。 /// /// 一个包含已保存用户信息的 实例(通常带有数据库生成的 Id)。 /// /// /// 实现者应负责对重复用户名或验证失败的情况进行处理(例如抛出异常或按项目约定返回特定结果)。 /// Task AddUserAsync(User user); /// /// 更新现有用户的数据库记录。 /// /// 包含更新后信息的用户对象,必须包含有效的用户 Id。 /// 更新后的 对象。 /// 如果指定用户不存在,实现可以抛出异常或按约定返回 null。 Task UpdateUserAsync(User user); /// /// 删除指定 Id 的用户记录。 /// /// 要删除的用户的数据库 Id。 /// 若删除成功返回 true;如果用户不存在或删除失败返回 false。 Task DeleteUserAsync(int userId); /// /// 根据用户 Id 获取用户信息。 /// /// 要查询的用户 Id。 /// 找到则返回对应的 对象;不存在时返回 null。 Task GetUserByIdAsync(int userId); /// /// 获取系统中所有用户的集合。 /// /// /// 一个用户集合;如果没有用户,返回的集合可为空或为空集合,具体由实现决定(建议返回空集合而非 null)。 /// Task> GetAllUsersAsync(); // User authentication /// /// 使用用户名和密码(或密码摘要)对用户进行认证。 /// /// 要认证的用户名。 /// 用于认证的密码或密码摘要。 /// /// 认证成功时返回对应的 对象(可包含用户的身份信息或权限);认证失败时返回 null。 /// /// 实现者应确保密码比较使用安全方式(例如散列和抗时序攻击的比较)。 Task AuthenticateUserAsync(string username, string password); // Remember user helpers /// /// 将指定用户名标记为“记住”,并取消其他用户的记住标志。 /// /// 要记住的用户名。 /// 完成记住用户操作的任务。 /// /// 实现者应负责确保此操作的原子性与一致性。 /// Task SetRememberUserAsync(string username); /// /// 清除所有用户的“记住”标志。 /// /// 完成清除操作的任务。 /// /// 实现者应负责确保此操作不会影响当前在线用户的会话。 /// Task ClearRememberUserAsync(); /// /// 获取当前被标记为记住的用户(如果存在)。 /// /// 被记住的用户或 null。 /// /// 实现者应确保此方法高效执行并尽量减少资源消耗。 /// Task GetRememberedUserAsync(); // Current user / session helpers /// /// 将指定用户设为当前用户(会写入一条登录记录,标记为成功) /// /// 要设为当前用户的用户 Id。 /// 完成设为当前用户操作的任务。 /// /// 实现者应确保此操作为线程安全,并正确处理可能的并发访问。 /// Task SetCurrentUserAsync(int userId); /// /// 将指定用户设为当前用户(会写入一条登录记录,标记为成功) /// /// /// Task SetCurrentUserAsync(User user); /// /// 获取当前(最近一次成功登录的)用户。 /// /// 返回最近一次成功登录的 ,找不到则返回 null。 Task GetCurrentUserAsync(); /// /// 获取当前用户 /// /// User GetCurrentUser(); /// /// 记录一条用户登录记录(成功或失败)。 /// /// 登录记录对象,不能为空。 /// 完成记录登录操作的任务。 /// /// 实现者应负责确保记录的持久化,并处理可能的异常情况。 /// Task RecordUserLoginAsync(UserLoginRecord record); /// /// 获取指定用户最近的一条登录记录(如果有)。 /// /// 用户 Id。 /// 最近的一条 或 null。 /// /// 如果用户没有登录记录,返回 null 而非抛出异常。 /// Task GetLastUserLoginRecordAsync(int userId); // Production records //生产计数更改事件 /// /// 将一条生产记录写入数据库。 /// /// 要记录的 实例,包含产品名、分类、数量和时间等信息。 /// 完成写入操作的任务。 Task RecordProductionAsync(ProductionRecord record); /// /// 清除产能计数。 /// /// /// 要清除计数的产品名称。传入 null 表示清除所有产品的计数。 /// /// 完成清除操作的任务。 Task ResetProductionAsync(string productName = null); /// /// 获取指定产品在可选分类集合下的总产能(对 Quantity 求和)。 /// /// 要统计的产品名称,不能为空或空字符串。 /// /// 可选的分类集合;如果传入 null 或为空集合,则统计所有分类。 /// /// 指定条件下的总产能数量(int)。 Task GetTotalProductionAsync(string productName, IEnumerable categories = null); /// /// 按指定粒度获取产能统计结果。 /// /// 包含时间范围、分组粒度(例如按天/按周/按月)、产品名称和分类过滤等条件的查询对象。 /// /// 满足查询条件的分组统计结果集合,每项为 。 /// 如果没有匹配项,可以返回空集合(建议不返回 null)。 /// Task> GetProductionStatsAsync(ProductionStatQuery query); /// /// 获取所有已知分类相加起来的今天的产能 /// /// /// Task GetTodayProductionAsync(string productName); /// /// 获取所有已知分类相加起来的当前时间往前的一个小时的产能 /// /// /// Task GetLastHourProductionAsync(string productName); /// /// 获取当前月的产能 /// /// /// Task GetCurrentMonthProductionAsync(string productName); /// /// 获取当前周的产能 /// /// /// Task GetCurrentWeekProductionAsync(string productName); /// /// 获取指定产品名称的总产能 /// /// /// Task GetOverallProductionAsync(string productName); /// /// 获取指定产品的所有已知分类。 /// /// 要查询分类的产品名称。 /// /// 一个字符串集合,包含该产品的所有分类名称;如果没有分类,返回空集合或 null(建议返回空集合)。 /// Task> GetProductCategoriesAsync(string productName); /// /// 获取指定产品名称的所有记录按照分类的产能统计 /// /// /// Task> GetProductionByCategoriesAsync(string productName); /// /// 获取指定产品名称的一个月内按照每天统计对应的类别和数量 /// /// /// Task>> GetMonthlyProductionByDayAndCategoryAsync(string productName); /// /// 获取指定产品名称的一个星期内按照每天统计对应的类别和数量 /// /// /// Task>> GetWeeklyProductionByDayAndCategoryAsync(string productName); /// /// 获取指定产品名称的当天内按照每小时统计对应的类别和数量 /// /// /// Task>> GetDailyProductionByHourAndCategoryAsync(string productName); /// /// 分页查询生产记录。 /// /// /// /// /// /// /// /// Task<(IEnumerable Items, int TotalCount)> QueryProductionRecordsPagedAsync(DateTime start, DateTime end, int pageIndex, int pageSize, string productName = null, string category = null); // Alarm records /// /// 将一条报警记录写入数据库。 /// /// 要记录的 对象。 /// 完成写入操作的任务。 Task RecordAlarmAsync(Models.AlarmRecord alarm); /// /// 查询报警记录,按时间范围和可选的编号或来源过滤。 /// /// 起始时间(含)。 /// 结束时间(不含)。 /// 可选的报警编号过滤,传入 null 表示不过滤。 /// 可选的报警来源过滤,传入 null 表示不过滤。 /// 满足条件的报警记录集合。 Task> QueryAlarmsAsync(DateTime start, DateTime end, string code = null, string source = null); // Lock results /// /// 记录单次锁付结果(波形数据 WaveDatas 不存入数据库) /// /// 要存储的 LockResult 对象 Task RecordLockResultAsync(LockResult result); /// /// 分页查询锁付结果。 /// 返回符合时间范围及可选过滤条件的记录集合和总记录数。 /// /// 起始时间(含) /// 结束时间(不含) /// 页号(从 1 开始) /// 每页大小 /// 可选的产品编号过滤 /// 可选的螺丝编号(Number)过滤 /// 可选的是否通过过滤 /// 返回一个元组,包含记录集合和总记录数 Task<(IEnumerable Items, int TotalCount)> QueryLockResultsAsync(DateTime start, DateTime end, int pageIndex, int pageSize, string productNumber = null, string productName = null, int? screwNumber = null, bool? lockPassed = null); /// /// 查询所有符合条件的锁付结果(不分页)。 /// /// 起始时间(含) /// 结束时间(不含) /// 可选的产品编号过滤 /// 可选的螺丝编号过滤 /// 可选的是否通过过滤 /// 符合条件的锁付结果集合。 Task> QueryAllLockResultsAsync(DateTime start, DateTime end, string productNumber = null, string productName = null, int? screwNumber = null, bool? lockPassed = null); /// /// 记录一次螺丝供料器批次更换记录 /// /// /// Task RecordScrewFeederBatchAsync(ScrewFeederBatchRecord record); /// /// 查询螺丝供料器批次记录。 /// 可按时间段、批次号精确匹配及供料器编号过滤。所有参数均为可选,传入 null 表示不作为过滤条件。 /// /// 可选:起始时间(包含) /// 可选:结束时间(包含) /// 可选:批次号(精确匹配) /// 可选:供料器编号 /// 满足条件的记录集合(按 ChangeTime 降序)。 Task> QueryScrewFeederBatchRecordsAsync(DateTime? start = null, DateTime? end = null, string batchNumber = null, int? feederNumber = null); /// /// 分页查询螺丝供料器批次记录。 /// /// /// /// /// /// /// /// Task<(IEnumerable Items, int TotalCount)> QueryScrewFeederBatchRecordsPagedAsync(DateTime? start = null, DateTime? end = null, string batchNumber = null, int? feederNumber = null, int pageIndex = 1, int pageSize = 20); /// /// 获取指定供料器编号的最新一条批次更换记录 /// /// /// Task GetLatestScrewFeederBatchRecordAsync(int feederNumber); /// /// 记录产品拍照结果(含图片路径、机器人位置、像素与绝对坐标等)。 /// /// /// Task RecordPhotoCaptureAsync(PhotoCaptureRecord record); /// /// 查询拍照记录,支持按配方名、产品序列号和时间段过滤(所有参数可选)。 /// /// /// /// /// /// /// Task> QueryPhotoCapturesAsync(string recipeName = null, string cameraName = null, string productSN = null, DateTime? start = null, DateTime? end = null); /// /// 分页查询拍照记录,支持按配方名、产品序列号和时间段过滤(所有参数可选)。 /// /// /// /// /// /// /// /// /// Task<(IEnumerable Items, int TotalCount)> QueryPhotoCapturesPagedAsync(string recipeName = null, string cameraName = null, string productSN = null, DateTime? start = null, DateTime? end = null, int pageIndex = 1, int pageSize = 20); /// /// 记录披头更换记录。 /// /// /// Task RecordHeadChangeAsync(HeadChangeRecord record); /// /// 查询披头更换记录,可按时间段或披头批号过滤(所有参数可选)。 /// /// /// /// /// Task> QueryHeadChangeRecordsAsync(DateTime? start = null, DateTime? end = null, string headBatchNumber = null); /// /// 分页查询披头更换记录,可按时间段或披头批号过滤(所有参数可选)。 /// /// /// /// /// /// /// Task<(IEnumerable Items, int TotalCount)> QueryHeadChangeRecordsPagedAsync(DateTime? start = null, DateTime? end = null, string headBatchNumber = null, int pageIndex = 1, int pageSize = 20); /// /// 获取最新的一条披头更换记录(按 ChangeTime 降序)。 /// /// Task GetLatestHeadChangeRecordAsync(); /// /// 对最新披头的锁付次数进行递增并返回更新后的次数(如果不存在最新记录,则创建一条新的记录并返回 1)。 /// /// /// Task IncrementLatestHeadLockCountAsync(string operatorName = null); /// /// 记录喷嘴更换记录。 /// /// /// Task RecordNozzleChangeAsync(NozzleChangeRecord record); /// /// 查询喷嘴更换记录,可按时间段或喷嘴批号过滤(所有参数可选)。 /// /// /// /// /// Task> QueryNozzleChangeRecordsAsync(DateTime? start = null, DateTime? end = null, string nozzleBatchNumber = null); /// /// 分页查询吸嘴更换记录,可按时间段或喷嘴批号过滤(所有参数可选)。 /// /// /// /// /// /// /// Task<(IEnumerable Items, int TotalCount)> QueryNozzleChangeRecordsPagedAsync(DateTime? start = null, DateTime? end = null, string nozzleBatchNumber = null, int pageIndex = 1, int pageSize = 20); /// /// 获取最新的一条喷嘴更换记录(按 ChangeTime 降序)。 /// /// Task GetLatestNozzleChangeRecordAsync(); /// /// 吸嘴的锁付次数进行递增并返回更新后的次数(如果不存在最新记录,则创建一条新的记录并返回 1)。 /// /// /// Task IncrementLatestNozzleLockCountAsync(string operatorName = null); } }