chc.app.CFunDeclarations module

Local variable declarations at the function level.

class chc.app.CFunDeclarations.CFunDeclarations(cfun: CFunction, xnode: xml.etree.ElementTree.Element)[source]

Bases: object

Function parameter and local variable declarations.

This information is generated by cchcil/cHCilFunDeclarations and stored on disk in <fname>_cfun.xml, in the <declarations> element.

property cfile: CFile

property cfun: CFunction

property fdecls: CFileDeclarations

property formals: List[chc.app.CVarInfo.CVarInfo]

get_global_varinfo_by_name(name: str) → chc.app.CVarInfo.CVarInfo[source]

get_local_varinfo(ix: int) → chc.app.CVarInfo.CVarInfo[source]

get_local_varinfo_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_location(ix: int) → CLocation[source]

get_varinfo(vid: int) → chc.app.CVarInfo.CVarInfo[source]

initialize(xnode: xml.etree.ElementTree.Element) → None[source]

property locals: List[chc.app.CVarInfo.CVarInfo]

objectmap_to_string(name: str) → str[source]

property varinfos: Dict[int, chc.app.CVarInfo.CVarInfo]