Changeset 12 for trunk/spec/verify_terms.pl

Timestamp:

05/22/08 14:14:40 (7 months ago)

Author:

oren

Message:

Fix bug in naming of production link;
Enhance verifiers to catch this sort of problem.

Files:

• trunk/spec/verify_terms.pl (modified) (3 diffs)

trunk/spec/verify_terms.pl

@@ -21 +21 @@
 }
 
+my $in_non_term = 0;
+
 sub StartTag {
   my $tag = $_;
   my $attr = \%_;
+
+  if ($tag =~ /<nonterminal def="#(.[^("]*)/) {
+    $in_non_term = $1;
+    $in_non_term =~ s/\+/\\+/g;
+    $in_non_term = 0 if $in_non_term eq 'c-reserved';
+  }
 
   if ($tag =~ /^<sect|^<chapter|^<book>/) {
@@ -62 +70 @@
 
 sub Text {
+  my $text = $_;
+  warn("PRD-REF $text => $in_non_term") if $in_non_term and $text !~ /^.$|^${in_non_term}/;
   if ($keep_next_text) {
-    my $text = $_;
     $text =~ s/(?:\s|\n)+/ /g;
     push(@parts_stack, $text);
@@ -73 +82 @@
   my $tag = $_;
   my $attr = \%_;
+  $in_non_term = 0 if ($tag =~ /nonterminal/);
+
   pop(@parts_stack) if ($tag =~ /sect|chapter|book/);
 }