Changeset f92cf8 in git

Timestamp:

Jul 21, 1999, 9:52:53 PM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

65a2bd9f87363fac232bdb2f6e2bcc91faad71fe

Parents:

18bd9c70860cace4782c5c85c88c5ad93550527f

Message:

* cheksum added


git-svn-id: file:///usr/local/Singular/svn/trunk@3317 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

Singular

Files:

• libparse.l (modified) (5 diffs)
• utils.cc (modified) (2 diffs)

Singular/libparse.l

@@ -3 +3 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: libparse.l,v 1.34 1999-07-21 11:41:16 obachman Exp $ */
+/* $Id: libparse.l,v 1.35 1999-07-21 19:52:52 obachman Exp $ */
 #include <stdio.h>
 #include <string.h>
@@ -126 +126 @@
 #  endif /* STANDALONE_PARSER */
 
+static unsigned long help_chksum;
 #  define SET_DEF_END(mode, pi, p) \
      if ( mode == LOAD_LIB) pi->data.s.def_end = p;
 #  define SET_HELP_START(mode, pi, p) \
-     if ( mode == LOAD_LIB) pi->data.s.help_start = p;
-
+     if ( mode == LOAD_LIB) {pi->data.s.help_start = p; help_chksum = 0;}
 #  define SET_HELP_END(mode, pi, p) \
-     if ( mode == LOAD_LIB) pi->data.s.help_end = p;
+     if ( mode == LOAD_LIB) {pi->data.s.help_end = p;  \
+                             pi->data.s.help_chksum = help_chksum;}
 
 #  define SET_BODY_START(mode, pi, l, p) \
@@ -155 +156 @@
        if(pi->data.s.body_end==0) pi->data.s.body_end = p-1; \
      }
+
+#define ROTATE_RIGHT(c) if ((c) & 01) (c) = ((c) >>1) + 0x8000; else (c) >>= 1;
+#define IncrCheckSum(c)                          \
+do                                              \
+{                                               \
+  ROTATE_RIGHT(help_chksum);                  \
+  help_chksum += c;                           \
+  help_chksum &= 0xffff;                      \
+}                                               \
+while(0)
 
 #  undef YY_DECL
@@ -606 +617 @@
 #endif
            }
-<phelp>\n  { yylplineno++; }
+<phelp>\n  { yylplineno++;}
 
 <pbody>({comment}[^\n]*) { }
@@ -695 +706 @@
                            last_cmd = LP_NONE;
                            if(old_state==phelp)
+                           {              
                               SET_HELP_END(mode, pi, current_pos(0));
+                           }
                            BEGIN(old_state); /* printf("%s", yytext); */
                          }
-<string>(\\\\)|(\\\")    { }
-<string>\n               { yylplineno++; }
-<string>.                { }
+<string>(\\\\)|(\\\")    { if (old_state == phelp) IncrCheckSum(*yytext);}
+<string>\n               { yylplineno++; if (old_state == phelp) IncrCheckSum('\n');}
+<string>.                { if (old_state == phelp) IncrCheckSum(*yytext);}
 
 <pexample>(\/\/[^\n]*)  { }

Singular/utils.cc

@@ -128 +128 @@
   pi->data.s.example_lineno = 0;
   pi->data.s.body = NULL;
+  pi->data.s.help_chksum = 0;
   return(pi);
 }
@@ -199 +200 @@
       PrintOut(fp, pi->data.s.example_start, pi->data.s.proc_end);
       printf("\nEOT\n");
+      printf("$chksum{\"%s\"} = %d;\n", pi->procname, pi->data.s.help_chksum);
     }
   }