GB/T 16656.11-2010 工业自动化系统与集成 产品数据表达与交换 第11部分:描述方法:EXPRESS语言参考手册

GB/T 16656.11-2010 Industrial automation systems and integration—Product data representation and exchange—Part 11:Description methods:The EXPRESS language reference manual

国家标准 中文简体 现行 页数:218页 | 格式:PDF

基本信息

标准号
GB/T 16656.11-2010
相关服务
标准类型
国家标准
标准状态
现行
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2010-12-01
实施日期
2011-05-01
发布单位/组织
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
归口单位
全国自动化系统与集成标准化技术委员会(SAC/TC 159)
适用范围
-

研制信息

起草单位:
中国标准化研究院
起草人:
詹俊峰、李文武、刘守华、柳青
出版信息:
页数:218页 | 字数:417 千字 | 开本: 大16开

内容描述

ICS

25.040.40

L67

园亘

中华人民共和国国家标准

10303—1

1:2004

GB/T16656.11—2010/ISO

工业自动化系统与集成产品数据表达与

交换

语言参考手册

Industrialautomationanddataar.d

systemsintegration--Product

EXPRESSreference

methods:Thelanguage

exchange--Part11:Description

‘manual

10303

(ISO11:2004,IDT)

2010—12-01发布

丰瞀鹊鬻瓣警雠瞥星发布中国国家标准化管理委员会仪1”

10303一”:2004

GB/T16656.11--2010/ISO

目次

前言…………·…··……

1范围………………·………………

2规范性引用文件……·……………

3术语和定义…………····…………

3.1GB/T

16656.1中定义的术语·

3.2GB/T13000.1中定义的术语·V,,●,0

3.3其他术语和定义………………·2

4一致性要求……··………………··0

4.1用EXPRESS表示的形式化描述0

4.2EXPRESS的实现………·……0

5基本原则………·…··……………·0

6语言描述语法……·0

6.1语法说明………·0

6.2专用字符标记…·

7基本语言元素……·

7.1字符集…………·

7.2保留字……·……··0,,m

7.3符号…………·…“u

7.4标识符……………

7.5文字………………

8数据类型…·…··……

8.1简单数据类型……………···……

8.2聚合数据类型……………···……

8.3命名数据类型……………·……··

8.4构造数据类型…···

8.5广义数据类型·…··

8.6数据类型使用分类…………···…

9声明…··…………····

9.1类型声明……·…··

9.2实体声明…·…·····

9.3模式……………·…··……………

9.4常量…···…………

9.5算法·……………··

9.6规则………………

9.7子类约束………···

10范围和可见性……

10.1范围规则……·-·

10.2可见性规则……

u地¨¨¨加扒筋孙盯盯勰蛎蝎¨驺弘鸥的的●

10303—11:2004

GB/T16656.11—2010/ISO

10.3显式项规则………·

11接口描述………-………-……-…·

11.1USE接I:I描述……·

11.2REFERENCE接口描述…………·

l1.3USE和REFERENCE的相互作用

11.4隐式接口……-…·

12表达式……………--··

12.1算术操作符………·

12.2关系操作符………-

12.3二进制操作符……·

12.4逻辑操作符…--…·

12.5字符串操作符……·

12.6聚合操作符………

12.7引用………………·

12.8函数调用…-………

12.9聚合预置符………·

12.10复合实体实例构造操作符………·

12.11类型兼容性………-

12.12表达式中的选择数据类型………·

13可执行语句…………·

】3.i空语句……………·

13.2别名语句…………·

13.3赋值………………-

13.4选择语句………-………·………·

13.5复合语句…………·

13.6转移语句…………·

13.7If…Then…Else语句……………·

13.8过程调用语句……·

13.9重复语句…………·

13.10返回语句…………·

13.11跳语句……………·

14内部常数………………

14.1常数e………………

14.2不确定值……………

14.3假……

14.4常数PI……………

14.5Sell..··….··…-.·…...…...…...…,,

14.6真……·…………·…·

14.7未知…………………

15内部函数………………

15.1算术函数Abs……

15.2算术函数ACos…

15.3算术函数ASin…∞阻踮盱盯∞∞∞加"他∞蜘踮昙2∞∞咀叭眈∞%%%驰%卯"卯∞∞∞∞∞∞∞∞∞∞∞∞∞叽

10303-11:2004

