chc.app.CContextDictionary module

Dictionary for program context specifications.

class chc.app.CContextDictionary.CContextDictionary(cfile: CFile, xnode: xml.etree.ElementTree.Element)[source]

Bases: object

property cfile: CFile

get_cfg_context(ix: int) → chc.app.CContext.CfgContext[source]

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

get_exp_context(ix: int) → chc.app.CContext.ExpContext[source]

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

get_node(ix: int) → chc.app.CContext.CContextNode[source]

get_program_context(ix: int) → chc.app.CContext.ProgramContext[source]

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

index_cfg_context(cfgcontext: chc.app.CContext.CfgContext) → int[source]

index_cfg_projection(context: chc.app.CContext.ProgramContext) → int[source]

index_context(context: chc.app.CContext.ProgramContext) → int[source]

index_empty_exp_context() → int[source]

index_exp_context(expcontext: chc.app.CContext.ExpContext) → int[source]

index_node(cnode: chc.app.CContext.CContextNode) → int[source]

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

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

read_xml_context(xnode: xml.etree.ElementTree.Element) → chc.app.CContext.ProgramContext[source]

write_xml_context(xnode: xml.etree.ElementTree.Element, context: chc.app.CContext.ProgramContext) → None[source]