Logiweb(TM)

7.1.8.3 Qualification of references

Prev Up Next Page 153 of 800 Search internet


Now 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 page
   ""Rr1_"ref1
   ""Rr2_"ref2
   ""B
   r1_a r2_* r2_x r1_+ r1_b r2_* r2_y

Above, all constructs from ref1 and ref2 are qualified by r1_ and r2_, respectively. In that way, the ambiguity disappears since the r1_+ operator can only come from ref1.

Qualification is done as follows:

Leading and trailing spaces of a qualifier are included. After inclusion, multiple spaces are collapsed into single space characters and leading spaces are removed.

Prev Up Next Page 153 of 800 Search logiweb.eu

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