1、中华人民本标准等同采用言本标准的附录 为提示的附录本标准由中华人民共和国信息本标准由中国电子技术标准化本标准起草单位 北京信息工本标准主要起草人李宁卢国际标准化组织 和是 或 的成员国 通过国际和 的各技术委员会在共同织和非官方国际组织也可参与国际在信息技术领域中 和提出的国际标准草案需分发给国家国家成员体投票赞成国际标准 是由该国际标准的附录 仅提供参本标准定义了文件式样的语义定 的动机是将之用于纸张文件间的变换 任何本标准的主要目的是以形式化一种语言 这样 这些规格说明就可式样语言允许用户指明变换语言允许用户指明由一是为一类文件的规格说文件 也可用于一个特定的中华人民共信息技术文件式规格说
2、明范围描述文件印刷式样和版式的机器可处理的 用于表示提供创建新的 特征和样语言部分的声明中声明的本标准旨在包括电子出版和常一致性包括两个独立的语言 即格说明包含了许多过程的规格说明言的过程规格说明是式样规格说明如果一个式样规格说明符合本个变换规格说明符合本标准的所有在式样语言和变换语言中 一用了某个可选设施的过程规格说明一个一致的 系统应当支信息处定义本标准采用了 中区域流对象经格式化产生的 具有组标记关联由查询表达式 变换表达式 优变换过程原子流对象没有端口的流对象辅助丛林对另一个丛林中节点做语法分特征节点性质赋值的一个有序集合 一的一个类原点对一个节点 来说 原点是一点具有唯一的原点原点对
3、子节点关系某节点之原点的子节点性质值端口流对象树中一个流对象上的点为命名端口原始数据类型没有超类型的数据类型 如果原始数据类型是其超类型的原始数性质赋值变换语言所规定的处理 它将树没有双亲的某节点的子树验证丛林使用包括了 性质集中所文件进行语法分析而可能建造出的带一栏的四个命名的子划分之一区域容器内的区域的定位 可通过记法与约定语法产生式在本标准中 形式语法描述方一个表达式序列指明各表达式概览通用置标的一个重要特性是是分离的在任何通用置标方案中 有一的方法允许把信息附加在元素的特标准的框架和方法 把处理信息与是要与按元素层次构造念 使用了 的术语能使格式化和其他处理例如 一个设计人员可能希望所
4、有的顶部或底部 在 变换过属性 反过来 式样语言可使标准化的方面提供了标准化的四个不图中带阴影的区域指出处理模语言每个 过程都由适当的程的各方面一个 文件为本过程的输林 丛林与元素树结构类似 但可丛林和 性质定义的完整叙述变换过程变换过程的输入包括丛林建造变换规格说明由一组关联组成换 这一变换的要点不仅是可将每换结果用作参考点 将对象映射到变换过程的输出是结果丛林可将它们变换为多个 文件产生过程变换过程产生一个丛林 它必入 生成程序即用于这个目程序的完整叙述见变换过程模型的图解见图在 中 输入字符都 规范式是单一字符还是特定字符集中的要定义一个单字符字母表 字母表是 只有这些字符可供使用 每一
5、的表示 词间隔 的性质规格说明 其编码可能中用到的字符属于相同的字母表成 而不用原 文件中的编码字在字符到字符映射的控制下件的某部分包含直译文本的情况下送到格式化程序的输入丛林中字到字模的映射控制 该映射中一映射是不固定的 然而映射要表达连字是由多个字符到单个字模的映另有性质指明所要使用的字体征的流对象组成 有关构造规则的子流对象序列 每一子流对象序列口 或为命名的端口一个流对象类定义一组应用于流对象的类应与该对象所附的端口附于同一流对象之不同端口的流对流对象树的创建过程包括以下将格式化特征与每一流对象代表来自丛林的数据字符的择和式样参数 如字型族 字号等在构造流对象树的过程中 可也可识别那些
6、为灌入同栏或同页而被放置在流对象树中双亲对象的端注 例如 如果一个文件由几个一象双亲的一个端口的内容 类表格用流对象类在线显示用流对象类另外 的应用可能定义自类 或把它们应用于 定义的区域一个流对象的格式化结果是一域 属于行的一部分的行内区域和两种区域都由填充过程进行定述一个显示区域通过被填充成区一方向上是固定的页和栏的几何位置中的页面版式是由在页征指明的页序列流对象经格式化产生页格式化过程用到了 中规格说明一个 规格说明是一个符体系结构形式定义要求文件可通过以下途径表中包含一个 记号 且在其符合 体系结构形支持所有体系结构的属性属性名 体系规格说明的可读性描述是一个完整的规格说明说明为用将
7、声明中描述的一个声明在 记法里的名字定义字符字母表字母表的公用标识符为 性质集声明丛林规划要加入缺省丛林素 声明元素含有对记法做语法分以一个过程规格说明元素序列成 以元素类型形式表达的声明 以程规格说明元素的部件序列是这样过程规格说明元素的部件序列 依由过程规格说明元素的内容构造出一个部件中的声明 以及包含该过明 构成了该过程规格说明元素所素拼接而成一个过程规格说明应被这样处单一部件中不应有冲突的声明 当单一部件的体中不应有冲突的规格优先一个过程规格说明的声明要指位组是怎样被转换成字符的 声明该元素的内容是一个字符名字编码为所跟数字的字符一个过程规格说明应是下列每数字符号 撇 左括号至 数字
8、到 冒号 分母大写 到 反斜线 至明字符名字 换行 和 回车在单一部件中 一个字符名字元素类型形式中的字对于由公用标识符及 拥有位组如何对应到通用编码 因而符 并且 对于来自该字符集的文件元素类型形式来声明 那么 对于基其他字符元素类型形式声实体映射元素类型中给出名字的字符 所引用的同如果丛林规划为 节点类首先为其名字搜索一个映射 如果例分隔符字符元素变换语言和式样语言中的空白里这些声明是累进的记号 空白和注释空白字符为空格 记录开始 记时分隔记号 分隔出的每个记号是可以出现在两个记号之间 但不能义的分号 指明注释的开始 注空白字符是可见的 这就防止了注可以出现在任意和 的其他变种应用实现需是
9、适当尾递归的的递归过程来描述的 于是 有了殊的叠代构造只是语法上的锦上添过程也是对象 过程可以动态这些性质的语言包括过程的参数传递永远是传值的论过程是否需要这些求值结果求值语义或者 的由名字调像 的大多数变种一样 表达式语言的语法产生了一种用于数基本概念变量和作用域不是 语法关键样的变量称为与该值 绑定这些谓词定义类型表达式一个表达式是能返回若干值的表达式类型被分为基本的和派义上虽不是基本类型 但可用基本常用的形式 因而以方便的缩略形基本表达式类型变量引用布尔常量 数字常量 字符常量们不需要用引号引用例过程调用当过程使用一列实参时 形参中于 则是错中当指明了派生表达式类型条件表达式一个 的求值
10、要通个的求值结果为真 当一个 得式的结果返回 如果所选的包含一个 那么来调用这个过程 如果所有的表达式表达式从左到右求值 第表达式都为假 则最后一个表达式例表达式三个绑定构造 和回 是在扩展环境中求值的作用域 从而有可能定义递归过程的最一般的用法中 所有的 为例在 中解释还是作为当事先知道了大多数但并非所在 中没有逗号中有一个逗号 则逗号后的入到此结构中 如果逗号后紧跟符掉 而列表的元素被插到 表达例此形式等同于不在表达式中出现的定义被称顶层定义在顶层环境中对 求值例在任何过程规格说明部件中绑定 而变量 与求和的过程绑定把一个要做的处理未被说明的布尔标准的真假布尔对象写作当作真还是当作假对待
11、短语 真语 假值 或 假 是指条件表达式所有标准值中 只有 在条件字 串和过程都为真注 对其他 变种编程的程序对布尔常量的求值就是其自身例都是数字 在和 都是串 并和 都是字符和 都是空列表和 都是对 并如果 和 其中之一过程 若 和 对某些参数注 换言之 过程的相等未作很好对和列表一个 对 有时称为对是由 过程创建的 域以递归地定义为或为空列表 或者空列表在 之中如果 在 之中 则在一个列表的相继的对中 它如果 是一个对 则返回例对构造过程返回一个 域为 域例(caaaar pair) (caaadr pair) (caadar pair) (caaddr pair) (cadaar pai
12、r) (cadadr pair) (caddar pair) (cadddr pair) (cdaaar pair) (cdaadr pair) (cdadar pair) (cdaddr pair) (cddaar pair) (cddadr pair) 列表追加返回一个表 此表的元素包括例最后一个参数实际上可以是任表例列表倒排返回一个表 其元素是按相反应是的第一个对并返回之 如果例注 尽管 和 一般是简单的 或符号符号是这样的对象它们的可仅当它们的名字有一样的拼写方式为此目的在内部使用它们 符号对用它们 两符号一般可以在不变的关键字关键字类似于符号 主要的不引起来 它们主要用来指明关键字关
13、键字是单个记号因此关键字类型谓词如果 是一个关键字则返关键字到串的转换将 的名字作为串返实数 而这个实数又被认为是一个和 来角 更精确地说是平面角 被认把 声明为与无维数量 相当的精确性有必要区分精确表示的和非精需要使用精确数量的地方使用了非量中明确地区分出来 这种区分正数量可以是精确的或非精确的引申出而来 则该数量是精确的非精确操作引申而来 则该数量是如果一个计算的两个实现产生结果在数学上应是相等的 然而用到了如浮点计算那样的近似算法像 这样的有理操作一但给定数量的操作产生了非精确结果 如是如果用其他方式表示该结果 那如果一个实现碰到一个不能表也可自行以不精确数量来表示这个数字常量的语法例注
14、 对于非精确的量 这些类型谓精确性谓词这些数字谓词提供对数量精确比较谓词当这些过程的参数分别为相等乘返回参数的乘积 结果的维数例减对于两个或多个参数 返回右的维数都应相同 结果的维数应与假定计算中用到的数字都是和 对于为负的参具有被除数的符号 而 的例和自然对数返回 的 次幂 计算错误三角函数和 分别返回其参反三角函数为真 如果没有可能的结果令该表如果 是非精确的 基包含一个十进制点 并且结果要以果的格式是不确定的返回的结注 如果 是用浮点数表足上述表达式 未加说明的返回 的串表示 指大写字符左括号空格符所希望的表示如果在 中的定界字符 比如空格或括号 这个表示一个空格符 也可以认为表示应该是
15、在字符字以 记法写成的字符是可以字符性质每个字符具有一套命名性质它声明 是一个字符性决定了串注 的语法基当进行两个串比较时 每个串个单元的一系列连续字符在 中 排序元素由应与用作 的标识符声明中指定赋予特定层次指定一个串等价于指定该串所大小写转换当 出现在一字符对中的第一个字符的大写或字符类型谓词如果 是一个字符 则返回字符比较谓词反斜线可通过另一个反斜线转写入串 字符名字后面应紧跟一个这里所使用的字符名字与字一个串常量可以从一个记录延串的 是它所包含字符的是小于串长度的精确的非负通常所说的 中的字但不包含 因此 如果为 的长度 则指的是整个一些与串操作相关的过程忽略过程的名字中都嵌有 即串类
16、型谓词如果 是一个串则返回串构造串在字典顺序上小于较长串 这些子串抽取返回 中从 下标所组成的串串追加返回由给定串拼接而成的串串与列表的转换返回组成给定串符所组成的串 在 的前提过程过程类型谓词例外部过程返回一个过程对象 该过程被不到该外部过程则返回 传给该外部过程的要求 则可能出现错误外部过程不应有副作用 具体是改变系统状态日期和时间 128 J list = ( daturn * ) l datun 129 J self -evaluating = 1xDlean 1 130J阳。cedur号call= ( q过ato 131 J operator = expre$io口 132 J op
17、erand = expre$ion 口33Jnditional= ( i f testj 134 J test = expr部ion135JnsequeM=。omion 136 J altemate =哑巴强ion 137 J derived-expession =时138Jnd-expression = (cond 139Jnd-clause = ( test expr巴 140 J case-exptession = ( c a s e 141J key= expre$ion (mi n ql q2.) (+ ql.) (头ql. . ) (- ql q2) (- q) (/ ql q2)
18、 (/ q) (abs q) (quotient nl口2)(r臼lai nde r nl n2) (modulo nl n2) (floor x) (ceiling x) (truncate x) 对于一个节点的每一个性质赋赋值的名字部分相同 称之为性质个节点的性质赋值其性质为 值质被称为节点性质一个类的性质顺序决定了该类每一个性质值都有一个数据类为性质的 已声明除了简单的抽象数据类型如布据类型 它们的值是多个节点或节在特定情况下 性质定义也允的唯一对象 空数据类型永远不能节点性质类的性质也可能是 子节点展现一个子节点性质的值时这样来看 丛林中节点的子节点性的名字可认为是图中弧线的标记该性质
19、可能是一个出该性质值的节点不在同一个丛林丛林中的节点连接成一个图 这样丛林规划丛林规划从一个性质集中选定来定义性质集对于丛林的任何源 性质集决性质的丛林规划构造而成注 完全丛林包含了语法分析程是无用的 但丛林规划为应从丛林规划构造出的丛林等同为了标记节点的子丛林规划之中 就标记那些类在丛林规标记丛林根的子丛林来决定的 只或全名是一个适用于文件的这样的一个由三部分组成的名这三个名字由属性指明如下指明性质的 名指明性质的应用名指明性质的全名规格说明文件出现在性质集中的各个元素通用属性指定规格说明文件通用设施的 和指明规格说明文理及相关通信 的一致性测模块一个单一节点个或多个节点的有序的列表这是一个
20、节点列表 其中的每个节点在节现的每个节点类标识该类的一个性质 该命名节点列表也为其中出现的每个节点做比较之前 该规则作用于该串指明性质所属的类类 否则应该指定属性 以指明意思是它属于丛林根上的节点指明数据类型指明在性质值中允许类在数据类型为性质名在命名节点列表中用作该类指明一个适于该具有一个串超类时使用 缺省为不注 当使用基准具体语法时指明性质是否为时候使用 常省略该属性的属性名为了定义变换缺省为其他类别 一个性子女性质名该类具有一个子女性质该类具有一个数据性质该类具有一个数据分隔符性质格式的节点在其树中的位置格式的节点在其树中的位置辅助丛林有些时候 以应用相关的方式经过语法分析的 文件或子文
21、件声明提供的应用信息指定了一字面值作为适用于该文件 子文当且仅当该属性是一个没有属性说明的值的记号间的分隔符 在该具体语法中该节点有多个 类的子女支配着语法分析的文件类型 当存在多语法分析再进一步创建一个单独的在前导说明中按声明顺序声明的文件类该实体为一内部实体该外部标识符包含了一个显式的公用标该外部标识符包含了一个显式的系统标由系统从外部标识符和其他系统可得的该外部标识符不是缺省实体的外部标识声明的属性值为 或声明的属性值为声明的值为 或基 类和性质处理指令通过一个命名实体引用或便捷引用引用该处理指令不是因引用一个 实体而产该处理指令不是因引用一个 实体而产属性该数据字符为一个命名字符引用的
22、替代该数据字符为一个数字字符引用的替代特殊字符数据仅在一个命名实体引用的一个名字组中被忽略的置标 或者忽略一个开始标记其中没有一个为活动文件类型名的名字文件类型或链接类型名的名字组 或者忽个在开始标记的属性值字面值中的通用该实体已被声明一个实体的替换正文的开始该字符是一命名字符引用的替代者一个通用定界符任何大写替换前作为原始键入的定界符一个参数字面值 属性值字面值 最小字一个属性值的规格说明 它是一个属性值不要将它与 类混淆任何大写替换前的值一个置标中的名字记号它仅用于在声明值中名字记号组里的名对于 应为 对于 应为和 声明相关的抽象类和性作为适用于本文件或子文件的 声由具体语法指明的语法字面
23、值 保留名的而来 这些术语以它们 抽象语法 角色要在文件中使用的串具体语法产生的 一个保留名与一个抽象语法字面值 更确切地说 当括在在双当 为 时为真当 为 时为真当 为 时为真当 为 时为显式出现 声明显式指明 声明隐含 声明从本文件为其子文件的 文件而来联 但在某些情况下 系统对每个名字可用来命名元素的通用标识符或层词干包含未显式声明的实体 如同本条叙述中的内容模型为一个模型组的内容模型元素类型声明包含具有一个模型组的内为 或元素记号具有一出现指示符声明的值为一个名字记号组指明允许的记号的串列表声明的值为一个名称记号组或一个记法缺省值是一个不带有 的属性值该缺省实体声明声明一个内部实体此记
24、法有一相关的文件类型声明包含外部标识符该属性定义列表适用的元素类型 按它们声明了的记法和文件实例相关的 类和性质当且仅当该元素为一个包含了的子元素当且仅当该字符是一个 它被认为应一个 类型的节点应指出它实际出该 字符实际出现的位置该字符为一个 它被认为应在其他位对 类型的每个节点 应有一个对其而言这是 的字符和数据标记相关的抽象类和性质当且仅当一个数据标记被用作该元素的在分层组中的层词干该元素类型声明已包含了一个分层组层词干的名字对其而言这是层词干的元素类型映射不是隐式声明了的 映射作为原始键入的便捷引用定界符该定界符的第一个字符由一个命名称符属性赋值列表 每个属性赋值对应于该元链接属性的源应
25、为该链接规则存在着适用的链接规则 它是一个显式链存在一个适用的链接规则 它是一个显式当且仅当链接类型是活动的时候为真不包括 或 链接链接集不是 或当该链接规则包含一个 的该链接集规格说明未指明跟着 的 为该链接集规格说明该链接规则包含一个 参数对于 定界符 第一个子女为当链接集规格说明指明了 时该链接集规格说明未指明实体引用的置标和 只能出现在和形式公用标识符相关的抽象类当且仅当指明了限用正文指示符时为真该文本标识符包含了一个公用文本语言词法类型数据类型定界了的字面值如同在声明了的具体语属性说明列表通用实体名一个元素 在文件中指明的 的元素类型名 如果 为真返回一个单节点列表 它的语返回一个单
26、节点列表 它的语节点列表如果 是一个节点列表则如果 是一个空节点列表则如果 存在第一个成员 就返如果 至少有一个成员 就返列表返回由 的成员续返回 所代表的节点对性有 则返回之 否则产生回之 否则返回 若没有应该是一个符号或指明性质的 名 是根据性质值的抽象数据类型一个抽象字符由字符类型一个抽象串由串类型的对一个抽象布尔值由布尔类一个抽象整数由整数类型一个抽象整数列表由一个一个抽象串列表由一个串一个枚举量由一个名字等一个组件名由一个符号来供了为真的 参数值 此时要应是一个符号或串 它展现 的值 或展现了一对应于该成员的对象 否则产生错代码 形式指定一个值为返回一个节点列表 它由符号或串 它的含
27、义与过程点类型 如果 的某个成员没有为真 则结果列表中便没有对效果等同于在 中 为代该函数以 中定义第二个参数的类型 它返回一个节的含义和是一个串 指定如果为真 它的效是一个串列表 指是一个整数 指定最是一个整数 指定最构造一个新的丛的名字 是源文本源节点都在下一个参数节点的任一如果任一参数节点的第一个源节点每个节点都应在一个辅助丛林源节点和最后一个源节点之间某个所允许的值之一列表操作这些过程与处理正规列表的过返回一个空节点列表如果 没有成员则返回包含 除第一个成员以和把 用于 以及返回一个包含所有参数并集的参数 应返回空节点列表 它可以其中 定义如下返回一个包含所有参数对称差一中出现的那些节
28、点 结果中不应否则返回 对 的某个成员具体实现可以报告错误但这并非对 的各个成员 将 作否则返回 对 的某个成员可允许具体实现报告错误 可定义返回 的长度 可定义如下返回由 的成员以逆序组成返回含有 中以下成员的节中选择序号 从 开始 大于或返回 中的不同成员的个数返回一个包含 最后一个成表达式等价于读作 中每个满足通用性质操作这些过程用于任一丛林 但只下面许多过程的结果是一个节节点列表的每个成员 并将所得的返回一个节点到 的函数映值 或为 展现出一个空方式来指定 如果误的 定义如下回一个空节点列表 可定义如下返回一个由 的每个成员的如果该节点有一个数据性返回节点到 的函数映射 函的子树拼接而
29、得的结果 可定义如返回节点到 的函数映射该节点有源节点 则为该节点之源返回节点到 的函数映射 函依照树的顺序 如果 严则是错误的 可定义如下返回节点到 的函数映射 函义如下核心查询语言本条定义了 的一个子集使一个节点列表不会包含一个以上在下面的过程中 可以省略节点列表 意指该参数应是一个包含导航返回一个节点列表 它是与祖先或者 为空 则返回空节返回 所含节点的 性空 则返回返回 的 类为之后的元素注 实际上 每个参数的计数器在注 一个元素被认为在其双亲之注 该过程可用于在某章中对脚容器元素的文件中对头标标存取属性值在下面的过程中 通过把返回 的一个名字等于隐含的或者 为空则返回返回一个名字等于
30、 的属性的 之最近祖先的属性点也是它自己的祖先识符性质值 如果没有这样的实体统标识符性质值为空 则返回返回 同一丛林里的控制统标识符性质值 如果没有这样的的生成系统标识符性质值为空 则返回 同一丛林里的控制的实体 或者实体的正文性质值为返回 同一丛林里的控制样的实体 或者该实体的记法名性返回 同一丛林里的控制表示 如果没有这样的实体 或者性质操作这些过程用到了性质集为等价于返回到 的函数映射 函数返按照 过程的按照 过程的素 缺省为 返在根为 每一成员的子丛林回的节点列表在根为 每一成员的子丛林缺省为 返回的节点辅助语法分析单词查找跟在出现在 中置于出现在 中如果 是一个 则返正则表达式构造器
31、本条中的过程构造 对象如果一个节点列表只包含一返回对于任何查找列表而言如果一个节点列表可以被分成匹配 而且对于 紧接在 之列表匹配的如果对于查找列表 而言 对丛林的根返回使用 性质集建造的匹配的 的每个子列表注 源性质为一个辅助丛林里每个除了各子列表不相交以外 它一个成员先于其他子列表的所有成一个适当的子列表 则取所包含的变换语言点列表中的任何节点一个 对相对应的结果丛林中的一个或多个一个可选一个 应求值为是当前丛林中的节点或是源丛林中一个 应求值为则该关联的优先级为一个关联潜在可作用的每个节点在当前丛林中时 成分集合只含点的源性质值中出现的在当前丛林可作用的 除非有些更高优先级的集合里的节点
32、变换表达式的 非固有的性质 在 参数中任何值参数是一个符号列表 指参数而具有的任何非空性质参数是一个非固有性节点则不应有这些性质 它缺省为参数是一个列表 指明处的成员亦为列表 成员列表的第一值中的节点的 该参参数是一个子女性质值中的节点 该参数缺省注 由 返回的子丛林数更为方便参数指明所要创建的箭建的子丛林根上的节点 该参数可并用相同的创建过程创建 并且 如如果 不为 那么该缺省为当 为 时 以相同的方式决定的 一个节点的过过程 或为直接依赖同胞加上直接依赖同胞为那些使用相同创建过程以及相同林 那么 那些将成为所插入的子丛任意节点应被视为创建同胞 首先这样的方式插入 它先于所有那些胞的依赖同胞
33、 这样 在它与它的一在任何节点当处于子丛林根上的节点是一置由该原点节点的顺序谓词决定这些过程的表现同节点列表上返回一个结果节点列表 它包果节点列表的 返回一个包含选择一个有后代元素 为返回一个结果节点列表 它包的有这样属性的那些节点 该属性任何结果丛林满足下列的要求结果丛林中的节点不对已结果丛林中的节点永远不验证映射 将结果丛林中的每结果 表示 对性质 展现的林存在节点 为满足下列要求如果 是结果丛林的根对结果丛林中每个不同的对结果丛林中的每个对结果丛林中的每个性质 应对 展现一个空值 除对结果丛林中的每个节点应对 展现一个值 除非 在派生验证丛林中的节点应是承对于结果丛林中每个具有相同出结果
34、丛林中字符序列表示的字符字面变换入口式样语言本章描述 的式样语言法 该记法中一个元素的内容是按本标准中描述的式样语言使用达式语言及 中所述的核心查特性允许特性特性特特性允许使用特性允许使用特性特性允许使用的声明元素类型形式流对象树一个流对象树是格式化规格说每个流对象的类型称为个流对象也具有一套特征 可用于希望的流对象格式化行为的规格说充 第一个显示区域的定位是将其始边沿置于前一个区域的结束边沿束边沿注 也可能不使用旋转而将具有在显示区域的起始边沿和结束示区域还有一个垂直于放置方向的字距压缩的使用会修改定位行内行进方向.L 、.-第二个x的位置点第二个x的逃逸点/ 包下一个行内区域行F(数学公式
35、)的位置点, 4二.二鸟.硅当段落使用多种书写模式时处左至右 对于希伯来文行内行进方图由字型资源的对准模式性质指存在特征可以修正这个过程边行改变标记边行的对齐点由位置点逃逸点只有在当前处理模式为与一个节点匹配的相对专一性一个在中的 都专一在根据优先规则具有相同中的 比任何在后续在根据优先规则具有相同一个中的最后一个 匹配类推一个一个 与一个 与原始流对象下列情况下一个流对象与源丛且流对象出现在流对象树中 换言象被认为与规则相作用的 源丛林和与一个节点关联的其他流对密的关系端口 再不然 该流对象应添加到后一个 应被当作中同一个关键要被忽略 中为特征名字的关键字 如继承特征 如果该特征不是继承关键
36、字 其中中所述 防止该值被覆盖为引用值类型的名字的关如 中所述出不使用式样为个对象为一个指明标记的符号 第在一个内容映射中 所有标记都不返回 它是以树序处理与应是一个允许作为样进行解释返回 它是处理与当前节如果这样的一个元素存在性返回 它是对这样一个的 这需要 特性对于 中的每个节应为一个没有参结果拼接而成的 这需要如果 为式样类型则返回返回通过合并 而构为包含该特征的表达式的第一个参特征规格说明本标准中明确指明是非继承的标准有一个表达式指明该特征的初当对一个 求样为空 过程 能在可能再调用 来为流对象指明一个继承特征确定的如果指明了关键字如果当前覆盖式样包含了象因作为某个流对象的特征值出现前
37、规格说明流对象因用于用 或或栏集序列应为此被当作流返回指明 的初值的并且 它如果因任何继承特征 而在下面的情形下 过程规格说明流对象的流双亲值流对象为该表格或表格内 并且该表格或表格部件包含一在这种情况下变值流对象而规格说明流对象与表对于每个继承特征同步流对象的流对个流对象的流可以直接包含至多一创建一个同步集合 其成员为带有附加同步信息的任何剩余的流对带有附加同步信息的任何剩余的流对参数 是一个符号 指明为整数 进一步指明限定种的允许取值为指明以下内容的分从由 得到的第一个同步由第二个同步的流对象创建指明的对象 不能直接得到一个生如果 是生成对象的类型构造间接返回一个 包含一个单一用到 的一个
38、返回一个 包含一个单一的内核应为一个注 一般是由返回一个 包含一个单一一个先转换到一个串再转换到一个为一个串 如同在这些页包含从与 对应注 本过程可用于表格的头标或返回一个生成对象其内核为返回一个生成对象其内核为栏数返回一个生成对象其内核为定类型 或脚注区域是如下区域序列中的第一注带中的流对象产生返回一个生成对象其内核为类型 或个流对象具有多个流时要分别搜序中较先的流对象 如果没有搜索除了搜索顺序颠倒以外相同的行为在关联区域列表中的所有区域之前值 如果没有找到流对象 则返回注 本过程可能用于个区域 或包含于其中的所有合格每个这样的流对象的相对引用值的的值长度规格说明一个 类型的对和的区域的宽度
39、和长度 它们可能用的规格说明之中空白显示空白显示空白类型的对象用于描述如果 为一个显示空白类返回一个显示空白类型的对象指明空白的最小和最大尺寸 它们缺省为 较大的整数指明较高的一个高 则应使用有较高优先级的者的优先级相同 但一个显示空白如果 为 类返回一个 类型中 每对中第一个成员的何 的替代者为其本身 如代者为第一个成员为 的第返回在 中替代字型信息本条中的设施需要返回一个字型资源中的性质值及 以与参数 为一个长度指明字型的的列表其他类型的值应导致出错地址一个地址对象应该用作一个超如果 为一个地址类型的如果 对于当前文件如果 已被访问 则返返回一个地址类型的对象 当址标识当前节点的链尾分成一
40、个或多个以空这些颜色空间族每一个的语义一被指定为第一个参数时的 当 颜色空间对象对象有一个单一的字典类型的参数每个关键字的名字是由字典键的名小写字母的大写字母之前 然后将典值的类型决定如果 类型为定向到一个栏集序列流对象上的一和 两个带中征值是非继承的 缺省值为为一个显插入的空白 该特征值是非继承的为一个显入的空白 该特征值是非继承的为值是非继承的 缺省值为为布尔非继承的 缺省值为或为指明流对象应开始一个该类型的区或为 或一个简单页序列流对象具有以为一个长度为一个长为一个长为一个长为一个长度值为注 头标在顶边距内为一个初值为注 脚标在底边距内为一个为一个为一个无征值是非继承的 缺省值为一个空导
41、页序列的 特页序列的最后一页的类型不与该特先导流对象而且该值不为 当第时 则为出错 初值为可为它也可以为符号 指出第一双亲为根流对象时 才允许取值为列类型 并且如果此先导页序列的背 如果没有先导流对象 则第一页应成为指定的类型 除非注 这个信息使得有可能决定哪特征才需要这最后一用在最后一页时 该值为 初值币二川习切叫，FUUUU伽吨UJhmr斗叮叮卜，ep叫JLU苟12、t、JNEJJV、衍、udAh凸矿产于叭叭、儿72.灼吧，如JvjNJU卢，公J?气可一页区1(区域容器1)区域B的起始边沿应求值为一个长度应求值为一个装饰区应求值为下列符号之容器的填充方向如果在页区上没有指明填充方是错误的应
42、求值为下列符号之子区域的对齐方式 缺省为栏集序列流对象类格式化一栏集序列流对象以产创建并填充一个区域容器而产生的充页区 然而 栏集区域也可被用来或为指明流对象应开始一个该类型的区或为 或明流对象应结束一个该类型的区域为下列值之一意指由流对象产符号 指序列类的流对象祖先符号 指集序列类的流对象祖符号 指出由个栏是同一个指明该特征应被该特征值是非继承的 缺2a 2a 同步集合后一栏的另一边的距离注 这对于以下的通用原则是一的方向上区域的大小应等于每个要放在栏集区域容器内的限定 允许的带为样放置在填充方向上该区域应先见图如果使用 过程将区域应放在栓系栏子集的第一个栏在另一个栏子集中它的对它不被该跨越
43、区域涵盖将如果 为栏集模型类型则应求值为一个布尔值许的最大尺寸应求值为一个在 和比大于该值则不应校正该栏 缺应求值为一个在 和由空白的数目占该栏总大小的百分应求值为一个正的长缺省为应求值为下列符号之指明当栏向前方行指明当栏向后方或为 含义为在栏的相对长应求值为一个布尔值特征在表格中会很有用在所有情况下 用且有一行被截断时 它决定要行不是在一个 特征值为为一特征为真的流对象后的行 当缩进量 初值为或为略 和该值是一个字符对象 则该对齐点于该字符对象的字符流对象中第一置 如果前的字符流对象特征决定字符到字字号定的字模相同的字模结尾的连续行前的最少字符数 这是在连字符结的最少字符数 这是在连字符结尾
44、或为意思是一个意思是一个以意思是一个初值为连字符可能出现在哪里 如果一个源的字势性质 初值为或或为和 初值为或为 时 或当征值或为 指出性质的公用标识符 当该值为串时初值为或导致最后一行被校正而不是按最大空白 初值为掉的最大空白 初值为为一个符进行格式化 初值为为一个正为 那么该段落是一个正为 那么 该段落或为 或为影响行的合成 初值为或为 或为一式影响行的合成 初值为明流对象将结束一个该类型的区域为下列值之一表示该流对象产符号 指出流对流对象祖先符号 指集序列类的祖先符号 指出流一栏应相同指出应忽略该特本特征是非继承的 缺省值为特征对该流对象和先前流对特征对该流对象和下一个流对象的写模式决定
45、的方向应垂直于放置方止分行 它仅用于那些为使行能适间断优先级 是以下三紧跟在该潜在断点后的流对象的的字符之后的任何字符的间断优先特征是非继承的 缺省值为特征的规格说明中所述紧接在一个段落中使用的行域边线流对象类使用这个流对象类需要一个边线流对象用来容纳带有边线流对象有一个单一的主端口可方向的零尺寸区域 除非特征面流对象产生的第一个区域应放在锚流对象有下列特征一个区域放在一起 而不是同后一为一个布尔值缺省值为为一个严格正整数对象被定向到一个栏集序列流对象部 浮动底部或主体正文带之中 初为一个布尔该特征用于如下情形 一被灌入到一个可跨越的栏子集的浮特征值 初值为写模式决定的方向应垂直于放置方于字模
46、阵列或为字型族名字性质 初值为注 定义了一个交换成或为 指给出所希望的字型资源的字重性质或为源的字势性质 初值为征的值指性质 它或为 或为下列符为一个布尔值 指特征值指字符性质值来自域之前要加入的空白 初值为区域之后要加入的空白 初值为为一个布或 特征为征是非继承的 缺省值为 特为一个布尔性质不为 的段落征 缺省值为 特征的和定附加空白的字符流对象 当校正继承的 缺省值为 特征的为一个串 指明任何单一书写体关联 本特征是非值为注 在行行进方向上将位置点偏果或为 或为影响行的合成 初值为或为 或为一式影响行的合成 初值为为一个颜色类型的间中的缺省颜色GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / GB/T 17970-2000/ / r、T飞1，.
