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) + ')')