plotkin/main.py at master · Zekka/plotkin · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
from plotkin import API

api = API()

kind_object = api.create_kind("object")
kind_object.add_field("name", "&'static str")

kind_person = api.create_kind("person", kind_object)
kind_person.add_field("gender", "&'static str")

kind_food = api.create_kind("food", kind_object)

entities_cabinet = []
for name, fullname, gender in [
    ("george_bush", '''"George W. Bush"''', '''"Male"'''),
    ("dick_cheney", '''"Dick Cheney"''', '''"Male"'''),
    ("colin_powell", '''"Colin Powell"''', '''"Male"'''),
    ("condoleeza_rice", '''"Condoleeza Rice"''', '''"Female"'''),
    ("paul_oneill", '''"Paul O'Neill"''', '''"Male"'''),
    ("john_snow", '''"John W. Snow"''', '''"Male"'''),
    ("henry_paulson", '''"Henry Paulson"''', '''"Male"'''),
    ("donald_rumsfeld", '''"Donald Rumsfeld"''', '''"Male"'''),
    ("robert_gates", '''"Robert Gates"''', '''"Male"'''),
]:
    entity = api.create_entity(name, kind_person)
    entity.add_initializer("name", fullname)
    entity.add_initializer("gender", gender)
    entities_cabinet.append(entity)

entity_pizza = api.create_entity("pizza", kind_food)
entity_broccoli = api.create_entity("broccoli", kind_food)

entity_pizza.add_initializer("name", '''"pizza"''')
entity_broccoli.add_initializer("name", '''"broccoli"''')

rulebook_player = api.create_rulebook("player", "()")
rulebook_player.add_action(
    "Attack(H<world::kinds::person::Type>, H<world::kinds::person::Type>)"
)

rulebook_player.add_instead("door", "instead_of_opening")
rulebook_player.add_before("door", "before_opening")
rulebook_player.add_perform("door", "perform_opening")
rulebook_player.add_after("door", "after_opening")

api.relate("inside_of").from_many("inner", "usize", None).to_one(
    "outer", "isize", None
).create()

api.relate("outside_of").from_one("outer", "usize", None).to_many(
    "inner", "isize", None
).create()

api.relate("has_attacked").from_many("attacker", "usize", None).to_many(
    "target", "isize", None
).create()

api.relate("supplies_to").from_one("seller", "usize", None).to_one(
    "buyer", "isize", None
).create()

api.relate("married_to").one_symmetric("spouse", "usize", None).create()

favorite_food = (
    api.relate("favorite_food")
    .from_many("favorer", "H<world::kinds::person::Type>", kind_person.ref)
    .to_one("food", "H<world::kinds::food::Type>", kind_food.ref, optional=False)
    .create()
)

for i, ent in enumerate(entities_cabinet):
    favorite_food.add_initializer(
        ent.ref, entity_broccoli.ref if i in [2, 3, 6] else entity_pizza.ref
    )

api.update("sampleproject/src")

"""
for name, lhs, lhs_card, rhs, rhs_card in [
    ("inside_of", "outer", Cardinality.ManyZero, "inner", Cardinality.OneZero),
    ("outside_of", "inner", Cardinality.OneZero, "outer", Cardinality.ManyZero),
    (
        "has_attacked",
        "attacker",
        Cardinality.ManyZero,
        "defender",
        Cardinality.ManyZero,
    ),
    ("supplies_to", "seller", Cardinality.OneZero, "customer", Cardinality.OneZero),
]:
    relations.create_relation(
        RelationItemRef(name),
        Side(lhs, "usize", lhs_card, None),
        Side(rhs, "isize", rhs_card, None),
        False,
    )

relations.create_relation(
    RelationItemRef("married"),
    Side("spouse", "usize", Cardinality.OneZero, None),
    Side("spouse", "usize", Cardinality.OneZero, None),
    True,
)

favorite_food = relations.create_relation(
    RelationItemRef("favorite_food"),
    Side("favorer", "H<world::kinds::person::Type>", Cardinality.One, kind_person.ref),
    Side("food", "H<world::kinds::food::Type>", Cardinality.ManyZero, kind_food.ref),
    False,
)

for i, ent in enumerate(entities_cabinet):
    favorite_food.add_initializer(
        ent.ref, entity_broccoli.ref if i in [2, 3, 6] else entity_pizza.ref
    )
"""