home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD2.mdf / c / library / dos / diverses / leda / man / awk < prev    next >
Encoding:
Text File  |  1991-11-15  |  5.8 KB  |  264 lines
  1. #
  2.  
  3. function underline(s)
  4. {
  5.  gsub(/./,"_&",s); 
  6.  return s;
  7. }
  8.  
  9.  
  10. function header(s)
  11. {
  12.   print "\n";
  13.   print underline(sprintf("%d. %s", ++count,s)) "\n";
  14. }
  15.  
  16.  
  17. BEGIN { operation =  ARGV[2]; 
  18.         type = ARGV[1];
  19.         gsub(/\/.*\//, "",type);
  20.         gsub(/\.tex/, "",type);
  21.         ARGV[2] = ""; 
  22.         gsub(/_/, "\\_", operation); print " "; 
  23.         op_header = 0;
  24.        }
  25.  
  26.  
  27. /\{\\magonebf/ { 
  28. if (operation == "" || "definition" == operation)
  29. { gsub(/\{\\magonebf /, "");
  30.   gsub(/\}/, "");
  31.   gsub(/\\/, "");
  32.   print underline($0);
  33.   print " ";
  34.    if (operation == "") header("DEFINITION");
  35.     getline;
  36.     while ($1 == "") getline;
  37.     while ($1 !~ "skip" && $1 != "")
  38.       { gsub(/\\{/,"kl_auf");
  39.         gsub(/\\}/,"kl_zu");
  40.         gsub(/{/,"");
  41.         gsub(/}/,"");
  42.         gsub("kl_auf", "{");
  43.         gsub("kl_zu", "}");
  44.         gsub(/\$/,"");
  45.         gsub(/\\longrightarrow/, "---->");
  46.         gsub(/\\times/, " x");
  47.         gsub(/\\dots/, "...");
  48.         gsub(/\\cdot/, " *");
  49.         gsub(/\\le/,   " <=");
  50.         gsub(/\\ge/,   " >=");
  51.         gsub(/\\neq/,  " !=");
  52.         gsub(/\\ne/,   " !=");
  53.         gsub(/\\/, "");
  54.         gsub(/backslash/, "\\");
  55.         print;
  56.         getline; 
  57.        }
  58.     print " ";
  59.   }
  60. }
  61.  
  62. /\\decl/ { 
  63. if (operation == "" || "declaration" == operation) 
  64. { 
  65.   if (operation == "") header("DECLARATION");
  66.  
  67.   gsub(/\\/, "");
  68.   if ($1 == "decl")
  69.     { printf("declare(%s,%s)\n\n",$2,$3);
  70.       type = $2"("$3")";
  71.      }
  72.   else
  73.      if ($1 == "decltwo")
  74.      { printf("declare2(%s,%s,%s)\n\n",$2,$3,$4);
  75.        type = $2"("$3","$4")";
  76.       }
  77.      else
  78.         if ($1 == "declthree")
  79.         { printf("declare3(%s,%s,%s,%s)\n\n",$2,$3,$4,$5);
  80.           type = $2"("$3","$4","$5")";
  81.          }
  82.  
  83.   getline;
  84.   while ($1 == "") getline;
  85.   while ($1 !~ "skip" && $1 != "")
  86.     { gsub(/\\{/,"kl_auf");
  87.       gsub(/\\}/,"kl_zu");
  88.       gsub(/{/,"");
  89.       gsub(/}/,"");
  90.       gsub("kl_auf", "{");
  91.       gsub("kl_zu", "}");
  92.       gsub(/\$/,"");
  93.       gsub(/\\name/,type);
  94.       gsub(/\\/,"");
  95.       print;
  96.       getline; 
  97.      }
  98.   print " ";
  99. }
  100. }
  101.  
  102. /\\create/ { 
  103.   out = 0;
  104.   if (operation == "" || "creation" == operation) 
  105.   { out = 1
  106.     if (operation == "") header("CREATION");
  107.    }
  108.  
  109.   while ($0 ~ "\\\\create") 
  110.   { i = 1;
  111.     while ($i != "\\create") i++;
  112.     i++;
  113.     var = $i; 
  114.     gsub(/\\create/, type);
  115.     gsub(/\{\}/, "");
  116.     gsub(/\\/, "");
  117.     if (out==1) printf("%s;\n\n",$0);
  118.     getline;
  119.     while ($1 == "") getline;
  120.   }
  121.  
  122.  
  123.   if (out==1) 
  124.   { while ($1 !~ "skip" && $1 != "")
  125.     { gsub(/{/,"");
  126.       gsub(/}/,"");
  127.       gsub(/\$/,"");
  128.       gsub(/\\name/,type);
  129.       gsub(/\\var/,var);
  130.       gsub(/\\precond/, "Precondition:");
  131.       gsub(/\\/,"");
  132.       print;
  133.       getline; 
  134.      }
  135.    print " ";
  136.   }
  137. }
  138.  
  139.  
  140. #operations & operators: line starts with \+\op
  141.  
  142. /\\\+\\op/ {
  143. if ($3 == operation || operation == "" || "operations" == operation)
  144. { 
  145.   if (op_header==0) { if (operation == "") header("OPERATIONS"); 
  146.                       op_header=1; 
  147.                      }
  148.   gsub(/\\/,"");
  149.   gsub(/}/,"");
  150.   gsub(/{/,"");
  151.   gsub(/\$/,"");
  152.   gsub(/tilde/,"\~");
  153.  
  154.   if ($1 == "+op") #operation
  155.    { printf("%-9s %s.%s (",$2,var,$3);
  156.      for (i=4;i<=NF;i++) printf("%s ",$i);
  157.      if ($1 == "+op") printf(")");
  158.     }
  159.   else
  160.      if ($1 == "+opb") #binary operator
  161.       { printf("%-9s %s ",$2,var);
  162.         for (i=3;i<=NF;i++) printf("%s ",$i);
  163.        }
  164.      else  
  165.         if ($1 == "+ops") #stream operator
  166.          { printf("%-9s %s %s %s",$2,$4,$3,var);
  167.            for (i=5;i<=NF;i++) printf("%s ",$i);
  168.           }
  169.         else
  170.            if ($1 == "+opf") #function call operator
  171.            { printf("%-9s %s (",$2,var);
  172.              for (i=3;i<NF;i++) printf("%s ",$i);
  173.              printf("%s)",$i);
  174.             }
  175.            else
  176.              if ($1 == "+opu") #unary operator
  177.                printf("%-9s %s%s",$2,$3,var);
  178.              else
  179.              if ($1 == "+opa") #array access operator
  180.                printf("%-9s %s [%s %s]",$2,var,$3,$4);
  181.  
  182.   print " ";
  183.   getline;
  184.   if ("operations" != operation)
  185.   { print " ";
  186.     while ($1 !~ "skip" && $1 != "")
  187.     { start = 1;
  188.       if ($1 == "\\+\\nop") start = 2;
  189.       printf("                      ");
  190.       gsub(/\\precond/,"Precondition:");
  191.       gsub(/\\{/,"kl_auf");
  192.       gsub(/\\}/,"kl_zu");
  193.       gsub(/{/,"");
  194.       gsub(/}/,"");
  195.       gsub("kl_auf", "{");
  196.       gsub("kl_zu", "}");
  197.       gsub(/\$/,"");
  198.       gsub(/\\var/, var);
  199.       gsub(/\\longrightarrow/, "---->");
  200.       gsub(/\\times/, " x");
  201.       gsub(/\\phantom/, "");
  202.       gsub(/\\dots/, "...");
  203.       gsub(/\\cdot/, " *");
  204.       gsub(/\\le/,   " <=");
  205.       gsub(/\\ge/,   " >=");
  206.       gsub(/\\neq/,  " !=");
  207.       gsub(/\\ne/,   " !=");
  208.       gsub(/\\/, "");
  209.       gsub(/backslash/, "\\");
  210.       for (i=start;i<=NF;i++) printf("%s ",$i);
  211.       print " ";
  212.       getline; 
  213.      }
  214.    print " ";
  215.   }
  216. }
  217. }
  218.  
  219. /Iteration/ { 
  220. if (operation == "" || "iteration" == operation) 
  221. { if (operation == "") header("ITERATION");
  222.   getline;
  223.   while ($1  ~ "skip" || $1 == "") getline;
  224.   while ($1 !~ "skip")
  225.     { gsub(/\\{/,"kl_auf");
  226.       gsub(/\\}/,"kl_zu");
  227.       gsub(/{/,"");
  228.       gsub(/}/,"");
  229.       gsub("kl_auf", "{");
  230.       gsub("kl_zu", "}");
  231.       gsub(/\$/,"");
  232.       gsub(/\\dots/, "...");
  233.       gsub(/\\bf /, "");
  234.       gsub(/\\nl/, "");
  235.       gsub(/\\/, "");
  236.       print;
  237.       getline; 
  238.       while ($1 ~ "phantom" || $1 == "") getline;
  239.      }
  240.   print " ";
  241. }
  242. }
  243.  
  244. /Implementation/ { 
  245. if (operation == "" || "implementation" == operation) 
  246. { if (operation == "") header("IMPLEMENTATION");
  247.   getline;
  248.   while ($1  ~ "skip" || $1 == "") getline;
  249.   while ($1 !~ "skip" && $1 != "")
  250.     { gsub(/{/,"");
  251.       gsub(/}/,"");
  252.       gsub(/\$/,"");
  253.       gsub(/\\times/, " x");
  254.       gsub(/\\dots/, "...");
  255.       gsub(/\\cdot/, " *");
  256.       gsub(/\\le/,   " <=");
  257.       gsub(/\\/,"");
  258.       print;
  259.       getline; 
  260.      }
  261.   print " ";
  262. }
  263. }
  264.