@as-pect/transform
Assembly脚本变换为 as-pect 反思支持.
此套件执行类反射转换. 它注入运行时帮助者在其中生成的类反射形状 @as-pect/assembly 取决于测试时比较类实例或打印反映的对象值.
生成形状
对于在源文件和命名空间中发现的每个类声明,变换附件有两个公共实例方法:
__aspectStrictEquals(rawRef: Object, stack: usize[], cache: usize[], ignore: StaticArray<i64>): bool__aspectAddReflectedValueKeyValuePairs(reflectedValue: i32, seen: Map<usize, i32>, ignore: StaticArray<i64>): void
这些方法名称具有相容性敏感性. packages/assembly/assembly/internal/Reflect.ts 当它不能使用内置比较或反射值路径时直接调用它们.
类别折叠 变形
ClassReflectionTransform 是拥有生成的类反射行为的共享类成员计划模块。 它检查每类一次,并记录参与严格平等和反映关键/价值生成的个案成员.
成员计划按来源顺序包括:
- 实例字段
- 实例获取器
成员计划不包括:
- 静态成员
- 常规实例方法
- 继承成员,由产生的成员处理
super电话
每个计划成员都携带其名称、来源范围、获得者/实地类型,以及 djb2 名为散列. 生成的方法通过这些散列 ignore: StaticArray<i64> 调用时 super 因此,继承产生的方法不会重复被儿童阶级压倒的成员.
散列值故意仍然是与已生成代码的相容性接合。 如果两个继承成员的名字在 djb2,生成的被忽略列表将它们作为相同的继承成员对待,并用决定性的方式压制了母条目;变换不重命名成员或尝试运行时倒置.
世代责任
阶级反省产生分出几个狭义的责任:
index.ts行走解析出的来源和命名空间,然后代表分类和界面声明到生成模块.appendGeneratedClassReflectionMembers.ts产生成员合同或接口合同的管弦乐团应附后,包括一能检查和用户授权的碰撞出错.ClassReflectionTransform.ts拥有兼容性敏感的生成成员名,生成成员标记,类相/相相相撞检查,本地平等操作器检测,以及类相会成员计划.createStrictEqualsMember.ts, (中文(简体) ),createAddReflectedValueKeyValuePairsMember.ts,以及createInterfaceReflectionMembers.ts为每个运行时法形状构建生成的 AssemblyScript AST .
这使得转录,规划,碰撞政策,以及AST构造保持了足够分化,以至于改变一个生成的方法不需要重新学习每一个变换规则.
运行时间关系
@as-pect/assembly 在两个地方使用生成的方法:
Reflect.equals()电话__aspectStrictEquals用于在结构上比较类例.Reflect.toReflectedValue()电话__aspectAddReflectedValueKeyValuePairs以添加反射对象密钥和值.
因此,变换和运行时间共享一个接合:变换拥有生成的方法形状,运行时间假设形状在编译后存在 @as-pect/transform。 。 。 .
兼容性预期
- 两种生成的方法名称保持不变,除非计划协调运行时间迁移.
- 留着
ignore如此传承和被推翻的成员的行为稳定,没有两次报告. - 保持生成的行为不依赖性;这个软件包应该保持局部小变换.
- 在增加反映/与平等有关的成员时,保留源顺序,使记者产出保持稳定.
- 为同一解析出源保持变换生成同位素;重复的通行证不应附加重复生成的成员.
- 拒绝用户授权
__aspectStrictEquals或者说__aspectAddReflectedValueKeyValuePairs成员有明显的变形错误,而不是默默地覆盖它们.