GB/T 16262-1996 信息处理系统 开放系统互连 抽象语法记法--(ASN.1)规范

华人民共和国国家标准

信息处理系统开放系统互连

抽象语法记法一规范

发布实施

国家技术监督局发布

中华人民共和国国家标准

信息处理系统开放系统互连

抽象语法记法一规范

本标准等同采用国际标准信息处理系统开放系统互连抽象语法记法一

规范

引言

在基本参考模型的较低层中服务原语的各个用户数据参数都表示为八位位组序列的二

进制值

在表示层中用户数据参数的性质有变化应用层标准要求表示层服务用户数据见

以携带较为复杂的类型值可能包括来自各种字符集的字符串为了规定所携带的值要求一种已定义

的记法但该记法不决定值的表示这由一个或多个称作编码规则的算法来补充此编码规则确定

携带这种应用层值的会话层八位位组的值称为传送语法表示层协议见可以协商

使用何种传送语法

确定一个值是为了使它区别于其他可能的值该值与其他要区别的那些值一起的集合称为类型

一个特定的实例是该类型的一个值更一般地值类型常被认为由几个更简单的值类型以及它们间

的关系组成术语数据类型常用作类型的同义词

为了正确地解释值所代表的内容纸上的记号或是通信线路中的位必须知道通常从上下文中

所表示的值的类型因此类型的标识是标准的一个重要部分

定义复杂类型的非常普通的技术是先定义少量简单类型这些简单类型通过定义它们的所有可

能值来获得然后用不同方式组合这些简单类型下面是几种定义新类型的方式

给出已有类型的有序表从已有类型中取出每个值这些值的有序序列形成一个值这种

方法得到的所有的值的集合是一个新类型若表中的已有类型都是不同的则允许省略某些值以扩充这

个机制

给出不同的已有类型的表从已有类型中取出每个值这些值的无序集形成一个值此法

得到的所有可能值的集合是一个新类型通过省略某些值也能扩展该机制

给出单个已有类型其值的有序序列零个一个或几个已有类型的值的无序集形成一个

值此法得到的所有可能值的无限集合是一个新类型

给出不同类型的表选择其中任何一个类型的值作为一个值此法得到的所有可能值的集

合是一个新类型

给出一个类型通过使用它的值的某些结构和序关系它的一个子集可以形成一个新类型

上述方法定义的类型称为结构类型

国家技术监督局批准实施

对每个用标准的记法定义的类型指派了一个标记这个标记由本标准者该记法的使用者定

义

相同的标记指派给不同的类型是常见的这些特定的类型由标记的上下文来识别

该记法的使用者可以选择指派不同的标记给某单个类型的两次出现从而产生两个不同的类型如

同上述情况下需要区别所作哪一个值选择时这是必要的

在该记法中规定了四种类别

第一类是通用类通用类标记仅用于本标准中每个标记指派给

单个类型

一个构造机制

第二类是应用类应用类标记由其他标准指派一些类型在一个特定标准中一个应用类标记只

指派给一个类型

第三类型是专用类专用类标记不由标准指派其用法由使用者决定

最后一个标记类是上下文指定类在该记法的任何使用中自由指派并按照它使用的上下文来解

释

标记主要为机器使用对于标准中的与人有关的记法它是不必出现的但是要求区别某些类型

时则要使它们有不同的标记因此标记的分配是使用该记法的一个重要部分

注标准的记法中的所有类型都有一个标记给定任何类型该记法的使用者能用不同的标记定义新类型

对某类型的值的标记编码规则总是显式隐式地有该类型的标记该记法的使用上的限制是为了保证在

假定适用的类型定义可用时确保标记可无二义地确定实际类型

本标准规定的记法既能定义复杂的类型也能规定这些类型的值但并不决定传送时一个实际类

型将如何表示通过八位位组的序列具有这样的特性的记法称为用于抽象语法定义的记法

标准的目的是规定一个用于抽象语法定义的记法叫做抽象语法记法一也用作

定义协议的半形式化工具该记法不必预先作无二义的说明该记法的使用者有责任确保它们的规范是

无二义的

标准由规定编码规则的标准支持对定义的类型的值使用编码规则后产生该值的表

示的完整规范传送语法

标准与建议在技术上是相容的

标准的第章至第章包含这两章定义支持的简单类型并描述用于引用简单类型

