def pp(self, ctx_prtyps, ctx_prgls, tab=0):
s1 = self.hdr.pp(tab) + "\n"
s2 = "\n".join([pp_tab(tab + 2, "{}: {}".format(ident, ctx_prtyps[ident]))
for ident in self.ctx.idents()]) + "\n"
s3 = pp_tab(tab + 2, "=====================\n")
if self.concl_kdx == -1:
s4 = pp_tab(tab + 2, "SOLVED")
else:
s4 = pp_tab(tab + 2, ctx_prgls[self.concl_kdx])
return s1 + s2 + s3 + s4
def pp(self, tab=0):
s1 = pp_tab(tab, self.name) + "\n"
s2 = "\n".join([
decl.pp(self.ctx_prtyps, self.ctx_prgls, tab + 2)
for decl in self.decls
]) + "\n"
return s1 + s2
def pp(self, tab=0):
epi = pp_tab(tab, "{}({}, {}) {{\n".format(self.name, self.ftac,
self.uid))
bf = pp_tab(tab + 2, "bf_decl = {}\n".format(str(self.bf_decl)))
if self.body:
s1 = pp_tab(tab + 2, "bods = {\n")
s2 = ";\n".join([rawtac.pp(tab + 4) for rawtac in self.body])
s3 = "\n" + pp_tab(tab + 2, "}\n")
body = s1 + s2 + s3
else:
body = pp_tab(tab + 2, "body = EMP\n")
af = pp_tab(
tab + 2, "af_decls = [{}]\n".format(", ".join(
[str(af_decl) for af_decl in self.af_decls])))
pro = pp_tab(tab, "}")
return epi + bf + body + af + pro
def pp(self, tab=0):
info = (self.mode, self.callid, self.gid, self.ngs,
self.tac, self.kind, self.loc, self.ftac)
s = "{}(id={}, gid={}, ngs={}, tac={}, kind={}, loc={}, ftac={})".format(*info)
return pp_tab(tab, s)
