前页 | 后页 |
Ada 2012 年公约
Enterprise Architect支持使用这些约定的 Ada 2012 的round工程。
构造型
构造型 |
适用于 |
也见 |
---|---|---|
adaPackage |
类 对应于:Ada 2012 中A包规范,没有标记记录。 |
|
ada程序 |
类 对应于:Ada 2012 中A过程规范。 |
|
代表 |
手术 对应于:访问子程序。 |
|
枚举 |
内在类 对应于:枚举类型。 |
|
结构 |
内在类 对应于A记录定义。 |
|
类型定义 |
内在类 对应于A类型定义、子类型定义、访问类型定义、重命名。 |
标记值
标签 |
适用于 |
也见 |
---|---|---|
方面 |
带有构造型 typedef 的内部类 手术 对应于:方面规范(子程序类型'invariant',子类型'predicate'的前置条件和后置条件)。 |
|
实例化单元类型 |
带有构造型 typedef 的内部类 对应于:实例化单元的类型(包/过程/函数)。 |
|
是访问 |
参数 对应于:判断参数是否为访问变量。 |
|
别名 |
函数参数 对应于:别名函数参数。 |
|
判别式 |
带有构造型 typedef 的内部类 对应于:类型的判别式。 |
|
零件类型 |
带有构造型 typedef 的内部类 对应于:零件类型(“重命名”或“新”)。 |
|
类型 |
带有构造型 typedef 的内部类 对应:如果'Value' = '子类型',设置'subtype' 如果“值”=“访问”,则设置“访问类型”。 |
其它
- 合适的源文件类型:Ada 规范文件、.ads
- Ada 2012 导入包定义为 <<adaPackage>>类或类,基于 Ada 2012 选项中的设置
- A包包含 Tagged Record,则将其作为类导入,其名称由选项“使用类名称for Tagged Record”和“Alternate Tagged Record名称”控制;该标记记录中定义的所有属性都被吸收为类的属性
- Ada 规范文件中A过程/函数被认为是类的成员函数,如果它的第一个参数满足选项“参考参数样式”、“忽略参考参数名称”和“参考参数名称”中指定的条件
- 如果启用选项“参考Tagged Record”,则为类创建一个引用类型,其名称由选项“参考名称类型”确定;例如:
包HelloWorld是
类型 HelloWorld 被标记记录
Att1:自然;
整数:坚持;
结束记录;
-- 公共函数
函数MyPublicFunction (P: HelloWorld) return字符串;
Process MyPublicFunction (P1: in out HelloWorld;过程: Boolean);
私人的
-- 私人函数
函数MyPrivateFunction (P: HelloWorld) return字符串;
过程MyPrivateFunction (P1: in out HelloWorld; AFlag: Boolean);
结束HelloWorld;
注记
- Enterprise Architect的统一版和终极版中提供了 Ada 2012 支持