From a17708ac1ddcfa8dd53ff7be9bfb0e5ba43a0cea Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 30 Jun 2021 11:42:41 +0200 Subject: Convert to React app --- language-web/src/main/html/index.html | 45 +++++------------------------------ 1 file changed, 6 insertions(+), 39 deletions(-) (limited to 'language-web/src/main/html') diff --git a/language-web/src/main/html/index.html b/language-web/src/main/html/index.html index 915234d3..01b4e536 100644 --- a/language-web/src/main/html/index.html +++ b/language-web/src/main/html/index.html @@ -5,44 +5,11 @@ Example Web Editor -
-
-

Example Problem Web Editor

-
-
- 
class Family {
-  contains Person[] members
-}
-
-class Person {
-  Person[] children opposite parent
-  Person[0..1] parent opposite children
-  int age
-  TaxStatus taxStatus
-}
-
-enum TaxStatus {
-  child, student, adult, retired
-}
-
-% A child cannot have any dependents.
-error invalidTaxStatus(Person p) :-
-  taxStatus(p, child), children(p, _q).
-
-Family('family').
-members('family', anne).
-members('family', bob).
-members('family', ciri).
-children(anne, ciri).
-?children(bob, ciri).
-taxStatus(anne, adult).
-age(anne, 35).
-bobAge: 27.
-age(bob, bobAge).
-!age(ciri, bobAge).
-
-scope Family = 1, Person += 5..10.
-
-
+ +
-- cgit v1.2.3-70-g09d2