GB/T16656.11—2010/ISO

15.4算术函数ATan…………·………………--

15.5二进制函数BI,ength………………··……·

15.6算术函数Cos………………·…··…………

15.7广义函数Exists…·………··

15.8算术函数Exp…………·…………·………·

15.9广义函数Format····……··

15.10算术函数HiBound………

15.11算术函数Hilndex………·····…·…···…

15.12串函数Length……………

15.13算术函数LoBound……···

15.14算术函数Log……………

15.15算术函数L092……………

15.16算术函数L0910……·…···……………··

15.17算术函数Lolndex………

15.18空值函数NVI。……………

15.19算术函数Odd……………

15.20广义函数RolesOF…··…····……···……

……………

15.2l算术函数Sin

15.22聚合函数SizeOf…………

15.23算术函数Sqrt…:………··

15.24算术函数Tan…………···…………·…··……………···

15.25广义函数TypeOf………

15.26广义函数Usedln…………

15.27算术函数Value……………·…-……………-…………

15.28隶属函数Value_in………

15.29唯一性函数Value—unique………………

16内部过程…………

16.1插入…···…………···……······………······…···……………

16.2删除……………

附录A(规范性附录)EXPRESS语言的语法…

附录B(规范性附录)许可实体实例化的确定…

附录C(规范性附录)接口描述规定的实例限制………………

附录D(规范性附录)EXPRESS-G:EXPRESS图形子集………

附录E(规范性附录)接口描述规定的实例限制………………

附录F(规范性附录)信息对象注册……………

附录G(规范性附录)从多个模式生成单个模式………………

附录H(资料性附录)关系……·……·…………·

附录I(资料性附录)EXPRESSG图例的EXPRESS模型……

附录J(资料性附录)不推荐使用的EXPRESS语言的语法特征

附录K(资料性附录)EXPRESS语言新构造的示例··…····…

附录NA(资料性附录)ISO10303各部分的目录…………·…··

参考文献…·…………··……·…··………·…··……·····……………-叽∞叽叫吡∞∞叫舛似嘶%%∞∞%∞叮凹盯∞∞m加u¨n¨地坞弛蛎够∞吼舵拍∞%%∞他

GB/T10303—11:2004

16656.11--2010/ISO

刖嚣

GB/T

