diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 18:16:48 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 18:16:48 +0200 |
commit | 37340f19b0f561c0d85f58834e8f716ba6234f10 (patch) | |
tree | bfe752847d007cf52f470694d7db55988cf95aba /subprojects/frontend/src | |
parent | fix: containment link translation (diff) | |
download | refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.tar.gz refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.tar.zst refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.zip |
fix: opposite translation error reporting
Diffstat (limited to 'subprojects/frontend/src')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index a2746748..077bae79 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -12,11 +12,12 @@ import RootStore from './RootStore'; | |||
12 | 12 | ||
13 | const initialValue = `// Metamodel | 13 | const initialValue = `// Metamodel |
14 | class Person { | 14 | class Person { |
15 | contains Post[] posts opposite author | ||
15 | Person[] friend opposite friend | 16 | Person[] friend opposite friend |
16 | } | 17 | } |
17 | 18 | ||
18 | class Post { | 19 | class Post { |
19 | Person[1] author | 20 | container Person[1] author opposite posts |
20 | Post replyTo | 21 | Post replyTo |
21 | } | 22 | } |
22 | 23 | ||
@@ -30,15 +31,9 @@ error replyToNotFriend(Post x, Post y) <-> | |||
30 | error replyToCycle(Post x) <-> replyTo+(x, x). | 31 | error replyToCycle(Post x) <-> replyTo+(x, x). |
31 | 32 | ||
32 | // Instance model | 33 | // Instance model |
33 | Person(a). | ||
34 | Person(b). | ||
35 | friend(a, b). | 34 | friend(a, b). |
36 | friend(b, a). | ||
37 | Post(p1). | ||
38 | author(p1, a). | 35 | author(p1, a). |
39 | Post(p2). | ||
40 | author(p2, b). | 36 | author(p2, b). |
41 | replyTo(p2, p1). | ||
42 | 37 | ||
43 | !author(Post::new, a). | 38 | !author(Post::new, a). |
44 | 39 | ||