def fn(flag):
if flag:
obj = cast_record_to_object(record)
else:
obj = System.Object()
record2 = cast_object_to_record(T, obj)
return record is record2
def fn(flag):
if flag:
obj = cast_record_to_object(record)
else:
obj = System.Object()
record2 = cast_object_to_record(T, obj)
return record is record2
def test_cast_record_pbc(self):
T = ootype.Record({'x': ootype.Signed})
record = ootype.new(T)
record.x = 42
obj = cast_record_to_object(record)
def fn():
record2 = cast_object_to_record(T, obj)
return record is record2
res = self.interpret(fn, [])
assert res
def test_cast_record_pbc(self):
T = ootype.Record({'x': ootype.Signed})
record = ootype.new(T)
record.x = 42
obj = cast_record_to_object(record)
def fn():
record2 = cast_object_to_record(T, obj)
return record is record2
res = self.interpret(fn, [])
assert res
def test_cast_record_mix_object(self):
T = ootype.Record({'x': ootype.Signed})
NULL = ootype.null(System.Object._INSTANCE)
record = cast_record_to_object(ootype.new(T))
assert record != NULL
assert NULL != record
def test_cast_record_mix_object(self):
T = ootype.Record({'x': ootype.Signed})
NULL = ootype.null(System.Object._INSTANCE)
record = cast_record_to_object(ootype.new(T))
assert record != NULL
assert NULL != record