16656((工业自动化系统与集成产品数据表达与交换》是一个由多个部分组成的标准,各部

1

分单独出版。GB/T6656的所属各部分又组成多个子系列,即:

——第1至第19部分规定了描述方法;

——第20至第29部分规定了实现方法;

——第30至第39部分规定了一致性测试方法与框架}

——第40至第59部分规定了集成通用资源;

——第100至第199部分规定了集成应用资源;

——第200至第299部分规定了应用协议;

——第300至第399部分规定了抽象测试套件;

——第400至第499部分规定了应用模块;

——第500至第599部分规定了应用解释构造;

——第1000至第1999部分规定了应用模块。

GB/T

16656((工业自动化系统与集成:产品数据表达与交换》现已发布了以下26个部分:

——第1部分:概述与基本原理;

——第11部分:描述方法:EXPRESS语言参考手册}

——第21部分:实现方法:交换结构的纯正文编码;

——第31部分:一致性测试方法与框架:基本概念;

——第32部分:一致性测试方法与框架:测试实验室与客户的要求;

——第34部分:一致性测试方法与框架:应用协议实现的抽象测试方法;

——第4l部分:集成通用资源:产品描述和支持原理;

——第42部分:集成通用资源:几何与拓扑表达;

——第43部分:集成通用资源:表达结构;

——第44部分:集成通用资源:产品结构配置;

——第45部分:集成通用资源:物料;

——第46部分:集成通用资源:可视化显示;

——第47部分:集成通用资源:形变公差;

——第49部分:集成通用资源:工艺结构与特性;

——第10】部分:集成应用资源:绘图;

——第105部分:集成应用资源:运动学;

——第201部分:应用协议:显式绘图;

——第202部分:应用协议:相关绘图;

——第203部分:应用协议:配置控制设计;

——第501部分:应用解释构造:基于边的线框;

——第502部分:应用解释构造:基于壳的线框;

——第503部分:应用解释构造:几何边界的二维线框;

——第513部分:应用解释构造:基本边界表达;

——第520部分:应用解释构造:相关绘图元素;

——第1001部分:应用模块:外观赋值;

V

CB/T16656.11—2010/ISO10303—11:2004

一第1006部分:应用模块:基础表达。

本部分为GB/T16656的第u部分。

本部分等同采用国际标准ISO10303—11:2004《工业自动化与集成产品数据表达与交

换第ll部分:描述方法:EXPRESS语言参考手册》(英文版)。

本部分代替GB/T

方法:EXPRESS语言参考手册》。

本部分与GB/T16656.11—1996相比主要变化如下:

本部分规定了EXPRESS语言元素,每个语言元素在各自的上下文语境中用示例表示,先描述简单

的元素,然后按照递增的方式描述更复杂的概念。本部分的修订是为了满足多模式规范的需求,新的概

念构成了可扩展数据模型的体系架构,本部分的本次修订版本中增加了以下关键词:

——BASED—ON;

——END-SUBTYPE—CONSTRAINT;

——EXTENSIBLE;

——GENERIC—ENTITY;

一一RENAMED:

——SUBTYPE—CONSTRAlNT;

——TOTALOVER;

————WITH。

若模式中将这些关键词作为EXPRESS标识符,则在本修订版本中该模式是无效的。此外,本修订

版中修改的内容保持与上一个版本的向上兼容性。

本部分的附录A、附录B、附录c、附录D、附录E、附录F和附录G均为规范性附录,附录H、附

录I、附录J、附录K、附录NA均为资料性附录。

本部分由中国机械工业联合会提出。

本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。

本部分主要起草单位:中国标准化研究院。

本部分主要起草人:詹俊峰、李文武、刘守华、柳青。

16656.110303-11:2004

GB/T1—2010/ISO

工业自动化系统与集成产品数据表达与

交换第11部分:描述方法:EXPRESS

语言参考手册

1范围

GB/T

16656的本部分规定了能够定义产品数据的一种语言。这种语言被称作EXPRESS。

本部分还规定了EXPRESS语言中资源构造子集的图形化表达,这种图形化表达被称作

EXPRESS-G。

在GB/T

义性的数据定义,并对所定义数据的约束进行描述。

本部分适用于:

——数据类型;

——数据类型实例的约束。

本部分不适用于:

——数据库格式的定义;

——文件格式的定义;

——传输格式的定义;

——过程控制;

——信息处理;

——异常处理。

EXPRESS不是一种编程语言。

2规范性引用文件

下列文件中的条款通过GB/T

16656本部分的引用而成为本部分的条款。凡是注日期的引用文

件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分,然而,鼓励根据本部分达成

协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本

部分。

16656.1

6B/T工业自动化系统与集成产品数据表达与交换第1部分:概述与基本原理

16656.1—2010,ISO

(GB/T1030341:1994,IDT)

GB/T16262.1—2006信息技术抽象语法记法(ASN.1)第l部分:基本记法规范(iso/

IEC8824—1:2002,IDT)

GB

(GB13000.1--1993,idtISO/IEC10646—1:1993)

3术语和定义

3.1GB/T16656.1中定义的术语

GB/7T]6656.1中确立下列术语和定义适用于本部分。

——conformance

requirement一致性要求;

——Data数据;

10303-11:2004

GB/T16656.11—2010/IS0

——Data

speci[icationlanguage数据规范化语言;

--Information信息;

--Information

model信息模型;

一PIcsPICS问卷。

proforma

3.2GB/T13000.1中定义的术语

GB/T13000.1中确立的以及下列术语和定义适用于本部分。

——Graphiccharacter图形字符。

注:该定义仅包括那些在GB/T13000.1中已定义了可视化表达的字符,不包括任何空的或有交叉的字符单元。

3.3其他术语和定义

下列术语和定义适用于本部分。

3.3.1

data

entitytype

复合实体数据类型complex

一种实体的表达,复合实体数据类型确定了一个值域,该值域由公共属性和特定子类/超类图中实

体数据类型的许可组合的约束定义。

3.3.2

复合实体(数据类型)实例complexentity(datatype)instance

命名复合实体数据类型的值。一个复合实体实例的名称用于引用该实例。

3.3.3

复合实体(数据类型)值complexentity(datatype)value

表达复合实体数据类型定义类中的单个信息的数据单元。它是该复合实体数据类型所确立的域中

的一个成员。

3.3.4

常量constant

特定域中命名数据类型的值。该取值不能被修改。

3.3.5

数据类型data

type

值域。

3.3.6

实体entity

由共同特性定义的信息的类。

3.3.7

data

实体数据类型entitytype

一个实体的表达。实体数据类型确定了由共同属性和约束定义的值域。

3.3.8

实体(数据类型)实例entity(datatype)instance

命名实体数据类型的值。一个实体实例的名称用于引用该实例。

3.3.9

(单--)实体(数据类型)值(single)entity(datatype)value

表达实体数据类型定义类中的单个信息的数据单元。它是该实体数据类型所确立的域中的一个

成员。

3.3,10

实例instance

命名数据类型的值。

2

1—2

GB/T16656.1010/ISO10303-11:2004

3.3.11

多叶复合实体(数据类型)multi—leafcomplex

entity(datatype)

由多个实体数据类型构成的一种复合实体数据类型,其中的各实体数据类型都没有细分子类。

3.3.12

多叶复合实体(数据类型)实例multi—leaf

complexentity(datatype)instance

命名的多叶复合实体数据类型的一个取值。一个多叶复合实体实例的名称用于引用该实例。

3.3.13

多叶复合实体(数据类型)值multi—leafcomplexentity(datatype)value

表达多叶复合实体数据类型定义类中的单个信息的数据单元。它是该多叶复合实体数据类型所确

立的域中的一个成员。

3.3.14

data

部分复合实体数据类型partialcomplexentitytype

一个实体的可能表达。一个部分复合实体数据类型是子类/超类图中的一组实体数据类型,这组实

体数据类型可构成部分或全部复合实体数据类型。

3.3.15

部分复合实体值partialcomplexvalue

entity

部分复合实体数据类型的一个取值。它本身没有含义,必须与其他部分复合实体值和名称组合共

同形成一个复合实体实例。

3.3.16

实例集population

实体数据类型实例的集。

3.3.17

schema

主模式primary

形成一个(可能循环)有向图的一组相互关联模式中的一个。主模式是一种受关注的模式,在有向

图中可以有一个或多个主模式,图中的其他模式仅用来支持主模式。在将一个短模式转换为长模式时

主模式要发挥特定作用(见附录G)。

3.3.18

schema

根模式root

形成一个(可能循环)有向图的一组相互关联模式中的一个。根模式不是任何接口描述的对象,但

其他所有模式都可通过根模式访问。根模式可被认为是有向图的代表。在将一个短模式转换为长模式

时根模式要发挥特定作用(见附录G)。

3.3.19

简单实体(数据类型)实例simpleentity(datatype)instance

表达实体定义的类中单个信息的一个已命名数据单元。它是单一实体数据类型所确定的域中的一

个成员。

3.3.20

子类/超类图subtype/supertypegraph

一个被声明的实体数据类型集合。子类/超类图中声明的实体数据类型通过子类语句相互关联。

子类/超类图定义了一个或多个复合实体数据类型。

3.3.21

标记token

一种语言的不可分解的词汇元素。

3.3.22

值value

一个数据单元。

3

10303-11:2004

GB/T16656.11—2010/ISO

4一致性要求

4.1用EXPRESS表示的形式化描述

4.1.1词法语言

EXPRESS的形式化描述应与以下规定的给定级别保持一致。当一个形式化描述针对某一级别及

其以下所有较低级别标识的所有检查都进行了验证后,则该形式化描述与该给定级别是一致的。

检查级别:

级别1:引用检查。该级别包括的检查是为了确保形式化描述的语法和引用是有效的。如果~个

形式化描述符合由附录A给出的基本语法规则(语法)扩展生成的语法,则它的语法是有效的。如果一

它的引用是有效的。

级别2:类型检查。该级别包括的检查是为了确保形式化描述与下列各项保持一致:

——表达式应符合第12章描述的规则;

——赋值应符合13.3描述的规则;

——反向属性声明应符合9.2.1.3的规则;

——属性重声明应符合9.2.3.4的规则。

级别3:值的检查。该级别包括的检查是为了确保形式化描述符合第7章~第16章规定的类似“A

应大于B”形式的语句。这项检查限于A和B都能根据字面和/或常数求解的情况。

级别4:全面检查:该级别包括的检查是为了确保形式化描述符合本部分规定的所有要求。

示例:本部分规定,当一个函数被调用时,在每个可能的处理路径中都应说明一个返回语句,这种情况应当得到

检查。

4.1.2图形形式

采用EXPRESS-G表达的形式化描述应与以下规定的检查级别保持一致。当一个形式化描述对于

一个给定的级别和所有较低级别所标识的所有检查都进行了验证时,则该形式化描述与该给定检查级

别相一致。

检查级别:

级别1:符号与范围检查。该级别包括的检查是为了确保形式化描述分别与附录D中D.5和D.6

定义的实体级和模式级描述相一致,也包括对形式化描述使用的附录D中D.2、D.3和D.4中定义的

符号的检查。对形式化描述的检查还为了确保页引用和重说明属性分别与附录D中D.4.1和D.5.5

的规定相一致。

级别2:全面检查。该级别包括的检查是为了识别形式化描述中与附录D中定义的完整实体级或

完整模式级说明不一致以及与第7章~第16章规定的要求不一致的内容。

4.2ExPRESS的实现

4.2.1EXPRESS语言分析程序

编写的形式化描述进行特定级别(以及比该级别较低的所有级别)所要求的所有检查,则认为该EX

PRESS语言分析程序与这个特定的检查级别(4.1.1中定义的)相一致。

EXPRESS语言分析程序的实现者应明确说明该实现对标识符的数量和长度、所处理数值的范围

和实数值最大精度的约束条件,这些约束说明应按照附录E规定的格式记录下来,以便用于一致性

测试。

4.2.2图形编辑工具

4

GB/T16656.11—2010/iso10303-11:2004

查级别是一致的。

EXPRESS—G编辑工具的实现者应明确说明该实现对标识符的数量和长度、模型每页可用符

号的数量和最大页数的约束条件,这些约束说明应按照附录E规定的格式记录下来,以便用于一

致性测试。

5基本原则

假定本部分的用户熟悉以下概念。

据实例进行评价以确定它们是否在该定义域内。如果数据实例能满足所有条件,则认为它们是在该定

义域内。如果数据实例不能满足任何条件,则该数据实例违背了条件,就不在该定义域内。当数据实例

不包含可选属性的值而有些条件包含了那些可选属性时,则不能确定数据实例是否满足所有条件,此时

认为该实例是在定义域内。

EXPRESS语言中的很多元素都赋有名称,该名称可允许其他语言元素引用相关联的表达,在其他

语言元素的定义中使用这些名称就构成了对基础表达的引用。当语言的语法使用了名称的标识符时,

为了理解这种结构,必须对基础表达进行检查。

EXPRESS语言中实体数据类型描述了一个定义域。定义域中的单个成员被假定可用某些唯一的

相关标识符区分开。EXPRESS语言不规定这些标识符的内容或表达。

常数实体实例的声明定义了实体数据类型描述的定义域中一个可标识的成员。这些实体实例不能

通过该定义域上的操作进行修改或删除。

EXPRESS中约束的过程描述可以声明或引用附加的实体实例为局部变量,这些变量被假设为定

义域内f}缶时的可标识成员。这些过程描述可以修改附加的实体实例,但不能修改定义域内的永久成员。

这些定义域内的临时成员只能在它们被声明的过程代码范围内访问,且代码结束后就不再存在。临时

成员可能会违反唯一性约束、全局规则以及局部规则,本部分没有定义当这些违反约束条件的实例数据

作为实际参数传递给函数或过程时,这些函数或过程的处理方式。

EXPRESS语言没有描述实现环境,特别是EXPRESS没有规定:

——如何解决名称的引用;

——如何知道其他模式;

——如何或何时检查约束条件;

——如果一个约束条件不能满足时实现应当做什么;

一在实现中是否允许存在不符合EXPRESS模式的实例;

——在实现中是否、何时或如何创建、修改或删除实例。

6语言描述语法

本章规定了EXPRESS语言的语法表示标记法。

附录A给出了EXPRESS语言的完整语法。为了说明具体语句的语法,部分语法规则在各章条中

16656

重新给出,这部分语法规则一般是不完整的,有时需要参考附录A查找缺失的语法规则。GB/T

本部分中的语法规则都用矩形方框给出,方框中的每条规则的左侧都有一个唯一的编号,用于语法规则

之间的相互引用。

6.1语法说明

EXPRESS语言的语法定义采用派生的沃思语法标记法(WSN)。

注:见参考文献[3]。

5

10303-1112004

GB/T16656.11--2010/ISO

以下给出标记的约定以及wsN自己的定义。

syntax一{production).

7—7

production=identifierexpression’.’.

term).

