changeset 919:765871c90c74

fix generate_stub.pl
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 29 Jan 2021 17:56:35 +0900
parents 26e3d0226cc6
children 8e0e0ba2aec2
files src/parallel_execution/SingleLinkedQueue.cbc src/parallel_execution/generate_stub.pl
diffstat 2 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/parallel_execution/SingleLinkedQueue.cbc	Fri Jan 29 12:17:43 2021 +0900
+++ b/src/parallel_execution/SingleLinkedQueue.cbc	Fri Jan 29 17:56:35 2021 +0900
@@ -81,6 +81,7 @@
     return length - 1; // top is dummy
 }
 
+#include "odelChecking/TaskIterator.h"
 
 Element* getElementByIdx(struct SingleLinkedQueue* queue, int idx) {
     struct Element* current = queue->top;
--- a/src/parallel_execution/generate_stub.pl	Fri Jan 29 12:17:43 2021 +0900
+++ b/src/parallel_execution/generate_stub.pl	Fri Jan 29 17:56:35 2021 +0900
@@ -651,14 +651,13 @@
             } elsif (/^int main\((.*)\) \{/) {
                 debug_print("generateDataGear",__LINE__, $_) if $opt_debug;
                 $inMain = 1;
-            } elsif(/^#impl "(.*)"/) {
+            #impl "Stack.h" for "SingleLinkedStack.h"
+            } elsif(/^#impl "(.*)"\s*(?:for\s*"(\w+)")?/) {
               debug_print("generateDataGear",__LINE__, $_) if $opt_debug;
               next unless ($implInterfaceInfo->{genConstructor});
-              if ((!$implInterfaceInfo->{genConstructor}) || $implInterfaceInfo->{interface} ne $1) {
+              if ($2 && ($implInterfaceInfo->{interface} ne $1)) {
                 next;
               }
-
-
               my $constructInterface = {
                                          name      => $implInterfaceInfo->{interface},
                                          file_name => $headerNameToInfo->{$implInterfaceInfo->{interface}}->{path}