chc.app.CContext module

chc.app.CContext.CContextNode(cxd, ixval)	Node in an expression or control-flow-graph context.
chc.app.CContext.CfgContext(cxd, ixval)	Control-flow-graph context expressed by a list of context nodes.
chc.app.CContext.ExpContext(cxd, ixval)	Expression nesting context expressed by a list of context nodes.
chc.app.CContext.ProgramContext(cxd, ixval)	Precise structural placement within a function (relative to ast, exps).

Structural context description to locate a program entity.

class chc.app.CContext.CContextDictionaryRecord(cxd: CContextDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.util.IndexedTable.IndexedTableValue

property cxd: CContextDictionary

class chc.app.CContext.CContextNode(cxd: CContextDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.app.CContext.CContextDictionaryRecord

Node in an expression or control-flow-graph context.

• tags[0]: name of the node

• tags[1..]: additional info on the node, e.g. field name in struct expression

• args[0]: stmt.id for statements, instr sequence number for instructions

property data_id: int

property name: str

class chc.app.CContext.CfgContext(cxd: CContextDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.app.CContext.CContextDictionaryRecord

Control-flow-graph context expressed by a list of context nodes.

• args[0..]: indices of context nodes in the context dictionary, inner context last

property nodes: List[chc.app.CContext.CContextNode]

property reverse_repr: str

class chc.app.CContext.ExpContext(cxd: CContextDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.app.CContext.CContextDictionaryRecord

Expression nesting context expressed by a list of context nodes.

• args[0..]: indices of context nodes in the context dictionary, inner context last

property nodes: List[chc.app.CContext.CContextNode]

class chc.app.CContext.ProgramContext(cxd: CContextDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.app.CContext.CContextDictionaryRecord

Precise structural placement within a function (relative to ast, exps).

args[0]: index of cfg context in context dictionary args[1]: index of exp context in context dictionary

property cfg_context: chc.app.CContext.CfgContext

property exp_context: chc.app.CContext.ExpContext