expression—term{’l

term—factor{factor).

factor—identifier|literal

groupoptionrepetition.

identifier=character{character}.

1iteral一…’character{character}…7.

group5’(‘expression’)’.

,r,,1,

option—LexpressionJ.

repetition一’{’expression‘)7.

——等号“一”表示一个产生式。等号左边的元素被定义为等号右边元素的组合。除了在文字中出

现的空格外,一个产生式的元素之间出现的任何空格都是无意义的。一个产生式用一个圆点

“.”结束。

——要素中的标识符表示出现在另一个产生式左边的非终结符号,标识符由字母、数字和下划线组

成。语言的关键字是用标识符仅由大写字母组成的产生式表示的。

——文字一词表示不能进一步扩展的终结符号。文字是括在单引号中的独立的字符序列,其中的

字符是GB

中出现单引号时必须写两次。

——各种括号的语义定义如下所示:

·花括号“{)”表示零或多次重复;

·方括号“[]”表示可选参数;

·圆括号“()”表示括号中的这组产生式应作为单一的产生式使用;

·竖线“l”表示应实际选择表达式中的某一项。

示例1:字符串类型的语法如下:

示例2:按照示倒1给出的语法,可以进行以下替换:

a)string

b)string(22)

c)string(19)fixed

numenc—expression的规则很复杂,可编写很多其他表达式。

