version 1.22, 1997/08/30 09:19:20
|
version 1.23, 1997/09/10 10:54:07
|
Line 9 LINELENGTH 78;
|
Line 9 LINELENGTH 78;
|
|
|
COUNTERS |
COUNTERS |
ItemCounter : Rank of List_Item; |
ItemCounter : Rank of List_Item; |
|
H2Counter; |
|
H3Counter; |
|
H4Counter; |
|
H5Counter; |
|
H6Counter; |
AnchorCounter; |
AnchorCounter; |
|
|
CONST |
CONST |
Line 76 RULES
|
Line 81 RULES
|
|
|
|
|
BODY: BEGIN |
BODY: BEGIN |
|
Set H2Counter 0; |
|
Set H3Counter 0; |
|
Set H4Counter 0; |
|
Set H5Counter 0; |
|
Set H6Counter 0; |
Set AnchorCounter 0; |
Set AnchorCounter 0; |
Indent +4; |
Indent +4; |
Indent -4 After; |
Indent -4 After; |
Line 89 RULES
|
Line 99 RULES
|
END; |
END; |
|
|
H1: BEGIN |
H1: BEGIN |
|
Set H2Counter 0; |
|
Set H3Counter 0; |
|
Set H4Counter 0; |
|
Set H5Counter 0; |
|
Set H6Counter 0; |
Indent -4; |
Indent -4; |
Indent +4 After; |
Indent +4 After; |
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|
H2: BEGIN |
H2: BEGIN |
|
Add H2Counter 1; |
|
Set H3Counter 0; |
|
Set H4Counter 0; |
|
Set H5Counter 0; |
|
Set H6Counter 0; |
Indent -2; |
Indent -2; |
Indent +2 After; |
Indent +2 After; |
|
if SectionNumbering |
|
Create (Value(H2Counter, Arabic) ' '); |
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|
H3: BEGIN |
H3: BEGIN |
|
Add H3Counter 1; |
|
Set H4Counter 0; |
|
Set H5Counter 0; |
|
Set H6Counter 0; |
|
if SectionNumbering |
|
Create (Value(H2Counter, Arabic) '.' |
|
Value(H3Counter, Arabic) ' '); |
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|
H4: BEGIN |
H4: BEGIN |
|
Add H4Counter 1; |
|
Set H5Counter 0; |
|
Set H6Counter 0; |
Indent +2; |
Indent +2; |
Indent -2 After; |
Indent -2 After; |
|
if SectionNumbering |
|
Create (Value(H2Counter, Arabic) '.' |
|
Value(H3Counter, Arabic) '.' |
|
Value(H4Counter, Arabic) ' '); |
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|
H5: BEGIN |
H5: BEGIN |
|
Add H5Counter 1; |
|
Set H6Counter 0; |
Indent +4; |
Indent +4; |
Indent -4 After; |
Indent -4 After; |
|
if SectionNumbering |
|
Create (Value(H2Counter, Arabic) '.' |
|
Value(H3Counter, Arabic) '.' |
|
Value(H4Counter, Arabic) '.' |
|
Value(H5Counter, Arabic) ' '); |
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|
H6: BEGIN |
H6: BEGIN |
|
Add H6Counter 1; |
Indent +6; |
Indent +6; |
Indent -6 After; |
Indent -6 After; |
|
if SectionNumbering |
|
Create (Value(H2Counter, Arabic) '.' |
|
Value(H3Counter, Arabic) '.' |
|
Value(H4Counter, Arabic) '.' |
|
Value(H5Counter, Arabic) '.' |
|
Value(H6Counter, Arabic) ' '); |
|
|
Create '\12\12' After; |
Create '\12\12' After; |
END; |
END; |
|
|