def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CX.CXprListList(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CX.CXVariable(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CX.CXSymbol(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CX.CXNumerical(*args)
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.
# ------------------------------------------------------------------------------
import os
import xml.etree.ElementTree as ET
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)
}
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.
# ------------------------------------------------------------------------------
import os
import xml.etree.ElementTree as ET
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),
}