@@ -76,7 +76,7 @@ def produce_graminit_c(self, writer):
7676
7777 def print_labels (self , writer ):
7878 writer (
79- "static label labels[{n_labels}] = {{\n " .format (n_labels = len (self .labels ))
79+ "static const label labels[{n_labels}] = {{\n " .format (n_labels = len (self .labels ))
8080 )
8181 for label , name in self .labels :
8282 label_name = '"{}"' .format (name ) if name is not None else 0
@@ -89,7 +89,7 @@ def print_labels(self, writer):
8989
9090 def print_dfas (self , writer ):
9191 self .print_states (writer )
92- writer ("static dfa dfas[{}] = {{\n " .format (len (self .dfas )))
92+ writer ("static const dfa dfas[{}] = {{\n " .format (len (self .dfas )))
9393 for dfaindex , dfa_elem in enumerate (self .dfas .items ()):
9494 symbol , (dfa , first_sets ) = dfa_elem
9595 writer (
@@ -131,7 +131,7 @@ def print_arcs(self, write, dfaindex, states):
131131 for stateindex , state in enumerate (states ):
132132 narcs = len (state )
133133 write (
134- "static arc arcs_{dfa_index}_{state_index}[{n_arcs}] = {{\n " .format (
134+ "static const arc arcs_{dfa_index}_{state_index}[{n_arcs}] = {{\n " .format (
135135 dfa_index = dfaindex , state_index = stateindex , n_arcs = narcs
136136 )
137137 )
0 commit comments