diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-31 02:06:07 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:15 +0100 |
| commit | d933f00be208a586143b35d06e689f94a6a6f7e6 (patch) | |
| tree | d9d1eddd6058a48f5c5189a2d8bb1b77f2ab5579 /language-web/src/main/js/index.tsx | |
| parent | fix(web): fix server-side content assist filtering (diff) | |
| download | refinery-d933f00be208a586143b35d06e689f94a6a6f7e6.tar.gz refinery-d933f00be208a586143b35d06e689f94a6a6f7e6.tar.zst refinery-d933f00be208a586143b35d06e689f94a6a6f7e6.zip | |
feat(web): client support for transformation rules
Diffstat (limited to 'language-web/src/main/js/index.tsx')
| -rw-r--r-- | language-web/src/main/js/index.tsx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx index 595498fc..dfecde37 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx | |||
| @@ -31,6 +31,13 @@ pred invalidTaxStatus(Person p) <-> | |||
| 31 | parent(p, q), | 31 | parent(p, q), |
| 32 | !taxStatus(q, retired). | 32 | !taxStatus(q, retired). |
| 33 | 33 | ||
| 34 | direct rule createChild(p): | ||
| 35 | children(p, newPerson) = unknown, | ||
| 36 | equals(newPerson, newPerson) = unknown | ||
| 37 | ~> new q, | ||
| 38 | children(p, q) = true, | ||
| 39 | taxStatus(q, child) = true. | ||
| 40 | |||
| 34 | unique family. | 41 | unique family. |
| 35 | Family(family). | 42 | Family(family). |
| 36 | members(family, anne). | 43 | members(family, anne). |