在编辑和分析CP-net时, 使用了几种图形反馈以提供各种信息.
语句框
语句框是黄色的矩形,它提供了上下文相关的信息.
一些语句框是自动出现的,
而其他的语句框则是出现在指针移动到正确的位置上经过微小的延时之后.
例如,将指针移动到一条具有语义错误的声明上,就会导致一个包含错误消息的语句框出现.
语句框用于显示:
要想使状态框消失,可以点击它或者将指针从语句框相关联的对象上移开.
状态框
状态框是色码框,它偶尔出现在索引的底端. 将指针移到状态框上就可以看到相应的语句框.
状态框有如下几种颜色:
- 绿色表示成功地完成了一个操作.
- 红色表示执行操作时出现错误.
- 浅紫色表示一个耗时的操作,
例如正在执行的一个长时间仿真.
光环
色码光环用于突出那些具有特别特征的对象或用于表示对象间的不同关系.
光环关联于库所、变迁、弧、注入式、声明、页面tabs以及 索引入口index entries,
例如页面名称和网络名称.
光环有如下几种颜色:
指针图标变化
指针图标的改变用于表示可以被执行或正在被执行的操作.
例如: