Ada学习笔记

-    注释
;    语句终止符
with    指定库
use    使用clause
generic    定义通用类型
package ... is    定义包（类）
procedure ... is    定义过程（函数的行为，无返回值）
function ... return    定义函数（有返回值）
begin    过程开始
end    过程结束
return    返回值
new    创建对象        --type ada_file is new file with private;
abstract    定义抽象类型
is abstract    定义抽象子程序    --function Union(Left, Right : Set) return Set is abstract;
access    引用类型（指针）    --type Node_Access is access Node;
----------------------------------------------------------------数据类型-----------------------------------------------------------------
constant        常数
float        浮点型
integer        整数    中间允许使用_连接
Positive        正数
Natural        自然数
Character        字符型
Wide_Character    字符型（非拉丁字母）
String        字符串类型    在创建时赋予其长度，并且其长度将保持不变
Bounded_String    字符串类型    长度可以变化，最大长度由你提供
Unbounded_String    字符串类型    长度可以变化，直到“自然”类型的最大值（通常超过20亿个字符）
boolean        布尔型
array        数组    索引可以以任何离散值开始和结束（通常从1开始）
File_Type        文件类型
-->正式类型：
    -->private        私有类型        可以为任意类型（可赋值）
    -->limited private        有限私有类型    可以为任意类型（不可赋值）
    -->(<>)        任意离散类型
---------------------------------------------------