开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 数值算法/人工智能 > 查看源码
Lman.awk
资源名称：leda.tar.gz　[点击查看]
上传用户：gzelex
上传日期：2007-01-07
资源大小：707k
文件大小：5k
源码类别：

数值算法/人工智能

开发平台：

MultiPlatform

Lman.awk：源码内容
  3. function underline(s)
  4. { gsub(/./,"_&",s); 
  5.   return s;
  6. }
  9. function header(s)
  10. { print "n";
  11.   print underline(sprintf("%d. %s", ++count,s)) "n";
  12. }
  15. function sub_tex()
  16. { gsub(/\{/,"kl_auf");
  17.   gsub(/\}/,"kl_zu");
  18.   gsub(/{/,"");
  19.   gsub(/}/,"");
  20.   gsub("kl_auf", "{");
  21.   gsub("kl_zu", "}");
  22.   gsub(/$/,"");
  23.   gsub(/\precond/,"Precondition:");
  24.   gsub(/\longrightarrow/, "---->");
  25.   gsub(/\phantom/, "");
  26.   gsub(/\times/, " x");
  27.   gsub(/\dots/, "...");
  28.   gsub(/\cdot/, " *");
  29.   gsub(/\tilde/,"~");
  30.   gsub(/\le/,   " <=");
  31.   gsub(/\ge/,   " >=");
  32.   gsub(/\neq/,  " !=");
  33.   gsub(/\ne/,   " !=");
  34.   gsub(/\bf /, "");
  35.   gsub(/\nl/, "");
  36.   gsub(/\/, "");
  37.   gsub(/backslash /, "\");
  38. }
  41. BEGIN { arg =  ARGV[2]; 
  42.         type = ARGV[1];
  43.         gsub(//.*//, "",type);
  44.         gsub(/.tex/, "",type);
  45.         ARGV[2] = ""; 
  46.         gsub(/_/, "\_", arg); print " "; 
  47.         op_header = 0;
  48.        }
  51. /\section/ { 
  52. if (arg == "")
  53.  { gsub(/\section *{/, "");
  54.    gsub(/\label *{.*}/, "");
  55.    gsub(/}/, "");
  56.    gsub(/\/, "");
  57.    print underline($0);
  58.    print " ";
  59.   }
  60. }
  62. /\definition/ { 
  63. if (arg == "" || "definition" == arg)
  64.  { if (arg == "") header("DEFINITION");
  65.     getline;
  66.     while ($1 == "") getline;
  67.     if ($1 ~ "\\decl") 
  68.     { if ($1 == "\declare")
  69.         type = $2;
  70.       else
  71.         if ($1 == "\declone")
  72.           type = $2"<"$3">";
  73.         else
  74.           if ($1 == "\decltwo")
  75.              type = $2"<"$3","$4">";
  76.           else
  77.              if ($1 == "\declthree")
  78.                 type = $2"<"$3","$4","$5">";
  79.      getline;
  80.     }
  81.     while ($1 == "") getline;
  82.     while ($1 != "")
  83.       { gsub(/\name/,type);
  84.         sub_tex();
  85.         print;
  86.         getline; 
  87.        }
  88.     print " ";
  89.   }
  90. }
  93. /\creation/ { 
  94.   out = 0;
  95.   if (arg == "" || "creation" == arg) 
  96.   { out = 1
  97.     if (arg == "") header("CREATION");
  98.    }
  99.   getline;
  100.   while ($1 == "") getline;
  102.   while ($0 ~ "\\create") 
  103.   { i = 1;
  104.     while ($i != "\create") i++;
  105.     i++;
  106.     var = $i; 
  107.     gsub(/\create/, type);
  108.     gsub(/ *{ *} */, "");
  109.     gsub(/\/, "");
  110.     if (out==1) printf("%s;nn",$0);
  111.     getline;
  112.     while ($1 == "") getline;
  113.   }
  115.   if (out==1) 
  116.   { while ($1 != "")
  117.     { gsub(/{/,"");
  118.       gsub(/}/,"");
  119.       gsub(/\tt /, "");
  120.       gsub(/$/,"");
  121.       gsub(/\name/,type);
  122.       gsub(/\var/,var);
  123.       gsub(/\precond/, "Precondition:");
  124.       gsub(/\/,"");
  125.       print;
  126.       getline; 
  127.      }
  128.    print " ";
  129.   }
  130. }
  133. #operations & operators: line starts with op,opl,binop,unop,funop, ...
  135. /\operations/ {
  136.   if (arg == "") header("OPERATIONS"); 
  137.   getline; 
  138.  }
  140. /\[a-z]*op/ {
  141.   if ($3 == arg || arg == "" || "operations" == arg)
  142.   { 
  143.     sub_tex();
  144.   
  145.     if ($1 == "op" || $1 == "opl") #operation
  146.      { long = 0;
  147.        if ($1 == "opl") long = 1;
  148.        printf("%-9s %s.%s (",$2,var,$3);
  149.        for (i=4;i<=NF;i++) printf("%s ",$i);
  150.        printf(")");
  151.       }
  152.     else
  153.        if ($1 == "binop") #binary operator
  154.         { printf("%-9s %s ",$2,var);
  155.           for (i=3;i<=NF;i++) printf("%s ",$i);
  156.          }
  157.        else  
  158.           if ($1 == "strop") #stream operator
  159.            { printf("%-9s %s %s %s",$2,$4,$3,var);
  160.              for (i=5;i<=NF;i++) printf("%s ",$i);
  161.             }
  162.           else
  163.              if ($1 == "funop") #function call operator  
  164.              { printf("%-9s %s (",$2,var);
  165.                for (i=3;i<NF;i++) printf("%s ",$i);
  166.                printf("%s)",$i);
  167.               }
  168.              else
  169.                if ($1 == "unop") #unary operator
  170.                  printf("%-9s %s%s",$2,$3,var);
  171.                else
  172.                if ($1 == "arrop") #array access operator
  173.                  printf("%-9s %s [%s %s]",$2,var,$3,$4);
  174.   
  175.     #if (long == 1) print " ";   # space between call sequence and description
  176.   
  177.     getline;
  178.     print " ";
  179.     if ("operations" != arg)
  180.     { while ($1 != "")
  181.       { gsub(/\var/, var);
  182.         sub_tex();
  183.         printf("                       ");
  184.         for (i=1;i<=NF;i++) printf("%s ",$i);
  185.         print " ";
  186.         getline; 
  187.        }
  188.      print " ";
  189.      print " ";
  190.     }
  191.   }
  192. }
  196. #/\iteration/ { 
  197. #if (arg == "" || "iteration" == arg) 
  198. #{ if (operation == "") header("ITERATION");
  199. #  getline;
  200. #  while ($1  ~ "skip" || $1 == "") getline;
  201. #  while ($1 !~ "skip")
  202. #    { sub_tex();
  203. #      print;
  204. #      getline; 
  205. #      while ($1 ~ "phantom" || $1 == "") getline;
  206. #     }
  207. #  print " ";
  208. #}
  209. #}
  211. /\implementation/ { 
  212.   if (arg == "" || "implementation" == arg) 
  213.   { if (arg == "") header("IMPLEMENTATION");
  214.     getline;
  215.     while ($1  ~ "skip" || $1 == "") getline;
  216.     while ($1 !~ "skip" && $1 != "")
  217.       { gsub(/{/,"");
  218.         gsub(/}/,"");
  219.         sub_tex();
  220.         print;
  221.         getline; 
  222.        }
  223.     print " ";
  224.    }
  225. }