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)