Detail
Introduction
Contents
前言 Ⅴ
1 范围 1
2 规范性引用文件 1
3 术语和定义 1
3.1 GB/T16656.1中定义的术语 1
3.2 GB/T13000.1中定义的术语 2
3.3 其他术语和定义 2
4 一致性要求 4
4.1 用EXPRESS表示的形式化描述 4
4.2 EXPRESS的实现 4
5 基本原则 5
6 语言描述语法 5
6.1 语法说明 5
6.2 专用字符标记 6
7 基本语言元素 7
7.1 字符集 7
7.2 保留字 10
7.3 符号 11
7.4 标识符 11
7.5 文字 12
8 数据类型 14
8.1 简单数据类型 14
8.2 聚合数据类型 16
8.3 命名数据类型 20
8.4 构造数据类型 21
8.5 广义数据类型 25
8.6 数据类型使用分类 25
9 声明 27
9.1 类型声明 27
9.2 实体声明 28
9.3 模式 45
9.4 常量 46
9.5 算法 46
9.6 规则 53
9.7 子类约束 55
10 范围和可见性 58
10.1 范围规则 59
10.2 可见性规则 59
10.3 显式项规则 60
11 接口描述 64
11.1 USE接口描述 65
11.2 REFERENCE接口描述 65
11.3 USE和REFERENCE的相互作用 65
11.4 隐式接口 66
12 表达式 68
12.1 算术操作符 69
12.2 关系操作符 70
12.3 二进制操作符 77
12.4 逻辑操作符 78
12.5 字符串操作符 80
12.6 聚合操作符 80
12.7 引用 85
12.8 函数调用 88
12.9 聚合预置符 89
12.10 复合实体实例构造操作符 90
12.11 类型兼容性 91
12.12 表达式中的选择数据类型 91
13 可执行语句 92
13.1 空语句 93
13.2 别名语句 93
13.3 赋值 93
13.4 选择语句 95
13.5 复合语句 96
13.6 转移语句 96
13.7 IfThenElse语句 97
13.8 过程调用语句 97
13.9 重复语句 97
13.10 返回语句 99
13.11 跳语句 99
14 内部常数 100
14.1 常数e 100
14.2 不确定值 100
14.3 假 100
14.4 常数PI 100
14.5 Self 100
14.6 真 100
14.7 未知 100
15 内部函数 100
15.1 算术函数 Abs 100
15.2 算术函数 ACos 100
15.3 算术函数 ASin 101
15.4 算术函数 ATan 101
15.5 二进制函数 BLength 101
15.6 算术函数 Cos 101
15.7 广义函数 Exists 101
15.8 算术函数 Exp 101
15.9 广义函数 Format 102
15.10 算术函数 HiBound 103
15.11 算术函数 HiIndex 104
15.12 串函数 Length 104
15.13 算术函数 LoBound 104
15.14 算术函数 Log 105
15.15 算术函数 Log2 105
15.16 算术函数 Log10 105
15.17 算术函数 LoIndex 105
15.18 空值函数 NVL 106
15.19 算术函数 Odd 106
15.20 广义函数 RolesOF 106
15.21 算术函数 Sin 107
15.22 聚合函数 SizeOf 107
15.23 算术函数 Sqrt 107
15.24 算术函数 Tan 108
15.25 广义函数 TypeOf 108
15.26 广义函数 UsedIn 110
15.27 算术函数 Value 110
15.28 隶属函数 Value_in 111
15.29 唯一性函数 Value_unique 111
16 内部过程 111
16.1 插入 111
16.2 删除 112
附录A (规范性附录) EXPRESS语言的语法 113
附录B(规范性附录) 许可实体实例化的确定 132
附录C (规范性附录) 接口描述规定的实例限制 145
附录D (规范性附录) EXPRESS-G:EXPRESS图形子集 148
附录E (规范性附录) 接口描述规定的实例限制 160
附录F(规范性附录) 信息对象注册 161
附录G (规范性附录) 从多个模式生成单个模式 162
附录H (资料性附录) 关系 185
附录I(资料性附录) EXPRESS-G图例的EXPRESS模型 190
附录J(资料性附录) 不推荐使用的EXPRESS语言的语法特征 195
附录K (资料性附录) EXPRESS语言新构造的示例 196
附录NA (资料性附录) ISO10303各部分的目录 199
参考文献 212