预订演示
前页 后页

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.ads

包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;

An Ada 2005 class element in Sparx Systems Enterprise Architect.

注记

  • Enterprise Architect的统一版和终极版中提供了 Ada 2012 支持

了解更多