def traceval2specnode(trace_val):
assert isinstance(trace_val, CValue)
# null
if trace_val.is_null is not None and trace_val.is_null:
return new_null()
elif trace_val.type is not None and trace_val.value is not None:
if (TraceConverter.JAVA_INT_PRIMITIVE == trace_val.type
or TraceConverter.JAVA_INT == trace_val.type):
try:
return new_int(int(trace_val.value))
except ValueError as e:
raise Exception("Wrong integer value in message!")
elif (TraceConverter.JAVA_FLOAT_PRIMITIVE == trace_val.type
or TraceConverter.JAVA_FLOAT == trace_val.type):
try:
return new_float(float(trace_val.value))
except ValueError as e:
raise Exception("Wrong float value in message!")
elif (TraceConverter.JAVA_BOOLEAN_PRIMITIVE == trace_val.type
or TraceConverter.JAVA_BOOLEAN == trace_val.type):
enc_value = CValue.enc(trace_val.value)
if (str(enc_value) == str(TraceConverter.TRUE_CONSTANT)):
return new_true()
elif (str(enc_value) == str(TraceConverter.FALSE_CONSTANT)):
return new_false()
else:
raise Exception("Wrong value for Boolean %s" % enc_value)
elif trace_val.type == TraceConverter.JAVA_STRING:
enc_value = CValue.enc(trace_val.value)
return new_string(enc_value)
else:
enc_value = CValue.enc(trace_val.value)
return new_id(enc_value)
elif trace_val.object_id is not None:
enc_value = CValue.enc(trace_val.object_id)
return new_id(enc_value)
else:
raise Exception("Message is not null but it does not "\
"have any value or object id")
def _get_false():
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_BOOLEAN
v.value = TraceConverter.FALSE_CONSTANT
return v
def _get_null():
v = CValue()
v.is_null = True
v.type = None
v.value = None
return v
def _get_obj(objId, objType):
v = CValue()
v.is_null = False
v.type = objType
v.value = objId
return v
def _get_int(intValue):
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_INT
v.value = intValue
return v
def specnode2traceval(spec_node):
node_type = get_node_type(spec_node)
assert (node_type in const_nodes or ID == node_type)
if NULL == node_type:
v = CValue()
v.is_null = True
v.type = None
v.value = None
v.object_id = None
return v
elif TRUE == node_type:
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_BOOLEAN
v.value = TraceConverter.TRUE_CONSTANT
v.object_id = None
return v
elif FALSE == node_type:
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_BOOLEAN
v.value = TraceConverter.FALSE_CONSTANT
v.object_id = None
return v
elif STRING == node_type:
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_STRING
v.value = get_id_val(spec_node)
v.object_id = None
return v
elif INT == node_type:
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_INT
v.value = get_id_val(spec_node)
v.object_id = None
return v
elif FLOAT == node_type:
v = CValue()
v.is_null = False
v.type = TraceConverter.JAVA_FLOAT
v.value = get_id_val(spec_node)
v.object_id = None
return v
elif ID == node_type:
v = CValue()
v.is_null = False
v.type = "java.lang.Object"
v.value = None
v.object_id = get_id_val(spec_node)
return v
assert False