GB/T 17970-2000 信息技术 处理语言 文件式样的语义及规格说明语言(DSSSL)

中华

本标准等同采用

言

本标准的附录

本标准由中华人

本标准由中国电

本标准起草单位

国际标准化

是或的成员国

和的各技术委

织和非官方国际组织

在信息技术领域

提出的国际标准草案

本标准定义了文

定的动机是将

文件间的变换

本标准的主要目

一种语言这样这些

式样语言允

描述文件印刷

机器可处理的

提供创建新的

样语言部的声明中

本标准旨在包括

一致性

包括两个独

格说明包含了许多过

言的过程规格说明是

如果一个式样规

个变换规格说明符合

定义

本标准采用了

区域

流对象经格式化

组标记

关联

由查询表达式变

变换过程

原子流对象

没有端口的流对

节点

性质赋值的一个

的一个类

原点

对一个节点来

点具有唯一的原点

原点对子节点

某节点之原点的

端口

流对象树中一个

为命名端口

原始数据类型

变换语言所规定

树

没有双亲的某节

验证丛林

使用包括了

文件进行语法析而

带

一栏的四个命名

区域容器内的区域的

记法与约定

语法产生式

概览

通用置标的一个

是分离的

在任何通用置标

的方法允许把信息附

标准的框架和方法把

是要与按元

念使用了的术

能使格式化

例如一个设计人员可

的顶部或底部在

图中带阴影的区

一个文件为

林丛林与元素树

丛林和性质定义

变换过程

变换过程的输入

变换规格说明由

换这一变换的要点

换果用作参考点将

变换过程的输出

可将它们变换为多个

产生过程

变换过程产生一

在中输入

式是单一字符还是特

要定义一个单字符字

是只有这些字符可供

的表示词间隔的性

规格说明

中用到的字符属于相

成而不用原文

在字符到字符映

件的某部分包含直译

送到格式化程序

字到字模的映射控制

征的流对象组成有

子流对象序列每一

口或为命名的端口

一个流对象类定

流对象的类应与该对

附于同一流对象之不

流对象树的创建

将格式化特征

代表来自丛林

择和式样参数如字型

在构造流对象树

也可识别那些为灌入

表格用流对象类

在线显示用流对

另外的应

类或把它们应用于

区域

一个流对象的格

域属于行的一部的

两种区域都由填

述

一个显示区域通

一方向上是固定的

页和栏的几

格式化过程用到

规格说明

一个规格

体系结构

文件可通过

中包含一个记

符合

规格说明

是一个完

将声明

声明在

定义字符字母

字母表的

为性质

要

素声明元素含有对记

以一个过程规格

成以元素类型形式表

程规格说明元素的部

过程规格说明元素的

由过程规格说明元素

一个部件中的声明以

明构成了该过程规格

素拼接而成

一个过程规格说

单一部件中不应有冲

单一部件的体中不应

该元素的内容是

编码为所跟数字的字

一个过程规格说

数字符号撇

至数字到

母大写到反

明字符名字换行

在单一部件中一

元素类型

对于由公用标识

位组如何对应到通用

符并且对于来自该

实体映射

中给出名字的字符

同

如果丛林规划为

首先为其名字搜索一

例

隔符字符

记号空白和

空白字符为格

时隔记号隔出

可以出现在两个记号

义的

和的其他变

应用实现需是适

的递归过程来描述的

殊的叠代构造只是语

过程也是对象

这些性质的语言包括

过程的参数传递

论过程是否需要这些

求值语义或者

像的大多数

达式语言的语法产生

基本概念

这些谓词定义类

表达式

一个表达式是能

表达式类型被

义上虽不是基类型

常用的形式因而以方

布尔常量数字常

们不需要用引号引用

例

当过程使用一列

派生表达式类

条件表达式

一个

个的求值果为真

表达式

表达式从左到

表达式都为假则最后

例

回是在扩展环境

作用域从而有可能定

的最一般的用法中所

例

在中

解释还

当事先知道了大

在中没有

中有一个逗号

入到此结构中如果

掉而列表的元素被插

例

此形式等同于

不在表达式中出

顶层定义

在顶层环境中对

例

绑定而变量与求和

把一个要做的处

布尔

标准的真假布尔

当作真还是当作假对

语假值或假是

所有标准值中只

字串和过程都为真

注对其他变

对布尔常量的求

例

和

和

和

和

如果和

过程若和

注换言之过程的

对和列表

一个对有

对是由过程创建

以递归地定义为或为

如果是一个

例

对构造过程

返回一个域为

例

列表追加

返回一个表此表

例

最后一个参数实

表

例

的第一个对并返回之

例

注尽管

是简单的

符号

符号是这样的对

一

关键字

关键字类似于符

引起来它们主要用

关键字是单个记

关键字类型

如果是一个

实数而这个实数又被

和

角更精确地说是

把声明为与无维

精确性

有必要区精确

需要使用精确数量的

量中明确地区出来

数量可以是精确

引申出而来则该数量

非精确操作引申而来

如果一个计算的

数量的操作产生了非

是如果用其他方式表

如果一个实现碰

也可自行以不精确数

数字常量的

例

注对于非精确的

精确性谓词

这些数字谓词提

比较谓词

乘

返回参数的乘积

例

减

假定计算中用到

和

具有被除数的符号而

例

和自然

返回的次

错误

三角函数

和

反三角函

为真如果没有可能

如果是

包含一个十进制点并

果的格式是不确定的

注如果

大写

左括

格符

如果在

定界字符比如格或

表示一个格符也可

应

以记法写成

字符性质

每个字符具有

注

当进行两个串比

个单元的一系列连续

在中

应与用作

指定赋

指定一个串等价

大小写

当

一字符对中的第一个

字符类型谓

如果是一个

反斜线可通过另

写入串字符名字后

这里所使用的

一个串常量可以

串的是它

是小于串长度的

通常所说的

但不包含

为的长度则

一些与串操作相

过程的名字中都嵌有

串类型谓词

串在字典顺序上小于

子串抽取

返回中

所组成的串

串追加

返回由给定串拼

串与列表的

返

例

外部过程

返回一个过程对

不到该外部过程则返

外部过程的要求则可

外部过程不应有

是改变系统状态

对于一个节点的

赋值的名字部相同

个节点的性质赋值其

质被称为节点性质

一个类的性质顺

每一个性质值都

为性质的

除了简单的抽象

据类型它们的值是多

在特定情况下性

的唯一对象数据

节点性质

的名字可认为是图中

该性质可能

出该性质值的节点不

丛林中的节点连接成

丛林规划

丛林规划从一个

来定义性质集

对于丛林的任何

性质的丛林规划构造

注完全丛林包含

是无用的但

从丛林规划构造

全名是一个

这样的一个由三

这三个名字由属

指明

指明

指明