def test_validations(self): type_ref = TypeReference(ModuleRef('pkg0', 'Some'), ('Template',)) data_type = RecordType(name=type_ref, named_args=NamedArgumentList((('a', SCALAR_TYPE_INTEGER),)), type_args=()) psb = PackageStoreBuilder() psb.add_type(type_ref, data_type) serializer = ValidateSerializer(psb.build()) result1 = serializer.serialize_value(type_ref, {'a': {}}) result2 = serializer.serialize_value(type_ref, {'b': 2}) print(result1) print(result2)
def test_render_update_of_contract_type_con_old(self): from dazl.model.types import ContractIdType, UpdateType, ModuleRef, TypeReference module_ref = ModuleRef(package_id='00000000000000000000000000000000', module_name=('ABC', )) type_ref = TypeReference(module=module_ref, name=('DefGhi', )) type_ = UpdateType(ContractIdType(type_ref)) expected = 'Update (ContractId ABC:DefGhi)' actual = str(type_) self.assertEqual(expected, actual)
def test_render_list_of_contract_type_con_old(): from dazl.model.types import ContractIdType, ListType, ModuleRef, TypeReference module_ref = ModuleRef(package_id='00000000000000000000000000000000', module_name=('ABC', )) type_ref = TypeReference(module=module_ref, name=('DefGhi', )) type_ = ListType(ContractIdType(type_ref)) expected = '[ContractId ABC:DefGhi]' actual = str(type_) assert expected == actual
def test_render_update_of_contract_type_con_old(): from dazl.model.types import ContractIdType, UpdateType, ModuleRef, TypeReference module_ref = ModuleRef( package_id=PackageRef('00000000000000000000000000000000'), module_name=DottedName(('ABC', ))) type_ref = TypeReference( con=TypeConName(module=module_ref, name=('DefGhi', ))) type_ = UpdateType(ContractIdType(type_ref)) expected = 'Update (ContractId ABC:DefGhi)' actual = str(type_) assert expected == actual
def test_render_update_of_contract_type_con_new(): from dazl.damlast.daml_lf_1 import PrimType, Type from dazl.model.types import ModuleRef, TypeReference module_ref = ModuleRef(package_id='00000000000000000000000000000000', module_name=('ABC', )) con_type = Type(con=Type.Con( tycon=TypeReference(module=module_ref, name=('DefGhi', )), args=())) cid_type = Type( prim=Type.Prim(prim=PrimType.CONTRACT_ID, args=(con_type, ))) type_ = Type(prim=Type.Prim(prim=PrimType.UPDATE, args=(cid_type, ))) expected = 'Update (ContractId ABC:DefGhi)' actual = str(type_) assert expected == actual
def test_render_list_of_contract_type_con_new(self): from dazl.damlast.daml_lf_1 import PrimType, Type from dazl.model.types import ModuleRef, TypeReference module_ref = ModuleRef(package_id='00000000000000000000000000000000', module_name=('ABC', )) con_type = Type(con=Type.Con( tycon=TypeReference(module=module_ref, name=( 'DefGhi', )), args=())) cid_type = Type( prim=Type.Prim(prim=PrimType.CONTRACT_ID, args=(con_type, ))) type_ = Type(prim=Type.Prim(prim=PrimType.LIST, args=(cid_type, ))) expected = '[ContractId ABC:DefGhi]' actual = str(type_) self.assertEqual(expected, actual)
def simple_type_ref(name) -> TypeReference: return TypeReference(module=ModuleRef('pkg0', ()), name=dotted_name(name))