Scade——学习笔记（二）

属性
部分声明可能涉及可见性及可用性的属性目标，
visiblity ::=private|public#可视化
external ::=imported;#外部
interface_status ::=[[visiblity]][[external]]#接口状态

在某一包中所定义的类型、组、常量以及用户操作均被严格限定于内部。
关于可视化的规则如下：
公共属性——默认设置；所声明的变量可在任意位置被调用；
私有属性——受到严格约束；所声明的变量仅限于当前包及其子包内使用。当私有变量出现在一个开放的包中时，其无法与当前声明的包进行交互：不会出现名称冲突的情况。
SCADE并非一种通用型语言。SCADE程序通常被嵌入至通用程序之中，而这些通用程序是免费提供的，尤其适用于处理简单的输入和显示输出功能的SCADE程序。
通过在关键词前添加imported作为前缀，可将某声明指定为导入类型。

**例子
1.私有可视化状态：类型 t无法在P1包之外被识别。该程序存在错误：

 package P1

    
   type private t=int64;#自定义一个int64类型的量：t
    
   const c:t=0;#给常量c赋0值
    
 end;
    
 open P1;