version 1.24, 1999/07/06 17:21:30
|
version 1.25, 1999/08/23 15:33:03
|
Line 14
|
Line 14
|
|
|
<h4>Translated from French by Ethan Munson</h4> |
<h4>Translated from French by Ethan Munson</h4> |
|
|
<h4>Version of July 6, 1999</h4> |
<h4>Version of August 23, 1999</h4> |
<p> |
<p> |
© 1996 INRIA</p> |
© 1996 INRIA</p> |
<hr> |
<hr> |
Line 5694 is the typographer's point. Centimeters
|
Line 5694 is the typographer's point. Centimeters
|
<p> |
<p> |
If the size is inherited, the rule must specify the relative from which to |
If the size is inherited, the rule must specify the relative from which to |
inherit and any percentage or difference from that relative's value. |
inherit and any percentage or difference from that relative's value. |
A percentage is indicated by a </tt>*</tt> followed by the value of the |
A percentage is indicated by a <tt>*</tt> followed by the value of the |
percentage and a <tt>%</tt>. |
percentage and a <tt>%</tt>. |
A difference can be expressed in either typographer's points or in abstract |
A difference can be expressed in either typographer's points or in abstract |
units and the maximum or minimum size can be specified, but without |
units and the maximum or minimum size can be specified, but without |
Line 7554 based on very similar models.</p>
|
Line 7554 based on very similar models.</p>
|
'RemoveFile' VarID [ Position ] ';' / |
'RemoveFile' VarID [ Position ] ';' / |
'Set' CounterID InitValue [ Position ] ';' / |
'Set' CounterID InitValue [ Position ] ';' / |
'Add' CounterID Increment [ Position ] ';' / |
'Add' CounterID Increment [ Position ] ';' / |
'Indent' [ 'IN' VarID ] [ IndentSign ] |
'Indent' [ 'IN' VarID ] Indent [ Position ] ';' .</pre> |
IndentValue [ Position ] ';' .</pre> |
|
</div> |
</div> |
|
|
<div class="subsection"> |
<div class="subsection"> |
Line 8160 the output files.</p>
|
Line 8159 the output files.</p>
|
<p> |
<p> |
Each time the translator creates a new line in an output file, it generates a |
Each time the translator creates a new line in an output file, it generates a |
variable number of space characters at the beginning of the new line. By |
variable number of space characters at the beginning of the new line. By |
default, the number of these characters (the indentation) is 0. It can be |
default, the number of these characters (the indentation value) is 0. It can |
changed with the <tt>Indent</tt> rule.</p> |
be changed with the <tt>Indent</tt> rule.</p> |
<p> |
<p> |
The rule begins with the <tt>Indent</tt> keyword, followed by the indentation |
In its simple form, the rule begins with the <tt>Indent</tt> keyword, |
sign (optional) and value and a keyword <tt>Before</tt> or <tt>After</tt> |
followed by the indentation sign (optional) and value and a keyword |
indicating that the indentation should be changed <a href="#sectc5222">before |
<tt>Before</tt> or <tt>After</tt> indicating that the indentation should |
or after</a> the element's content is generated. If the position is not |
be changed <a href="#sectc5222">before or after</a> the element's content |
indicated, the indentation is changed before the element's content is |
is generated. If the position is not indicated, the indentation is changed |
generated. This rule, like all translation rules, is terminated by a |
before the element's content is generated. This rule, like all translation |
semicolon.</p> |
rules, is terminated by a semicolon.</p> |
<p> |
<p> |
The indentation value is indicated by an integer, which is the number of space |
The indentation value is indicated by an integer, which is the number of space |
characters to be generated at the beginning of each new line. A sign |
characters to be generated at the beginning of each new line. A sign |
Line 8177 characters to be generated at the beginn
|
Line 8176 characters to be generated at the beginn
|
value is relative: the current value of indentation is incremented (if sign is |
value is relative: the current value of indentation is incremented (if sign is |
<tt>+</tt>) or decremented (if sign is <tt>-</tt>) by the specified value.</p> |
<tt>+</tt>) or decremented (if sign is <tt>-</tt>) by the specified value.</p> |
<p> |
<p> |
|
Keyword <tt>Suspend</tt> or <tt>Resume</tt> can appear instead of the |
|
(possibly signed) identation value. <tt>Suspend</tt> means that the new |
|
indentation value to be used is zero until another <tt>Indent</tt> rule |
|
is executed and changes the indentation value. <tt>Resume</tt> means that |
|
the indentation value that was used before the last <tt>Indent Suspend</tt> |
|
was executed becomes the new value. Only one <tt>Suspend</tt> can be used |
|
before a <tt>Resume</tt>; <tt>Supend</tt>-<tt>Resume</tt> pairs can not be |
|
nested. |
|
<p> |
Like the <a href="#sectc5210"><tt>Create</tt> rule</a>, the <tt>Indent</tt> |
Like the <a href="#sectc5210"><tt>Create</tt> rule</a>, the <tt>Indent</tt> |
keyword can be followed by the <tt>IN</tt> keyword and by the name of a <a |
keyword can be followed by the <tt>IN</tt> keyword and by the name of a <a |
href="#sectc526">variable</a>. This means that the rule must not change |
href="#sectc526">variable</a>. This means that the rule must not change |
indentation in the main output file, but in the file whose name is specified |
indentation in the main output file, but in the file whose name is specified |
by the variable (by default, indentation is changed in the main output |
by the variable (by default, indentation is changed in the main output |
file).</p> |
file).</p> |
<pre> 'Indent' [ 'IN' VarID ] [ IndentSign ] |
<pre> 'Indent' [ 'IN' VarID ] Indent [ Position ] ';' . |
IndentValue [ Position ] ';' . |
|
|
|
|
Indent = 'Suspend' / 'Resume' / [ IndentSign ] IndentValue . |
IndentSign = '+' / '-' . |
IndentSign = '+' / '-' . |
IndentValue = NUMBER .</pre> |
IndentValue = NUMBER .</pre> |
</div> |
</div> |
Line 9105 SimpleRule = 'Create' [ 'IN' VarID ]
|
Line 9113 SimpleRule = 'Create' [ 'IN' VarID ]
|
'RemoveFile' VarID [ Position ] ';' / |
'RemoveFile' VarID [ Position ] ';' / |
'Set' CounterID InitValue [ Position ] ';' / |
'Set' CounterID InitValue [ Position ] ';' / |
'Add' CounterID Increment [ Position ] ';' / |
'Add' CounterID Increment [ Position ] ';' / |
'Indent' [ 'IN' VarID ] [ IndentSign ] |
'Indent' [ 'IN' VarID ] Indent [ Position ] ';' . |
IndentValue [ Position ] ';' . |
|
|
|
|
Indent = 'Suspend' / 'Resume' / [ IndentSign ] IndentValue . |
IndentSign = '+' / '-' . |
IndentSign = '+' / '-' . |
IndentValue = NUMBER . |
IndentValue = NUMBER . |
|
|