def __init__(self, csspos, potype, status="open", deps=None, expl=None, diag=None): CFunctionPO.__init__(self, csspos, potype, status, deps, expl, diag) self.csspos = csspos # CFunctionSPOs
def __init__(self, crspos, potype, status="open", deps=None, expl=None, diag=None): CFunctionPO.__init__(self, crspos.cspos, potype, status, deps, expl, diag) self.crspos = crspos # CFunctionReturnsiteSPOs self.external_id = self.potype.get_external_id()
def __init__(self, csspos, potype, status="open", deps=None, expl=None, diag=None): CFunctionPO.__init__(self, csspos.cspos, potype, status, deps, expl, diag) self.csspos = csspos # CFunctionCallsiteSPOs # int (predicate id of the callee) self.apiid = potype.get_external_id()
def __str__(self): return CFunctionPO.__str__(self) + " (" + str(self.external_id) + ")"
def write_xml(self, cnode): self.pod.write_xml_spo_type(cnode, self.potype) CFunctionPO.write_xml(self, cnode)
def __str__(self): return (CFunctionPO.__str__(self) + ' (' + str(self.external_id) + ')')