diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-30 21:25:41 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:15 +0100 |
commit | ac73c31388afdffe7e56236cd619a7a08eb1fac8 (patch) | |
tree | d36537cd22412960e49b5c5ef47f349c545edef9 /language-web/src/main/js/index.tsx | |
parent | feat(web): semantic highlighting (diff) | |
download | refinery-ac73c31388afdffe7e56236cd619a7a08eb1fac8.tar.gz refinery-ac73c31388afdffe7e56236cd619a7a08eb1fac8.tar.zst refinery-ac73c31388afdffe7e56236cd619a7a08eb1fac8.zip |
feat(web): use 4 space for indentation
Diffstat (limited to 'language-web/src/main/js/index.tsx')
-rw-r--r-- | language-web/src/main/js/index.tsx | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx index 13a62af0..595498fc 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx | |||
@@ -9,27 +9,27 @@ import { ThemeProvider } from './theme/ThemeProvider'; | |||
9 | import '../css/index.scss'; | 9 | import '../css/index.scss'; |
10 | 10 | ||
11 | const initialValue = `class Family { | 11 | const initialValue = `class Family { |
12 | contains Person[] members | 12 | contains Person[] members |
13 | } | 13 | } |
14 | 14 | ||
15 | class Person { | 15 | class Person { |
16 | Person[] children opposite parent | 16 | Person[] children opposite parent |
17 | Person[0..1] parent opposite children | 17 | Person[0..1] parent opposite children |
18 | int age | 18 | int age |
19 | TaxStatus taxStatus | 19 | TaxStatus taxStatus |
20 | } | 20 | } |
21 | 21 | ||
22 | enum TaxStatus { | 22 | enum TaxStatus { |
23 | child, student, adult, retired | 23 | child, student, adult, retired |
24 | } | 24 | } |
25 | 25 | ||
26 | % A child cannot have any dependents. | 26 | % A child cannot have any dependents. |
27 | pred invalidTaxStatus(Person p) <-> | 27 | pred invalidTaxStatus(Person p) <-> |
28 | taxStatus(p, child), | 28 | taxStatus(p, child), |
29 | children(p, _q) | 29 | children(p, _q) |
30 | ; taxStatus(p, retired), | 30 | ; taxStatus(p, retired), |
31 | parent(p, q), | 31 | parent(p, q), |
32 | !taxStatus(q, retired). | 32 | !taxStatus(q, retired). |
33 | 33 | ||
34 | unique family. | 34 | unique family. |
35 | Family(family). | 35 | Family(family). |