GB/T 18221-2000信息技术　程序设计语言　环境与系统软件接口　独立于语言的数据类型.pdf

GBIT18221-2000 运算：Equal,InOrder整（数运算）;Add,Multiply,Negate. Add(x,y:modulo(modulus)）:modulo(modulus)＝ integer.Remainder(integer.Add(x,y),modulus). Negate(x:modulo(modulus)）:modulo(modulus)is Modulo(modulus）值空间的唯一值y，且Add(x,y)=0. Multiply(x,y:modulo(modulus)）:Modulo(modulus)＝ integer.Remainder(integer.Multiply(x,y),modulus). 10.1.3 位 描述：位是表示分别指定加法恒等元g，off和乘法恒等元1“的两个符号有限域的数据类型。 声明：typebit=modulo(2); 参数值：无。 值：0，1 性质：有序，精确，数值，有界。 运算：取自模的E（qual,InOrder,Add,Multiply)o 10-1.4 位串 描述：位串是变长二进制位串的数据类型。 声明：typebitstring=newsequenceof(bit); 参数值：无。 值：位串数据类型的每个值是一个位数据类型值的有限序列。其值空间由所有这些值组成。 值语法： 位串字面值＝双引号 位｛字面值 ｝双引号 ． 位字面值二o“ffII71 应碧笋A省 表示一个值，其中序列中的第一个值由最左边的应笋wm表‘示，序列中的第二个值由 下一个应笋,茵 表示，依此类推。若应沪笋厕道 中没有夕笋汤者 ，‘则该值表示长度为零的序列。 性质：无序，精确，非数值。 运算：取自序列见（8.4.4）的H（ead,Tail,Append,Equal,Empty,IsEmpty)o 注 1位串被认为是一个序列，而不是一个数组，其中的值可以具有不同长度。 2 位串的描述和性质与位（）序列的相同。称位串是’new”以便于映射。实体可能需要附加特殊性质到位串数据类型 上 。 10.1.5 字符串 描述：字符串是一个数据类型族，它表示标准字符集中符号的串。 声明： typecharacterstring(repertoire:objectidentifier)=newsequenceof(character(repertoire)）； 参数值：repertoire是一个 “全员标识符”见（8.1.4)0 值：字符串数据类型的每个值是一个由全刃 (repertoire）所标识的字符集的有限序列。值空间由所 有这样值的汇集组成。 值语法： 串字面值＝双引号 ｛串字符｝双引号 ． 串字符＝非双引号字符 ｝附加字符 ｝转义字符 ． 非双引号字符＝字母 ｝数字｝下划线 ｝特殊字符 ｝单引号｝间隔． 附加字符＝本标准没有定义． 转义字符＝转义 字符名 转义． GB/T18221-2000 字符名＝标识符 {l,标识符｝． 笋完百道 中的每个笋笋痊表示由至J,标识的字符集的一个成员，如8.1.4中所述。笋究百窗表示 字符串数据类型的值，其中序列中的第一个值由最左边的笋．笋夸表示，序列中的第二个值由下一个笋 笋孝表示，依此类推。若笋笋汤者 中‘没有笋笋拼 ，则该值表示长度为零的序列。 性质：无序，精确，非数值，可数。 运算：取自序列 见（8.4.4）的H（ead,Tail,Append,Equal,Empty,IsEmpty)a 注 1 虽然一些字符集标准需要规定理序序列，但是并没有规定理序序列的国家标准和国际标准。有些应用需要字符 串上的次序关系，并且共享没有标准理序序列的字符集，这就需要创建一个定义的数据类型或一个}}赤F1? 扩 ，它引用字符集并且与理序序列一致。 2 字符串被定义为一个序列，而不是一个数组，以允许不同长度的值。 3characterstring(r）数据类型的描述和特性sequenceof(character(r)）的相同。称字符串数据类