及定义结构类型的一些记法第章至第章也描述了定义的类型的值的记法

标准的第章定义另外的类型字符集串通过对字符集的应用编码规则该类型可以等同于

八位位组串类型

标准的第章至第章包含这两章定义某些结构类型这些类型被认为是通用的但它们不

需要另外的编码

注希望增加这些章使之包括其他普通数据类型如诊断授权信息计账信息安全参数等

值记法和在这些章中定义的类型的语义定义是从使用记法的类型定义导出的此类型定

义能被定义编码规则的标准引用对这些类型规定编码

标准的第章至第章定义了一个记法它可以使子类型从双亲类型的值定义得到

附录补充件描述一个基记法的扩展记法称为宏业务

附录补充件支持的管理部门对客体标识符树的定义

附录补充件支持的管理部门对客体标识符树的定义

附录补充件和联合使用对客体标识符树的定义

附录补充件提供使用表示的例子和提示

附录参考件用第五章的记法给出的提要

在标准的末尾给出了包括关键字类型和主要术语的索引

标准文特别是附录补充件到附录补充件是以联合的协定为主题的

主题内容与适用范围

标准规定一个用于抽象语法的记法叫做抽象语法记法一

标准定义了一些简单类型及其标记并规定引用这些类型和这些类型值的记法

标准定义了从较基类型构造新类型的机制并规定定义这些结构类型和给它们指派标记以及

规定这些类型值的记法

标准通过引用其他的标准定义在范围使用的字符集

标准定义一些有用的类型使用它们可供使用者使用

无论何时需要定义信息的抽象语法都可应用记法它尤其用于应用层协议标准但并不仅

仅如此

记法也被其他表示层标准引用这些标准为简单类型结构类型字符串类型和的

其他有用类型定义编码规则

引用标准

世界各国和地区名称代码

数据交换组织标记的结构

数据元和交换格式信息交换日期和时间表示法

信息处理系统开放系统互连基参考模型

数据处理转义序列的登记规程

信息处理系统开放系统互连面向连接的表示服务定义

信息处理系统开放系统互连面向连接的表示协议规范

信息处理系统开放系统互连用于抽象语法记法一基编码规

则规范

抽象语法记法规范

公用数据网用的国际编号方案

术语

标准使用中的术语

值

值集合中可区分的成员

类型

已命名的值集合

简单类型

通过直接规定类型值集合而定义的类型

结构类型

通过引用一个或多个其他类型而定义的类型

成分类型

定义结构类型时所引用的类型之一

标记

与每个类型关联的类型记号

置标记

用规定的标记替换某个类型现存的可能是默认的标记

字符集

在第章中规定的用于记法的字符集

项

取自字符集的已命名的字符序列用于形成记法在第章中规定

类型值引用名

在某个上下文中唯一与一个类型值相联系的名字

注引用名指派给标准中定义的类型在中这是普遍有效的其他引用名在其他标准中定义并只在定义

它的标准的上下文中出现

编码规则

在传送任何类型值期间规定其表示的规则编码规则使得传送的信息能够被接受

者识别为特定类型的特定值

字符串类型

其值是取自某个已定义字符集的字符串的类型

布尔类型

具有两个可区分值的简单类型

真

布尔类型中的可区分值的一个

假

布尔类型中的可区分值的另一个

整数类型

具有可区分值的简单类型值是正整数负整数包括零作为单一值

注特定的编码规则限定整数的范围但应使选择的这种范围不致影响的任何用户尽管如此的特

定用户可以使用注释表达更严格的限制范围

枚举类型

一个简单类型其值是做为类型记法一部分的给定不同标识符

实数类型

一个简单类型其可区分值中规定是实数集合的一个成员

位串类型

其可区分值是零个一个或多个二进制位的有序序列的简单类型

注编码规则不限制位串中的位数但是的特定用户可以使用注释表达位数的上限或下限

八位位组串类型

其可区分值是零个一个或多个八位位组的有序序列的简单类型每个八位位组是八个二进制位的

有序序列

注编码规则不限制八位位组串中的八位位组数但的特定用户可以使用注释表达八位位组数的上限或下

限

空类型

由一个单一值组成的简单类型也称为空

注空值通常用于有几个可能的候选值但又都不适用的情况