6.2专用字符标记

以下标记用于表示整个字符集和不易显示的专用字符:

——\a表示GB

13000.1标准中第00组00面oo行21~7E单元中的字符;

——\n表示换行(依赖于系统)(见7.1.5,2);

——\q是单引号(撇号)(’)并包含在\a中;

——\s是空格字符;

——\x9、\xA和\xD分别表示GB

6

10303-11:2004

GB/T16656.11—2010/ISO

7基本语言元素

本章规定构成一个EXPRESS模式的基本元素:字符集、注释、符号、保留字、标识符和文字。

基本语言元素由一系列正文组成,这些正文文字被划分为若干物理行。一个物理行有任意个(包括

零个)字符,并由一个换行符(见7.1.5.2)结束。

注:把一个模式的语句划分为若干行并插入一些空格符可构成不同的结构形式,以便于语句阅读。

示例:下面的两种形式是等效的。

entitypoint;x,Y,Z:real;end—entity;

ENTITY

point;

X,

Y'

Z:REAI,;

ENDENTITY;

7.1字符集

EXPRESS模式只能选用下列字符集中的字符:GB

范围内的图形字符以及表示换行的特殊字符\n。这些字符集合称作EXPRESS字符集,字符集中的字

符通过标准中分配给该字符的单元来引用,单元号采用十六进制表示。字符集中的可打印字符

