提升 ENRE 内部的跨语言一致性

[thisrabbit]

背景

随着 ENRE 各语言的独立发展，目前各语言在遵守 benchmark 格式上逐渐出现不一致的现象；

此外，对编程语言通用概念在各语言上的抽取实现也没有达到很好的一致性。

目标

提升 ENRE 内部在 benchmark 格式和通用概念抽取上的一致性。

任务

在每篇 docs 文档的末尾明示支持抽取的实体/依赖属性

请参照 ts 的示例，在每篇文档的末尾以表格的形式列出该实体/依赖所具有的额外属性名/描述/类型/默认值。如果没有额外属性，也要保留该章节和表头。

注意：

1. 此处列出的属性需是 原子化 的。如不应该用 modifiers = public static 代替 visibility = public 和 isStatic = true 两个属性。
2. 对于跨语言存在的通用概念，如类成员的可访问性和 static 等属性，多语言中应保持一致和统一。如 C++ 和 Java 中也应列出 visibility 和 isStatic 两种属性。（请自查所有的实体/依赖类型是否在其他语言中类似对应，如有则尽量保持类似概念的一致）

根据上述明示的属性在 Assertion Block 中为对应的实体/依赖添加相应的 assertion

如 该示例 一样，在 Assertion Block 中为对应的实体/依赖添加相应的 assertion。

在处理时，assertion 中没有显式列出的属性将不会被校验。

注意：

1. 不需要为所有的实体/依赖指定 assertion 属性，只在显式讨论该概念的 case 中明示相关属性即可。