序列类型

通过引用一个固定的有序的类型表其中某些类型可以申明为可选的而定义的结构类型新类型

的每个值是一个有序的值表表中各个值取自相应的成分类型

注当一个成分类型申明为可选时新类型的值不必包括该成分类型的值

单纯序列类型

通过引用单个现存类型而定义的结构类型新类型的每个值是该现存类型的零个一个或多个值的

有序成分表

注编码规则中不限制单纯序列值中的值的数目但是的特定用户可以使用注释来表达值的数目的上限

下限

集合类型

通过引用固定的无序的不同类型表其中某些类型可以申明为可选的而定义的结构类型新类型

的每个值是一个无序的值表表中各个值取自相应的成分类型

注当一个成分类型说明为可选时新类型的值不必包括该成分类型的值

单纯集合类型

通过引用单个现存类型定义的结构类型新类型的每个值是该现存类型的零个一个或多个值的无

序表

注编码规则不限制单纯序列类型中的值的数目但是的用户可以使用注释表达值的数目的上限或下限

要求各个值彼此不同

已标记类型

通过引用单个现存类型和一个标记来定义的类型新类型与该现存类型同构但并不等同

值选择类型

通过引用固定的无序的不同类型而定义的结构类型新类型的每个值是成分类型之一的值

类型选择类型

通过引用值选择类型的一个成分类型而定义的结构类型

任意类型

未规定其成分类型的值选择类型但限定其成分类型为能用定义的类型集合

外部类型

其可区分值不能从其外部特征导出但能够从这样一个值的编码导出这些值可以但不必用

描述因而其编码可以但不必与编码规则一致

信息客体

信息中定义规范中已定义的部分为在通信实例中标识其使用而要求有一个名字

客体标识符

一个与信息客体相联系的值区别于所有其他同类值

客体标识符类型

其可区分值为按照本标准规则分配的所有客体标识符的集合

注标准的这条规则允许各种机构独立地将客体标识符与信息客体相联系

客体描述符类型

其可区分值是提供对信息客体简要描述的人可读的文本的类型

注客体描述符值通常但不总是与某个单一的信息客体相联系只有客体标识符才无歧义地标识信息客体

递归定义

的定义的一个集合不能对这些定义重新排序使得构造中使用的所有类型在该定

义构造之前定义

注允许递归定义本记法的用户有责任确保使用的值结果类型具有有限的表示

模块

用于类型定义和值定义的记法的一个或多个使用实例用模块记法见第章定

界

产生式

用来规定形式记法的一部分其中允许的项序列与一个名字相联系该名字可以用来在新

的允许的序列集合定义中引用它所代表的那些序列

国际协调时

国际时间所保持的时标构成标准频率和时间信号协调传播的基础

注此定义来源于国际无线电咨询委员会的建议也用作为世界协调时的缩写

也称为格林尼治标准时间并定时地广播适当的时间信号

的用户

使用定义一段特定信息的抽象语法部分的个人组织

双亲类型的子类型

一个类型其值是作为一些其他类型双亲类型的值的子集合规定的

子类型的双亲类型

用于定义子类型的类型

注双亲类型自己身可能是一些其他类型的子类型

子类型规范

能与一个类型记法一起用于定义此类型的子类型的记法

子类型值集合

形成子类型规范规定将包括在子类型中的双亲类型值集合的记法

标准使用定义的下列术语

表示数据值

一个抽象语法

抽象语法名

传送语法名

标准也使用中定义的下列术语表示上下文标识符

标准使用中定义的下列术语

通行组织

组织代码

国际代码指示符

缩写

抽象语法记法一

世界协调时

国际代码指示符

数据国家代码

数据网络识别码

认识的私用操作机构

本标准使用的记法

记法包含一个字符串序列这些字符取自第章规定的字符集

每次使用记法包括从字符集中抽出字符并组合为项第章规定组成项

的字符串并给每个项命名

在第章以及以下几章中记法的规定是通过对组成表示有效实例的项的序列

之集的规定及对每个序列语义的规定来实现的

为了说明这样的集合标准使用下面各条中定义的形式记法

产生式

一个新的或更复杂的序列的集合是通过产生式来定义的它使用本标准中定义的序列集

合的名字并通过以下规定之一来形成新的序列集合

新序列集由任何原有集合的任何原有序列组成者

