Python DottedName Examples

Example #1

File: test_daml_lf_1.py Project: gerolf-da/dazl-client

def test_type_con_name():
    a = PackageRef(
        "deadbeef00000000000000000000000000000000000000000000000000000000")
    con1 = TypeConName(module=ModuleRef(a, DottedName(["Some", "Module"])),
                       name=["Iou"])
    con2 = TypeConName(module=ModuleRef(a, DottedName(["Some", "Module"])),
                       name=["Iou"])
    assert con1 == con2
    assert hash(con1) == hash(con2)

Example #2

File: test_pretty_daml.py Project: gerolf-da/dazl-client

def test_render_update_of_contract_type_con():
    module_ref = ModuleRef(
        package_id=PackageRef("00000000000000000000000000000000"),
        module_name=DottedName(("ABC", )))
    name = TypeConName(module=module_ref, name=("DefGhi", ))
    type_ = daml.Update(daml.ContractId(daml.con(name)))

    expected = "Update (ContractId ABC:DefGhi)"
    actual = str(type_)

    assert expected == actual

Example #3

File: test_pretty_daml.py Project: AlignmentSystems/dazl-client

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

Example #4

File: test_pretty_daml.py Project: AlignmentSystems/dazl-client

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=PackageRef('00000000000000000000000000000000'),
        module_name=DottedName(('ABC', )))
    con_type = Type(con=Type.Con(
        tycon=TypeConName(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