Lines Matching full:append

18         result.append(line[:i])
21         result.append(line)
53         abbrs.append((shorten(share) + shorten(unique)))
76             buf.append("\tS%i," % node.id)
77         buf.append("\tRV_NUM_BA_STATES")
78         buf.append("};")
79         buf.append("static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);")
85             buf.append("\tLTL_%s," % a)
86         buf.append("\tLTL_NUM_ATOM")
87         buf.append("};")
88         buf.append("static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);")
99             buf.append("\t\t\"%s\"," % name)
116                 buf.append("\tbool %s = %s && %s;" % (node, node.op.left, node.op.right))
119                 buf.append("\tbool %s = %s || %s;" % (node, node.op.left, node.op.right))
122                 buf.append("\tbool %s = !%s;" % (node, node.op.child))
128             buf.append("\tbool %s = test_bit(LTL_%s, mon->atoms);" % (atom.lower(), atom))
156             buf.append("\tcase S%i:" % node.id)
166                 buf.append("\t\t\t__set_bit(S%i, next);" % o.id)
167             buf.append("\t\tbreak;")
187         buf.append("")
200             buf.append("\t\t__set_bit(S%i, mon->states);" % node.id)
201         buf.append("}")
206         buff.append("static void handle_example_event(void *data, /* XXX: fill header */)")
207         buff.append("{")
208         buff.append("\tltl_atom_update(task, LTL_%s, true/false);" % self.atoms[0])
209         buff.append("}")
210         buff.append("")
224             buff.append("\tltl_atom_set(mon, LTL_%s, true/false);" % a)
245         buf.append('')
248         buf.append('')
251         buf.append('')
254         buf.append('')
257         buf.append('')