新序列由任何这样的序列组成它通过从每个集合中仅取一个序列并特定的次序组合而成

每个产生式由下面几个部分组成占一行或几行次序是

新序列集合的名字

字符

一个或多个中所定义序列的候选集使用下面字符分隔

一个序列若在一个或多个候选集中出现则它在新集合中出现在本标准中新集合用上面中的

名字引用

注若一个序列出现在多个候选中结果表示中任何语义上的二义性由整个序列的其他部分解决

候选集

在一个或多个候选集中序列的每一个候选集通过一组名字来描述每一个名字者是一个项

名者是一个本标准中产生式定义序列集合的名字

候选集定义的序列集合由所有这样获得的序列组成取任何一个带第一名字的序列项然后

和任何一个带第二个名字的序列项组合然后和任何一个带第三个名字的序列者项组合等

等直到包括候选集中最后的一个名字者项

产生式的例子

位串值串

串

标识符表

是一个产生式它的名字为位串值序列如下

任何串单项和

任何串单项和

任何有标识符表的序列用开始并用结束

注和是含有单字符和的项名见第章

在这个例子中标识符表由进一步的产生式定义可以在定义位串值的产生式之前者之后

格式

在标准中使用的每个产生式前面和后面都有一个空行产生式中没有空行产生式者在一行上

者分布在几行上格式是不重要的

递归

标准中的产生式通常是递归的在这种情况下只要有新的序列产生产生式就要继续重复

注在许多情况下这样的重复导致了容许序列的无界集某些所有这些序列身就是无界的这没有错

序列集合的引用

标准通过引用产生式的第一个名字在之前来引用一个序列集合表示的一部分

这个名字用括起来把它和自然语言文区分开来否则它就作为产生式的一部分出现

项的引用

标准通过引用项名来定义一个项项名用括起来以与自然语言正文区别开来否则它将作为

产生式的一部分而出现

标记

一个标记是通过给出它的类型和类型中的号码来说明的类型是下列中之一

通用

应用

专用

上下文规定

号码是一个非负整数用十进制记法

用户在指派标记时的限制在第章中说明

通用类型的标记是这样指派的对结构类型最高层结构可以由标记导出对简单类型类型可由标

记导出表总结了在本标准中说明的通用类型中标记的指派

表通用类型标记指派

通用类型布尔类型

通用类型整数类型

通用类型位串类型

通用类型八位位串类型

通用类型空类型

通用类型客体标识符类型

通用类型客体描述符类型

通用类型外部类型

通用类型实数类型

通用类型枚举类型

通用类型为标准的将来版保留

通用类型序列和单纯序列类型

通用类型集合和单纯集合类型

通用类型字符串类型

通用类型时间类型

通用类型为标准的将来版保留

注通用类型另外的标记保留给标准以后的增加

记法的使用

类型定义的表示为类型见

类型值的表示为值见

注在不知道类型的有关内容时通常不能解释值的记法

将类型赋给一个类型引用名的记法为类型赋值见

将值赋给一个值引用名的记法为值赋值见

类型赋值记法和值赋值记法仅用于模块定义中见

字符集

除和说明外一个项由表中字符的序列组成

表字符集

到

到

到

注附加字符和在宏定义中使用见附录补充件

等价的有关标准由我国的标准化组织给出附加字符可能在以下的项中出现最后个在附录补充件定

义

类型引用

标识符

值引用

模块引用

宏引用

产生式引用

部类型引用

部值引用

串

当附加字符用在一种大小写无区别的语言时由以上某些项第一个字符的不同情况导致语义的区

别将用别的办法处理

在用该记法规定字符串类型时记法中可以出现已定义字符集中的所有字符括以双引号

见

其他的字符可以出现于注释项中见

字符的形式大小色彩亮度及其他显示特性无关紧要

大写字母和小写字母是有区别的

项

一般规则

下列各条规定项中的字符在每种情况下都给出项名和形成项的字符序列的定义

注附录补充件给出用于宏记法的项

下列各条规定的每个项要出现在一行上没有空格除掉注释项和列在表中的以外

每行的长度没有限制

本标准记法规定的序列的项可以出现在一行者几行上可由一个或多个间隔空

行分隔

若后续项的起始字符或多个字符是前项的末尾字符集包括的容许字符或多个字符时项和

