home *** CD-ROM | disk | FTP | other *** search
/ HPAVC / HPAVC CD-ROM.iso / pc / SATAN11.ZIP / PERL / INFER_FA.PL < prev    next >
Encoding:
Text File  |  1995-04-11  |  1.7 KB  |  80 lines
  1. #
  2. # Usage: &infer_facts();
  3. # 
  4. # Apply the rules in $infer_fact_files to the global $target..$text variables
  5. # (and to any other globals that happen to be available) and generate new
  6. # facts.
  7. # 
  8. # Standalone usage: perl infer_fact.pl [satan_record_files...]
  9. # 
  10.  
  11. $infer_fact_files = "rules/facts";
  12.  
  13. sub build_infer_facts {
  14.     local($files) = @_;
  15.     local($code, $cond, $fact);
  16.  
  17.     $code = "sub infer_facts {\n";
  18.  
  19.     foreach $file (split(/\s+/, $files)) {
  20.     open(RULES, $file) || die "cannot open $file: $!";
  21.     while (<RULES>) {
  22.         chop;
  23.         while (/\\$/) {
  24.         chop;
  25.         $_ .= <RULES>;
  26.         chop;
  27.         }
  28.         s/#.*$//;
  29.         s/\s+$//;
  30.         next if /^$/;
  31.         s/@/\\@/g;
  32.         ($cond, $fact) = split(/\t+/, $_, 2);
  33.         $code .= "\tif ($cond) {\n\t\t&add_fact(\"$fact\");\n\t}\n";
  34.     }
  35.     close(RULES);
  36.     }
  37.  
  38.     $code .= "}\n";
  39.  
  40.     return $code;
  41. }
  42.  
  43. #
  44. # Some scaffolding for stand-alone operation
  45. #
  46. if ($running_under_satan) {
  47.     eval &build_infer_facts($infer_fact_files);
  48.     die "error in $infer_fact_files: $@" if $@;
  49. } else {
  50.     $running_under_satan = -1;
  51.  
  52.     require 'perl/misc.pl';
  53.  
  54.     eval "sub add_fact { local(\$fact) = \@_; print \"Add-fact: \$fact\n\"; }";
  55.     die "error in $infer_fact_files: $@" if $@;
  56.  
  57.     #
  58.     # Build satan rules and include them into the running code.
  59.     #
  60.     $code = &build_infer_facts($infer_fact_files);
  61.     print "Code generated from $infer_fact_files:\n\n";
  62.     print $code;
  63.     eval $code;
  64.  
  65.     #
  66.     # Apply rules.
  67.     #
  68.     print "\nApplying rules to all SATAN records...\n";
  69.     while (<>) {
  70.     chop;
  71.     if (&satan_split($_)) {
  72.         warn "Ill-formed fact: $_\n";
  73.     } else {
  74.         &infer_facts();
  75.     }
  76.     }
  77. }
  78.  
  79. 1;
  80.