verification/dot2/dot2c.py

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))
54         buff.append("enum %s {" % self.enum_states_def)
55         buff.append(self.get_enum_states_string())
56         buff.append("};\n")
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)
80         buff.append("enum %s {" % self.enum_events_def)
81         buff.append(self.get_enum_events_string())
82         buff.append("};\n")
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")
114         buff.append("static const struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def))
138         buff.append("\t.event_names = {")
139         buff.append(self.get_aut_init_events_string())
140         buff.append("\t},")
145         buff.append("\t.state_names = {")
146         buff.append(self.get_aut_init_states_string())
147         buff.append("\t},")
177             buff.append(line)
183         buff.append("\t.function = {")
184         buff.append(self.get_aut_init_function())
185         buff.append("\t},")
195         buff.append("\t.initial_state = " + initial_state + self.enum_suffix + ",")
216        buff.append("\t.final_states = { %s }," % self.get_aut_init_final_states())
226         buff.append(self.__get_automaton_initialization_footer_string())
232         buff.append("#define %s state_max%s\n" % (self.invalid_state_str, self.enum_suffix))