后续项间要用空格分隔写在不同行内

类型引用

项名类型引用

类型引用由任意个一个或多个字母数字连字符组成以大写字母开头不可用连字符

结尾一个连字符不能紧接另一个连字符

注有关连字符的规定是为了避免与可能后随的注释混淆

类型引用不应是表中列出的保留字符串中之一

表保留字符序列

续表

注规定了宏定义中的保留字符序列

标识符

项名标识符

一个标识符由任意个一个或多个字母数字和连字符组成以小写字母开头不能以连字符结

尾一个连字符不能紧接另一个连接号

注有关连接号的规则是为避免与可能有的注释混淆

值引用

项名值引用

值引用由上述中规定为标识符的字符序列组成分析记法的实例时值引用由其出现的

上下文与标识符区别

模块引用

项名模块引用

模块引用由中规定为类型引用的字符序列组成分析记法的使用实例时模块引用通过

出现的上下文与标识符区别

注释

项名注释

记法的定义中不引用注释但它可以在任意时候出现在别的项中无关紧要

注释是从两个相连的连字符开始并以下一对相连的连字符行尾为结束不论哪一个在前

面注释除了开始的一对连字符及结尾的一对连字符若有的话外不能有两个相连连字符注释中可

以包括不在字符集中的字符见

空项

项名空

空不包含任何字符该记法第五章中用它来规定候选序列集以指示所有的候选都缺省是可能

的

数项

项名数

数是由一个或多个数字组成除非数是单个数字否则其第一位数字不能是

二进制数串项

项名串

串由任意个和组成在它之前放置后随一对字符

例

十六进制数串项

项名串

串由下列字符中任意个组成可以零个

前置单个后随

例

代表十六进制的每个字符表示位的值

字符串项

项名串

串由任意个可以为零个字符组成前后置这些字符来自某个字符集类型所用的字符集若

字符集中包含则该字符要由一对来表示采用的字符不限于表列出的字符而由以串为值见

的类型决定

例宛姐蛇怡

赋值项

项名

该项由序列组成

注该项不包含任何空格字符见

单字符项

项名

连字符

具有上述列出的任意一个名字的项由形成名字的单字符组成

注项在中定义

项在中定义

关键字项

项名

有上述名字的项应由名字中字符序列组成

注这些序列中无空格

对以上字符序列中不在中的保留字符序列中列出的几个它们由上下文区别于包含同样字符的项

变化范围分隔符

项名

此项应由字符序列组成

注此序列不包含任何空格符

省略号

项名

此项应由字符序列组成

注此序列不包含任何空格符

模块定义

模块定义由下列产生式规定

模块定义模块标识符

标记缺省

模块体

模块标识符模块引用

已赋值标识符

已赋值标识符客体标识符值

空值

标记缺省

空值

模块体外部内部赋值表空值

外部外部符号空值

外部符号符号表空值

内部内部符号空值

外部符号来自模块表的符号空值

来自模块表的符号来自模块的符号

来自模块表的符号来自模块的符号

来自模块表的符号符号表模块标识符

符号表符号符号表符号

符号类型引用值引用

赋值表赋值赋值表赋值

赋值类型赋值值赋值

注附录补充件规定一个也可以出现在赋值表中的宏定义序列由宏定义产生的记法可以在同一模块

中的其他地方出现

在个别情况下但不赞成这样对于例子和通用类标记的定义模块体可以在模块定义之外使用

类型定义和值赋值产生式在第章中规定

将数据类型组成模块时不必为表示上下文定义将表示数据信息变为命名抽象语法

模块定义的标记缺省值只影响那些在模块中显式定义的类型它并不影响内部类型的表示

一个宏引用见附录也可作为一个符号

如果标记缺省是空值它取

出现在模块定义产生式中的模块引用称为模块名模块名的选择用来保证在具有这个模块名

的所有模块定义序列的模块体中出现的所有序列的相容性和完整性如果对其中出现的每个类型

引用和值引用只有一个类型赋值值赋值相应的与类型值的名字相应的相关连则赋

值序列的集合是相容和完整的

模块名在模块定义的应用范围内只能使用一次除中说明以外

注建议在标准中定义的模块有如下形式的模块名其中是标准序号是标准内

的首字母缩写如在其他标准中可使用类似的约定

