step语言-Express参考手册

目    录 第1章 概述错误! 未找到索引项。 1.1 基本概念 1.2 语法格式 1.3 特殊字符注解 第2章  基本语言元素 2.1 字符集 2.1.1 数字(digits) 2.1.2 字母(letter) 2.1.3 下划线 2.1.4 特殊字符 2.1.5 空字符 2.2 注解（Remark） 2.2.1 嵌入式注解 2.2.2 行尾注解 2.3 符号 2.4 保留字 2.4.1 关键字 2.4.2 作为运算符的保留字 2.4.3 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 常数 2.4.4 标准函数 2.4.5 标准过程 2.5 标识符 2.6 常数 2.6.1 二进制常数 2.6.2 整数 2.6.3 实数常数 2.6.4 字符串常数 2.6.5 逻辑常数 第3章、数据类型 3.1简单类型 3.1.1 NUNBER(数值类型) 3.1.2 INTEGER(整数类型) 3.1.3 REAL(实数类型) 3.1.4 LOGICAL(逻辑类型) 3.1.5 BOOLEAN(布尔类型) 3.1.6 BINARY(二进制类型) 3.1.7 STRING(字符串类型) 3.2聚集数据类型 3.2.1ARRAY(数组类型) 3.2.2BAG(包类型) 3.2.3 LIST( 表 关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf 类型) 3.2.4SET(集合类型） 3.3 实体数据类型(Entity Type) 3.4 自定义数据类型(Defined Type) 3.5 枚举类型 3.6 选择数据类型(Select) 第4章、声明语句与块 4.1 标识符的作用域 4.2 类型声明(Type Declarations) 4.3 实体(Entity) 4.3.1  属性(Attributes) 4.3.2 局部规则(Local Rules) 4.3.3  超类与子类 4.3.4  隐含声明(Implicit Declarations) 4.4 模式(Schema) 4.5  常量(constant) 4.6 算法(Algorithms) 4.6.1 参数(Parameters) 4.6.2  局部变量(Local Variables) 4.6.3  函数 4.6.4  过程 4.7  规则(Rule) 第5章、接口规范 5.1 USE接口规范 5.2 REFERENCE接口规范 5.3 USE与REFERNCE的相互制约 5.4 隐式引用 5.4.1 常量引用(CONSTANT REFERENCE) 5.4.2 实体引用(ENTITY REFERENCE) 5.4.3 函数引用(FUNCTION REFERENCES) 5.4.4 过程引用(PROCEDURE REFERENCES) 5.4.5 类型引用(TYPE REFERENCES) 5.5 子类的修剪(pruning) 第6章、表达式 6.1 算术运算符 6.1.1  实数取舍（REAL NUMBER ROUNDING) 6.2  关系运算符 6.2.1  值比较运算符 6.2.2 区间表达式 6.2.3实例比较运算符 6.2.4 成员运算符 6.2.5 LIKE运算符 6.3 二进制运算符 6.3.1 二进制下标运算 6.3.2 二进制数子串下标 6.3.3二进制数连接运算符 6.4 逻辑运算符 6.4.1 NOT运算符 6.4.2 AND运算符 6.4.3 OR 运算符 6.4.4 XOR运算符 6.5 字符串运算符 6.5.1 串下标 6.5.2 子串下标 6.5.3 字符串连接运算符 6.6 聚集运算符 6.6.1 聚集下标 6.6.2 相交运算符 6.6.3 并运算符 6.6.4差运算符 6.6.5 子集运算符 6.6.6 超集运算符 6.7 引用 6.7.1简单引用 6.7.2前缀式引用 6.8实体运算符 6.8.1 属性的引用 6.8.2 组引用(group reference) 6.9 函数调用 6.10 聚集的初始化 6.11 实体生成器 6.11.1复杂实体生成器 6.12 类型兼容性 第7章、可执行语句 7.1 空语句 7.2 ALIAS语句 7.3 赋值语句 7.4 CASE语句 7.5 复合语句 7.6 ESCAPE语句 7.7 IF...THEN...ELSE语句 7.8 过程调用语句 7.9 REPEAT(循环)语句 7.9.1 增量控制 7.9.2 WHILE条件 7.9.3 UNTIL条件 7.10 RETURN语句 7.11 SKIP语句 第8章、标准常量 8.1 常数e 8.2 不确定值 8.3 逻辑假--FALSE 8.4 圆周率--PI 8.5 自身词--SELF 8.6 逻辑真--TRUE 8.7 UNKNOW 第9章、标准函数 第10章、标准过程 第1章 概述 EXPRESS是一种规范化的信息模型语言。它提供了对论域中对象的规范(或定义)的详细描述，同时地提供了与这些对象有关的信息和约束的描述。EXPRESS主要用于信息建模。关于其标准可参见ISO TR9007、ISO 10303。 EXPRESS并不是一种程序 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 语言。它由允许用明确和简要说明数据限制定义的明确对象语言元素组成。EXPRESS语言不包含输入/输出、信息处理以及管理之外的语言元素。 1.1 基本概念 在EXPRESS中，定义了以下概念： 属性(Attribute)：用于描述实体的特性、品质、特征等。 概念模式(Conceptual Schema)：没有具体实现的一种模式。 常量(Constant)：不随时间变化或环境变化而变化的值。 数据(Data)：表示信息的符号。 实体(Entity)：表示具有共同特性的概念或物理对象的一类集合。 函数(Function)：接收输入参数并产生指定类型输出结果值的算法。输入参数值不能被修改。 信息(Information)：关于事实、过程或思想的知识。 信息库(Information base)：参见ISO TR 9007。 实例(Instance)：一种类型的一个特定值。 模型(Model)：论域的一种规范化描述。 对象(Object)：存在于现实世界的物质或概念。 全体(Population)：一个信息库的内容。 初等项(Primary)：用一个名字或常数表示的值。 过程(Procedure)：处理输入参数并产生一个终结状态的算法。输入参数值可以被修改。 命题(Proposition)：对一个事例或事例集为有效的特殊状态的断言或否定。 规则(Rule)：对于一个实体实例或实例与实例之间的一个或多个约束的详细描述。 模式(Schema)：构造部分或全部模型的数据项的集合。 稀疏数组(Sparse array)：一个包含未知值的EXPRESS数组。 语言符号(Token)：不能再分解词意的语言词汇元素。 类型(Type)：有效值范围的表示。 1.2 语法格式 下面介绍EXPRESS语法中用到的语法符号。 EXPRESS的语法在语法框中表示。在语法框中有若干条规则，每条规则的左侧有一个标号，作为其它语法对它进行引用的标识。 用于定义EXPRESS语法的元语言(meta language)如下所述。标识符(identifier)一词通常表示一个非终结符号，它与另一个产生式有联系。常数文字(literal)通常表示一个终结符号，它是字符序列并且不能再展开。在这种情况下，字符表示任何定义在ISO 6937中的可打印字符，标识符由字母、数字和连接符组成。 语法        = {产生式}. 产生式    = 标识符 ‘＝’ 表达式 ‘.’ . 表达式    = 项{ ‘|’ 项}. 项        = 因子{同子}. 因子        = 标识符 | 文字 | 组 | 选项 | 重复. 文字        = ’’’’ 字符{字符} ’’’’. 组        = ‘(’ 表达式 ‘)’. 选项        = ‘[’ 表达式 ‘]’. 重复        = ‘{’ 表达式 ‘}’. 常数文字是终结符号，它用单引号括起来，并且区分大小写。当单引号出现在常数文字中时必须连写两次。括在括号中的一组表达式被当作一个单元处理。用[ ]括起来的表达式表示该表达式是可选的。用{}括起来的表达式表示该表达式可重复多次。 例１：串类型的语法如下： 串类型的语法定义中包含串的定义、串长度表达式和字符串长度是否可变,中括号[ ]括起来的一部分是可选的。小括号(‘(’ ‘)’)指示必出现的字符。 按照上述规则，下列的任何一个定义都是合法的： a) string b) string ( 22 )  c) string ( 19 ) fixed 1.3 特殊字符注解 下面的注解通常用于表示全部字符集，并且有些特殊字符是不能显示的。 \a  表示任何可打印的ISO6937字符 \n  表示换行符 \q  表示撇号(')符 \s  表示空格符 \o  表示任何其它字符 下边给出一个关于Schema的例子： SCHEMA  example; ENTITY  entity1; a:integer; b:integer; END_ENTITY; ENTITY  entity2 a:entity1; b:integer; END_ENTITY; END_SCHEMA; 第2章  基本语言元素 本节说明组成EXPRESS 模式的基本元素：字符集、注明、符号、保留字、标识符和常数文字(Literals)。 语法定义摘于EXPRESS Language Syntax A，它定义了语言的语法，并且提供了这里没有的语言产生式，关于语法规范的定义已在第1章中给出了。 基本语言元素由文字流组成，通常它被分割成若干物理行。一个物理行包含0个或任何数目的字符，最后以换行符结束，在EXPRESS中的一行可有任意长度。