mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 08:47:14 +03:00
67 lines
1.4 KiB
Plaintext
67 lines
1.4 KiB
Plaintext
## Article
|
|
|
|
```catala
|
|
declaration scope A:
|
|
context output x content integer
|
|
context output u content boolean
|
|
|
|
declaration scope B:
|
|
a1 scope A
|
|
a2 scope A
|
|
context output y content integer
|
|
|
|
declaration scope C:
|
|
a scope A
|
|
b scope B
|
|
context output z content integer
|
|
|
|
scope A:
|
|
definition x equals 0
|
|
definition u equals true
|
|
|
|
scope B:
|
|
definition a2.x under condition a1.u consequence equals 1
|
|
definition y under condition a2.x = 1 consequence equals 1
|
|
definition y under condition a2.x + 1 = 2 consequence equals 1
|
|
|
|
scope C:
|
|
definition a.x equals 2
|
|
definition b.y equals 3
|
|
definition z equals 2
|
|
```
|
|
|
|
```catala-test-inline
|
|
$ catala Interpret -s A
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] u = true
|
|
[RESULT] x = 0
|
|
```
|
|
|
|
```catala-test-inline
|
|
$ catala Interpret -s B
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] y = 1
|
|
```
|
|
|
|
```catala-test-inline
|
|
$ catala Interpret -s C
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] z = 2
|
|
```
|
|
```catala-test-inline
|
|
$ catala Interpret_Lcalc -s A --avoid_exceptions --optimize
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] u = true
|
|
[RESULT] x = 0
|
|
```
|
|
```catala-test-inline
|
|
$ catala Interpret_Lcalc -s B --avoid_exceptions --optimize
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] y = 1
|
|
```
|
|
```catala-test-inline
|
|
$ catala Interpret_Lcalc -s C --avoid_exceptions --optimize
|
|
[RESULT] Computation successful! Results:
|
|
[RESULT] z = 2
|
|
```
|