类型引用和值引用在某个模块中被引用这个模块不同于使用外部类似引用外部值引

用定义的类型引用和值引用的模块后一种模块由下列产生式规定

外部类型引用模块引用

类型引用

外部值引用模块引用

值引用

如果已赋值的标识符包括一个客体标识符值后者无二义地并唯一地标识此模块

注建议指派客体标识符使其他模块能无二义的引用这个模块

在一个来自模块的符号中的模块标识符应出现在另一个模块的模块定义中除非是它包含

一个客体标识符值使此模块引用在两种情况下可以不同

注当符号从两个具有相同名称的模块模块命名与不符输入时只可使用一个与其他模块所使用的不同

的模块引用使用替换区别名使得这些名在模块的体中使用成为有效

当一个模块引用和一个客体标识符值都用于引用模块时后者应视为明确的

当选择出口符号代替出口时

出口符号中的每个符号应在构造模块中定义并且

每个从模块外面引用的符号应恰当地被包含在出口符号中并且只有这些符号可以从模

块外面引用并且

如果没有这样的符号那么应选择空值代替出口符号不是代替出口

注包含空值代替出口是为了向后兼容

在出口是空值的模块中定义的每个符号可以由其他模块引用

当选择入口符号代替入口时

来自模块的符号中的每个符号应在由来自模块的符号中的模块标识符所注释的模块

中定义并且

可在由来自模块的符号中的模块标识符所注释的模块定义中选择出口符号代替出口

此符号应出现在其出口符号中并且

只有那些出现在来自模块的符号的符号表之中的符号可以作为任何外部类型引用中

的类型引用任何外部值引用中的值引用出现此外部类型引用才具有由来自模块的符

号的模块标识符所注释的模块引用并且

如果没有这样的符号那么应选择空值代替入口符号而不是代替入口

注包含空值代替入口是为了向后兼容

入口是空的模块可以引用其他模块中定义的符号

一个在来自模块的符号的符号可以出现在已定义类型的模块体中如果它是类型引

用已定义值的模块体中如果它是值引用与符号相关的含义是由响应模块标识符注

释的模块中的符号若此符号也出现在一个赋值表中反对的或出现在一个或多个来自模块

的符号其他事例中它应只用于外部类型引用外部值引用其模块引用是在来自模块的符

号中见若此符号不这样出现它可以直接的用于已定义类型已定义值

除中规定的以外一个类型引用值引用在一个模块中引用应不同于在使用外部类

型引用外部值引用定义的模块中引用下述产生式规定

外部类型引用

模块引用

类型引用

外部值引用

模块引用

值引用

引用类型和值定义

产生式

有定义类型外部类型引用类型引用

有定义值外部值引用值引用

描述将用于引用类型和值定义的序列

除规定的以外除非引用发生在一个已赋予类型和值给类型引用和值引用的模块当中见

和否则类型引用和值引用候选将不使用

除非相应的类型引用值引用在相应的模块参量中被赋与一个类型相应的值见

和否则不使用外部类型引用和外部值引用

类型和值的赋值

通过由类型赋值产生式规定的记法类型引用被赋与一个类型

类型赋值类型引用

类型

类型引用不能是用来引用在第章中定义的字符串类型的名字也不能是用来引用第

章中定义的类型的名字

通过值赋值产生式规定的记法值引用被赋与一个值

值赋值值引用

类型

值

赋与值引用的值是关于由类型定义的类型中的值的有效记法见

类型和值的定义

一个类型由下列类型之一形成

类型固有类型有定义类型子类型见

固有类型布尔类型整数类型

位串类型八位位组串类型

空值类型序列类型

单纯序列类型集合类型

单纯集合类型值选择类型

类型选择类型有标记类型

任意类型客体标识符类型

字符串类型有用类型枚举类型实数类型

注在宏中定义的类型记法也可用于类型的定义见附录补充件

此外的固有类型由本标准的补篇定义

固有类型记法由以下各章规定

子类型记法在第章中规定

被引用的类型是由固有类型赋与定义类型的子类型定义的类型

在某些被引用类型的记法中这个类型可以有名字这种情况下本标准规定了有名类型记法

的使用

有名类型标识符类型类型类型选择类型

类型选择类型的记法和相应的值记法在第章规定

