diff options
author | 2023-09-03 17:58:29 +0200 | |
---|---|---|
committer | 2023-09-03 17:58:29 +0200 | |
commit | 9a0ce63d0f52251270e7c0ed6405c03ae15e98a5 (patch) | |
tree | c163ac1b0e4d59a4b0b8c02146bf8551bdc32187 /subprojects/frontend/src/index.tsx | |
parent | feat: scope propagator in language (diff) | |
download | refinery-9a0ce63d0f52251270e7c0ed6405c03ae15e98a5.tar.gz refinery-9a0ce63d0f52251270e7c0ed6405c03ae15e98a5.tar.zst refinery-9a0ce63d0f52251270e7c0ed6405c03ae15e98a5.zip |
chore: prefer Prolog-style comments
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index e14486d6..e8a22e82 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -15,7 +15,7 @@ import RootStore from './RootStore'; | |||
15 | // https://github.com/mui/material-ui/issues/32727#issuecomment-1659945548 | 15 | // https://github.com/mui/material-ui/issues/32727#issuecomment-1659945548 |
16 | (window as unknown as { fixViteIssue: unknown }).fixViteIssue = styled; | 16 | (window as unknown as { fixViteIssue: unknown }).fixViteIssue = styled; |
17 | 17 | ||
18 | const initialValue = `// Metamodel | 18 | const initialValue = `% Metamodel |
19 | class Person { | 19 | class Person { |
20 | contains Post[] posts opposite author | 20 | contains Post[] posts opposite author |
21 | Person[] friend opposite friend | 21 | Person[] friend opposite friend |
@@ -26,7 +26,7 @@ class Post { | |||
26 | Post replyTo | 26 | Post replyTo |
27 | } | 27 | } |
28 | 28 | ||
29 | // Constraints | 29 | % Constraints |
30 | error replyToNotFriend(Post x, Post y) <-> | 30 | error replyToNotFriend(Post x, Post y) <-> |
31 | replyTo(x, y), | 31 | replyTo(x, y), |
32 | author(x, xAuthor), | 32 | author(x, xAuthor), |
@@ -36,14 +36,14 @@ error replyToNotFriend(Post x, Post y) <-> | |||
36 | 36 | ||
37 | error replyToCycle(Post x) <-> replyTo+(x, x). | 37 | error replyToCycle(Post x) <-> replyTo+(x, x). |
38 | 38 | ||
39 | // Instance model | 39 | % Instance model |
40 | friend(a, b). | 40 | friend(a, b). |
41 | author(p1, a). | 41 | author(p1, a). |
42 | author(p2, b). | 42 | author(p2, b). |
43 | 43 | ||
44 | !author(Post::new, a). | 44 | !author(Post::new, a). |
45 | 45 | ||
46 | // Scope | 46 | % Scope |
47 | scope Post = 10..15, Person += 0. | 47 | scope Post = 10..15, Person += 0. |
48 | `; | 48 | `; |
49 | 49 | ||