Logiweb(TM)

7.1.8.6 Qualification of the page directive

Prev Up Next Page 156 of 800 Search internet


As a last example, consider the three lgs source texts again with some changes of page.lgs. The first lgs source text is as before:

   ""P ref1
   ""R base
   ""D 0
   a
   b
   ""D 6
   " + "
   " - "
   ""B
   "We just include name definitions "[ ""N ]"
   and charge definitions "[ ""C ]" in the body"

The second lgs source text is as before:

   ""P ref2
   ""R base
   ""D 0
   x
   y
   ""D 4
   " * "
   ""D 6
   " + "
   ""B
   "We just include name definitions "[ ""N ]"
   and charge definitions "[ ""C ]" in the body"

The third lgs source text is page.lgs:

   ""P"r0_"page
   ""R"r1_"ref1
   ""R"r2_"ref2
   ""D 0
   u
   ""D 6
   " + "
   ""B
   a r0_+ b r1_+ u r2_+ x

Qualification of ""P directives works exactly like qualification of ""R directives. Thus, one can refer to u of the page being defined as u or r0_u and to the plus operator of the page being defined as r0_+. Use of + without qualification gives an error about Use of ambiguous construct.

Prev Up Next Page 156 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05