注当类型选择类型用作有名类型时记法类型选择类型包含一个作为值记法的一部分的标识符见

标识符不是类型的一部分对类型无影响由有名类型序列引用的类型即是由包含在其中的

类型序列引用的类型

类型的值由一个序列值描述

值固有值定义值

固有值布尔值

整数值

位串值

八位位组串值

空值

序列值

单纯序列值

集合值

单纯集合值

值选择值

类型选择值

有标记值

任意值

客体标识符值

字符串值

枚举值

实数值

注在宏中定义的值记法也可用作值序列见附录补充件

若类型用下面左边的记法之一来定义则值用下面右边的记法来规定

类型记法值记法

布尔类型布尔值

整数类型整数值

位串类型位串值

八位位组串类型八位位组串值

空类型空值

序列类型序列值

单纯序列类型单纯序列值

集合类型集合值

单纯集合类型单纯集合值

值选择类型选择值

有标记类型有标记值

任意类型任意值

客体标识符类型客体标识符值

字符串类型字符串值

枚举类型枚举值

实数类型实数值

注另外的值记法由标准的补篇定义

若类型是一个有定义类型则值记法是用于产生有定义类型的类型记法

用有用类型记法定义的类型的值记法由第章规定

固有值记法由下面各章说明

用有名类型记法定义的类型的值由记法有名值引用

有名值标识符值值

其中标识符若有与有名类型记法中使用的相同当有名类型是类型选择类型时

进一步规定对有名值的限制

注标识符是记法的一部分但不是值的一部分

标识符当且仅当它出现在有名类型中时出现在有名值中

注标识符总是出现在类型选择类型中

布尔类型的记法

布尔类型见由布尔类型记法引用

布尔类型

该类型的标记是通用类编号为

布尔类型的值见和由记法布尔值定义

布尔值

整数类型的记法

整数类型见由记法整数类型引用

整数类型有名数表

有名数表有名数有名数表有名数

有名数标识符有符号数标识符有定义值

有符号数数数

有符号数的第二候选在数为零时不用

有名数表在类型定义中不重要它仅用于说明的值记法

有定义值是引用整数类型值由标记从整数导出的类型的值

在有名数表中出现的每个有符号数有定义值的值应是不同的表示整数类型的可区分

值

出现在有名数表中的每个标识符都是不同的

有名数表中的有名数序列的顺序不重要

该记法类型的标记是通用类的编号为

整数类型的值由记法整数值定义

整数值有符号数标识符

整数值中的标识符与相应的整数类型中的标识符相同且序列与其值相关并表示对

应的号

注已定义了标识符的整数值时应该优先使用整数值的标识符形式

枚举类型的记法

枚举类型见应由记法枚举类型引用

枚举类型

枚举

枚举

有名数

枚举有名数

注每个值有一个相关标识符在本记法中是一个可区分的整数这提供值表示的控制为了方便兼容扩充

在枚举中的有名数之中的数字值不必有序相邻

对每个有名数标识符和有符号数应与所有在枚举中的其他标识符和有符号数区

分开来

枚举类型的标记是通用类编号为

枚举类型的值应由记法枚举值定义

枚举值标识符

枚举值中的标识符应等于与此值相关的枚举类型序列中的一个标识符

实数类型记法

实数类型见应由实数类型记法引用

实数类型

实数类型的值是值和以及同能由包括了整数和

的下述公式规定的实数

其中叫做尾数叫基数叫指数和可以取任何整数值正负而取值

和的所有组合都允许

注此类型能够承存储在典型浮点硬件中的任何数的精确表示和具有有限字符十进制表示的精确表示

中规定的此类型的编码允许用实数值的二进制表示法使用基数以及用字符表示法

使用基数对此选择是发送者的事

实数类型有通用类标记编号为

定义实数类型值的记法应是实数值

实数值

数字实数值特定实数值

数字实数值

尾数基数指数

尾数有符号数

基数

指数有符号数

特定实数值

格式应用于零值并且数字实数值的替换形式应不用于零值

位串类型的记法

位串类型见由记法位串类型定义

位串类型有名位表

有名位表有名位有名位表有名位

有名位标识符数标识符有定义值

有名位表在类型定义时不重要它仅用于规定的值记法中

位串中的第一位是数零最后一位称为结束位

注该术语用于值记法和编码规则的