chc.app.CDictionary module

Abstract superclass for CGlobalDictionary and CFileDictionary.

class chc.app.CDictionary.CDictionary[source]

Bases: abc.ABC

Indexed types.

subclassed by

  • CFileDictionary: Corresponds with cchlib/cCHDictionary.

  • CGlobalDictionary: constructed in the python api

abstract property cfile: CFile
convert_ckey(ckey: int, fid: int = - 1) → int[source]
abstract property decls: CDeclarations
get_attribute(ix: int) → chc.app.CAttributes.CAttribute[source]
get_attribute_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_attributes(ix: int) → chc.app.CAttributes.CAttributes[source]
get_attributes_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_attrparam(ix: int) → chc.app.CAttributes.CAttr[source]
get_attrparam_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_constant(ix: int) → chc.app.CConst.CConst[source]
get_constant_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_exp(ix: int) → chc.app.CExp.CExp[source]
get_exp_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_exp_opt(ix: int) → Optional[chc.app.CExp.CExp][source]
get_funarg(ix: int) → chc.app.CTyp.CFunArg[source]
get_funarg_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_funargs(ix: int) → chc.app.CTyp.CFunArgs[source]
get_funargs_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_funargs_opt(ix: int) → Optional[chc.app.CTyp.CFunArgs][source]
get_lhost(ix: int) → chc.app.CLHost.CLHost[source]
get_lhost_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_lval(ix: int) → chc.app.CLval.CLval[source]
get_lval_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_offset(ix: int) → chc.app.COffset.COffset[source]
get_offset_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_string(ix: int) → str[source]
get_typ(ix: int) → chc.app.CTyp.CTyp[source]
get_typ_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_typsig(ix: int) → chc.app.CTypsig.CTypsig[source]
get_typsig_list(ix: int) → chc.app.CTypsig.CTypsigList[source]
get_typsig_list_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
get_typsig_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]
index_attribute(a: chc.app.CAttributes.CAttribute) → int[source]
index_attributes(aa: chc.app.CAttributes.CAttributes) → int[source]
index_attrparam(a: chc.app.CAttributes.CAttr) → int[source]
index_compinfo_key(compinfo: CCompInfo, _: object) → int[source]
index_constant(c: chc.app.CConst.CConst) → int[source]
index_exp(e: chc.app.CExp.CExp, subst: Dict[int, chc.app.CExp.CExp] = {}, fid: int = - 1) → int[source]
index_funarg(funarg: chc.app.CTyp.CFunArg) → int[source]
index_funargs_opt(opt_funargs: Optional[chc.app.CTyp.CFunArgs]) → int[source]
index_lhost(h: chc.app.CLHost.CLHost, subst: Dict[int, chc.app.CExp.CExp] = {}, fid: int = - 1) → int[source]
index_lval(lval: chc.app.CLval.CLval, subst: Dict[int, chc.app.CExp.CExp] = {}, fid: int = - 1) → int[source]
index_offset(o: chc.app.COffset.COffset, fid: int = - 1) → int[source]
index_opt_exp(e: Optional[chc.app.CExp.CExp], subst: Dict[int, chc.app.CExp.CExp] = {}, fid: int = - 1) → int[source]
index_string(s: str) → int[source]
index_typ(t: chc.app.CTyp.CTyp) → int[source]
index_typsig(t: chc.app.CTypsig.CTypsig) → int[source]
index_typsiglist(t: chc.app.CTypsig.CTypsigList) → int[source]
index_varinfo_vid(vid: int, _: int) → int[source]
initialize(xnode: xml.etree.ElementTree.Element, force: bool = False) → None[source]
abstract property is_global: bool
mk_attrparam(tags: List[str], args: List[int]) → int[source]
mk_constant_index(tags: List[str], args: List[int]) → int[source]
mk_exp_index(tags: List[str], args: List[int]) → int[source]
mk_lhost_index(tags: List[str], args: List[int]) → int[source]
mk_lval_index(tags: List[str], args: List[int]) → int[source]
mk_offset_index(tags: List[str], args: List[int]) → int[source]
mk_typ_index(tags: List[str], args: List[int]) → int[source]
objectmap_to_string(name: str) → str[source]
read_xml_exp(node: xml.etree.ElementTree.Element, tag: str = 'iexp') → chc.app.CExp.CExp[source]
read_xml_exp_opt(node: xml.etree.ElementTree.Element, tag: str = 'iexp') → Optional[chc.app.CExp.CExp][source]
read_xml_funargs(node: xml.etree.ElementTree.Element, tag: str = 'iargs') → chc.app.CTyp.CFunArgs[source]
s_term_bool_expr_to_exp_index(op: str, t1: STerm, t2: STerm, subst: Dict[Any, Any] = {}) → int[source]

Create exp index from interface s_term expression

s_term_to_exp_index(t: STerm, subst: Dict[Any, Any] = {}, fid: int = - 1) → int[source]

Create exp index from interface s_term

varinfo_to_exp_index(vinfo: CVarInfo) → int[source]
write_xml(node: xml.etree.ElementTree.Element) → None[source]
write_xml_exp(node: xml.etree.ElementTree.Element, exp: chc.app.CExp.CExp, tag: str = 'iexp') → None[source]
write_xml_exp_opt(node: xml.etree.ElementTree.Element, exp: Optional[chc.app.CExp.CExp], tag: str = 'iexp') → None[source]