aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/index.tsx
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-03 17:58:29 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-03 17:58:29 +0200
commit9a0ce63d0f52251270e7c0ed6405c03ae15e98a5 (patch)
treec163ac1b0e4d59a4b0b8c02146bf8551bdc32187 /subprojects/frontend/src/index.tsx
parentfeat: scope propagator in language (diff)
downloadrefinery-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.tsx8
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
18const initialValue = `// Metamodel 18const initialValue = `% Metamodel
19class Person { 19class 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
30error replyToNotFriend(Post x, Post y) <-> 30error 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
37error replyToCycle(Post x) <-> replyTo+(x, x). 37error replyToCycle(Post x) <-> replyTo+(x, x).
38 38
39// Instance model 39% Instance model
40friend(a, b). 40friend(a, b).
41author(p1, a). 41author(p1, a).
42author(p2, b). 42author(p2, b).
43 43
44!author(Post::new, a). 44!author(Post::new, a).
45 45
46// Scope 46% Scope
47scope Post = 10..15, Person += 0. 47scope Post = 10..15, Person += 0.
48`; 48`;
49 49