(GB

字、标识符、符号和文字。EXPRESS字符集可进一步细分。

上述字符集是一种抽象的字符集合,独立于其在实现中的表达。

注1:ISO/IEC6429中规定

的语义进行要求,但也不排除它们。

注2:本条仅涉及用来描述EXPRESS模式的字符,而不规定字符串数据类型中许可字符的定义域。

7.1.1数字

EXPRESS使用阿拉伯数字o~9(ExPREss字符集中30~39单元的字符)。

的字符)。字母的大小写仅在显式字符串文字中有意义。

注:EXPRESS语言可用大写、小写或混合形式(见前面的示例)。

专用字符(非字母和数字的可打印字符)主要用作标点符号和操作符,这些专用字符是EXPRESS

字符集中21~2F、3A~3F、40、5B~5E、60和7B~7E单元的字符。

16656.110303-11:2004

GB/T1m2010/mo

7.1.4F划线

下划线字符(一,EXPRESS字符集中5F单元的字符)可用在标识符和关键字中,但不能作为首字符使用。

7.1.5空白

以下各条和7.1.6对空白进行了定义。空白一般用于分隔EXPRESS模式中的标记。

注;文字、常数中使用空白可改善模式的结构和可读性。

7.1.5.1空格符

的语法@ks表示空格符。

7.1.5.2换行符

在EXPRESS形式化描述中换行符表示一个物理行的结束。正常情况下换行符作为空格处理·但当结束一

