def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return assumption_type_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return CV.MemoryReferenceData(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CT.CFunArgs(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return typsig_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return PA.PostAssume(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CVarInfo(*args)
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 PR.PostRequest(*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.CXVariable(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CX.CXNumerical(*args)
def getvalue(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CProgramContext(*args)
def getvalue(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CContextNode(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self,) + rep
return c_variable_denotation_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CEnumItem(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return api_parameter_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CLocation(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return GA.GlobalAssumption(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CI.COffsetInitInfo(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return non_relational_value_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return GA.GlobalAssignmentFunctionName(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CA.CAttributes(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return po_predicate_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CV.CLval(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self,) + rep
return memory_base_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CS.CTypsigList(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return CInvariantFact(*args)
