import chc.util.fileutil as UF
import chc.util.IndexedTable as IT
import chc.invariants.CXpr as CX
xcst_constructors = {
'ss': lambda x: CX.CXCSymSet(*x),
'ic': lambda x: CX.CXIntConst(*x),
'bc': lambda x: CX.CXCBoolConst(*x),
'r': lambda x: CX.CXRandom(*x),
'ui': lambda x: CX.CXUnknownInt(*x),
'us': lambda x: CX.CXUnknownSet(*x)
}
xpr_constructors = {
'v': lambda x: CX.CXVar(*x),
'c': lambda x: CX.CXConst(*x),
'x': lambda x: CX.CXOp(*x),
'a': lambda x: CX.CXAttr(*x)
}
class CFunXprDictionary(object):
'''Indexed analysis expressions.'''
def __init__(self, vd):
self.vd = vd
self.numerical_table = IT.IndexedTable('numerical-table')
self.symbol_table = IT.IndexedTable('symbol-table')
self.variable_table = IT.IndexedTable('variable-table')
self.xcst_table = IT.IndexedTable('xcst-table')
self.xpr_table = IT.IndexedTable('xpr-table')
self.xpr_list_table = IT.IndexedTable('xpr-list-table')
import chc.util.fileutil as UF
import chc.util.IndexedTable as IT
import chc.invariants.CXpr as CX
xcst_constructors = {
"ss": lambda x: CX.CXCSymSet(*x),
"ic": lambda x: CX.CXIntConst(*x),
"bc": lambda x: CX.CXCBoolConst(*x),
"r": lambda x: CX.CXRandom(*x),
"ui": lambda x: CX.CXUnknownInt(*x),
"us": lambda x: CX.CXUnknownSet(*x),
}
xpr_constructors = {
"v": lambda x: CX.CXVar(*x),
"c": lambda x: CX.CXConst(*x),
"x": lambda x: CX.CXOp(*x),
"a": lambda x: CX.CXAttr(*x),
}
class CFunXprDictionary(object):
"""Indexed analysis expressions."""
def __init__(self, vd):
self.vd = vd
self.numerical_table = IT.IndexedTable("numerical-table")
self.symbol_table = IT.IndexedTable("symbol-table")
self.variable_table = IT.IndexedTable("variable-table")
self.xcst_table = IT.IndexedTable("xcst-table")
self.xpr_table = IT.IndexedTable("xpr-table")
self.xpr_list_table = IT.IndexedTable("xpr-list-table")