跳到主要内容

The Patch Explorer / 草图浏览器

源文档地址

Patch Explorer（草图浏览器）能让你快速看清一个草图里有哪些元素，还可以在这里设置草图的名字和类型，以及随类型而变的其他参数。

Showing and Hiding the Explorer / 显示与隐藏​

草图浏览器默认不显示。点击编辑器左上角那两个 Quad 图标里靠下的那一个，就能切换它的显示状态：

草图的类型不同，浏览器里显示的内容也不同：

Application Patch Explorer / Application 草图​

Definition Patch Explorer / Definitions 草图​

Datatype Patch Explorer / 类型草图​

Process/Record/Class​

  • 可以指定数据类型的名字
  • 可以设置类型草图的种类
  • 仅 Record／Class：可以指定一个 Aspect（英文）
  • 可以指定这个数据类型能否有 Generic 的输入／输出
  • 仅 Record／Class：列出全部 Interface，可以增删
  • 列出这个类型的全部参数，可以增加、重命名、删除
  • 列出这个类型的全部成员运算器，可以增加、重命名、删除
    • 每个运算器的签名都可以在这里显示和调整
  • 可以配置 Process 定义
    • 启用／停用 Process
    • 设置一个 Aspect（英文）
    • 启用／停用 State 输出
    • 通过勾选框决定哪些运算器属于这个 Process
    • 上下拖动运算器，决定它们在 Process 里的执行顺序
  • 列出嵌套的元素，比如类型草图定义和静态运算器定义

Interface​

尚未正式支持。

Forward​

见 Forwarding .NET Libraries（英文）。

Category Patch Explorer / 目录草图​