个末尾注释或者异常结束一个字串文字时沱就具有了特定意义。在E)四REsS语言语法中\r嚷示换行符。

换行符的表达是由具体实现确定的。

7.1.5.3其他字符

中用\xn来表达这些字符,其中n表示9、A和D中的一个。

7.1.6注释

注释用于编制文档,EXPRESS语言分析器应对把它解释为空白。有两种形式的注释,即嵌入式注

释和末尾注释。两种形式的注释都与一个采用注释标记的标识结构关联。

7.1.6.1嵌入式注释

字符对(*表示一个嵌入式注释的开始,*)表示其结束。嵌入式注释可以出现在任意两个标记之间。

语法:

145

not—lparen_starI(’*’{’*7))I

lparen—then

embedded—remark)’*)

not—raparen—star—then—rparen

147ref{7.’remark—ref}■

reinark.tag一7”’remark

148remark_ref—attribute—refconstant—re[1entity—ref}enumeration—reI

rule_label—ref

function_refrefjprocedure_re{J

parameter

rule—refschema—reftype_label—ref

subtype—constraint—ref

variable_re[.

re/1

type

131digitInot—paren_star—special.

not—paren—star=letterl

7e

128letteF,atf~bh…d’f7f’川~gf~hf…iHf~k¨’f

7m’I7n‘I’o’’p7I~q7r…Is’【…tI’u’1’v…w’【’x’I

7z‘r

‘Y’I

124l’l…27l’3’l’4’l~5l…6l’7’l~8l~9.

digit…0

133

nor_paren_star—speeial5not—paren—star—quote—special【“”.

132

not_paren_star-quote—special=’!’I”“J’#’J’$’I’%’J’&7】’+’l’,7I

’一’¨.’1…/h。¨;’1‘<。17一’l’>’1

’?’I’@7j’[’I’\’J’]7I。’J’一7I~’J

’{’’l’I7}’l’~7.

129lparen—star}.

lparen—then—not—lparen—star=‘(’{7(’}not—lparen~star{not

130

not—lparen_star=not—paren—star+)+.

138

135

not_rparen—star—not—paren—starI’(’.

8

10303-11:2004

GB/T16656.11—2010/iso

EXPRESS字符集中的任何字符都可用在嵌入式注释中,包括换行符,因此嵌入式注释可占多个物

理行。

嵌入式注释可以嵌套。

注:必须注意嵌套注释应确保符号的配对。

示例:以下为嵌套的嵌入式注释的例子。

endsit*)

(*Thestartsaremark,andthe‘*)’symbol

7(*‘symbol

7.1.6.2末尾注释

末尾注释必须写在物理行的结尾。末尾注释用两个连续的短横线(一)开始,并以随后的换行符

isaremarkthatendswithanewline

示例:this

7.1.6.3注释标记

通过将注释标记作为注释中的起始字符序列,可以将注释关联到一个命名项上,即与一个标识符相

关的项。注释标记后应紧跟标识注释的字符对。注释标记本身由项所声明的标识符引用组成,并被引

号注释符括起来。

规则与约束:

a)remark—ref应遵循lO.2中规定的可视性规则。

b)许可注释引用应按照下列方式采用10.2中规定的可视性规则:’.’左边的引用应标识出被}

用对象的范围。

注:许可注释引用是一种采用‘.‘标记(见前面定义的语法规则147)的注释引用。

c)如果根据上述可视性规则没有找到注释引用,则该注释将不被关联到任何项上。

d)包含其他标记注释的已标记注释(通过嵌套方式)应完整地(包括被嵌套的注释)关联到被B

用的项上。内部标记注释也应关联到它们相应的标识项上。

e)如果被嵌套的注释和封闭注释引用了相同的标识项,则该嵌套注释应与该标识项关联2次,

次是在封闭注释中关联,另一次是直接关联。

示例1:下列例子中的已标记注释引用了ent实体范围中的attr属性。

ENTITY

ent;

attr:INTEGER;

ENDENTITY:

attrattribute…*)

(*”ent.attr"The

9

10303-11:2004

GB/T16656.”一2010/ISo

例子中就使用了函数名a_complicated—function。

SCHEMA

mysecond—schema;

FUNCTION

a—complicated—function

END

FUNCTION;

Thisfunction…*)

定制服务

    推荐标准

    关联标准

    相似标准推荐

    更多>