Changeset 310cf4 in git for Singular

Timestamp:

Dec 3, 2016, 4:15:04 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

fd0fccec12bd9cbc6bab5e327f811c7de05c61c9

Parents:

f5951957f709ab2bd04faad6ed4b08b554fb6f6c

Message:

add: myychangebuffer() to scanner

Location:

Singular

Files:

• scanner.cc (modified) (1 diff)
• scanner.ll (modified) (1 diff)

Singular/scanner.cc

@@ -2331 +2331 @@
 }
 
+void myychangebuffer()
+{
+  yy_flush_buffer((YY_BUFFER_STATE)YY_CURRENT_BUFFER);
+  yy_delete_buffer(YY_CURRENT_BUFFER);
+  yy_switch_to_buffer(yy_create_buffer(NULL, YY_BUF_SIZE));
+}
+
 void my_yy_flush() { YY_FLUSH_BUFFER;BEGIN(0); }

Singular/scanner.ll

@@ -381 +381 @@
 }
 
+void myychangebuffer()
+{
+  yy_flush_buffer((YY_BUFFER_STATE)YY_CURRENT_BUFFER);
+  yy_delete_buffer(YY_CURRENT_BUFFER);
+  yy_switch_to_buffer(yy_create_buffer(NULL, YY_BUF_SIZE));
+}
+
 void my_yy_flush() { YY_FLUSH_BUFFER;BEGIN(0); }