From 37340f19b0f561c0d85f58834e8f716ba6234f10 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 17 Aug 2023 18:16:48 +0200 Subject: fix: opposite translation error reporting --- subprojects/frontend/src/index.tsx | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) (limited to 'subprojects/frontend') 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'; const initialValue = `// Metamodel class Person { + contains Post[] posts opposite author Person[] friend opposite friend } class Post { - Person[1] author + container Person[1] author opposite posts Post replyTo } @@ -30,15 +31,9 @@ error replyToNotFriend(Post x, Post y) <-> error replyToCycle(Post x) <-> replyTo+(x, x). // Instance model -Person(a). -Person(b). friend(a, b). -friend(b, a). -Post(p1). author(p1, a). -Post(p2). author(p2, b). -replyTo(p2, p1). !author(Post::new, a). -- cgit v1.2.3-70-g09d2