verification/dot2/dot2c.py

29     def __buff_to_string(self, buff):
32         for line in buff:
39         buff = []
40         buff.append("\t%s%s = 0," % (self.initial_state, self.enum_suffix))
43                 buff.append("\t%s%s," % (state, self.enum_suffix))
44         buff.append("\tstate_max%s" % (self.enum_suffix))
46         return buff
49         buff = self.__get_enum_states_content()
50         return self.__buff_to_string(buff)
53         buff = []
54         buff.append("enum %s {" % self.enum_states_def)
55         buff.append(self.get_enum_states_string())
56         buff.append("};\n")
58         return buff
61         buff = []
65                 buff.append("\t%s%s = 0," % (event, self.enum_suffix))
68                 buff.append("\t%s%s," % (event, self.enum_suffix))
70         buff.append("\tevent_max%s" % self.enum_suffix)
72         return buff
75         buff = self.__get_enum_events_content()
76         return self.__buff_to_string(buff)
79         buff = []
80         buff.append("enum %s {" % self.enum_events_def)
81         buff.append(self.get_enum_events_string())
82         buff.append("};\n")
84         return buff
102         buff = []
103         buff.append("struct %s {" % self.struct_automaton_def)
104         buff.append("\tchar *state_names[state_max%s];" % (self.enum_suffix))
105         buff.append("\tchar *event_names[event_max%s];" % (self.enum_suffix))
106         buff.append("\t%s function[state_max%s][event_max%s];" % (min_type, self.enum_suffix, self.enum_suffix))
107         buff.append("\t%s initial_state;" % min_type)
108         buff.append("\tbool final_states[state_max%s];" % (self.enum_suffix))
109         buff.append("};\n")
110         return buff
113         buff = []
114         buff.append("static const struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def))
115         return buff
117     def __get_string_vector_per_line_content(self, buff):
120         for entry in buff:
137         buff = []
138         buff.append("\t.event_names = {")
139         buff.append(self.get_aut_init_events_string())
140         buff.append("\t},")
141         return buff
144         buff = []
145         buff.append("\t.state_names = {")
146         buff.append(self.get_aut_init_states_string())
147         buff.append("\t},")
149         return buff
162         buff = []
177             buff.append(line)
179         return self.__buff_to_string(buff)
182         buff = []
183         buff.append("\t.function = {")
184         buff.append(self.get_aut_init_function())
185         buff.append("\t},")
187         return buff
193         buff = []
195         buff.append("\t.initial_state = " + initial_state + self.enum_suffix + ",")
197         return buff
215        buff = []
216        buff.append("\t.final_states = { %s }," % self.get_aut_init_final_states())
218        return buff
225         buff = []
226         buff.append(self.__get_automaton_initialization_footer_string())
228         return buff
231         buff = []
232         buff.append("#define %s state_max%s\n" % (self.invalid_state_str, self.enum_suffix))
234         return buff
237         buff = []
238         buff += self.format_states_enum()
239         buff += self.format_invalid_state()
240         buff += self.format_events_enum()
241         buff += self.format_automaton_definition()
242         buff += self.format_aut_init_header()
243         buff += self.format_aut_init_states_string()
244         buff += self.format_aut_init_events_string()
245         buff += self.format_aut_init_function()
246         buff += self.format_aut_init_initial_state()
247         buff += self.format_aut_init_final_states()
248         buff += self.format_aut_init_footer()
250         return buff
253         buff = self.format_model()
254         print(self.__buff_to_string(buff))