aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/docs/src/learn/tutorials/file-system/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/docs/src/learn/tutorials/file-system/index.md')
-rw-r--r--subprojects/docs/src/learn/tutorials/file-system/index.md16
1 files changed, 12 insertions, 4 deletions
diff --git a/subprojects/docs/src/learn/tutorials/file-system/index.md b/subprojects/docs/src/learn/tutorials/file-system/index.md
index 1d15512f..365d0fba 100644
--- a/subprojects/docs/src/learn/tutorials/file-system/index.md
+++ b/subprojects/docs/src/learn/tutorials/file-system/index.md
@@ -42,7 +42,9 @@ import Link from '@docusaurus/Link';
42- Notice that the syntax is essentially identical to [Xcore](https://wiki.eclipse.org/Xcore). 42- Notice that the syntax is essentially identical to [Xcore](https://wiki.eclipse.org/Xcore).
43- Review the partial model visualization. You should get something like this: 43- Review the partial model visualization. You should get something like this:
44 44
45![Initial model](fig1.png) 45import Fig1 from './fig1.svg';
46
47<Fig1 title="Initial model" />
46 48
47- Add some statements about a partial model: 49- Add some statements about a partial model:
48 50
@@ -64,7 +66,9 @@ File(img).
64scope node = 10. 66scope node = 10.
65``` 67```
66 68
67![Partial model extended with new facts](fig2.png) 69import Fig2 from './fig2.svg';
70
71<Fig2 title="Partial model extended with new facts" />
68 72
69### Partial models 73### Partial models
70 74
@@ -72,7 +76,9 @@ scope node = 10.
72 76
73- Check the disabled `equals` and `exist` predicates. check the visual annotation of those predicates in the visualization (dashed line, shadow). 77- Check the disabled `equals` and `exist` predicates. check the visual annotation of those predicates in the visualization (dashed line, shadow).
74 78
75![Object existence and equality](fig3.png) 79import Fig3 from './fig3.svg';
80
81<Fig3 title="Object existence and equality" />
76 82
77### Information merging 83### Information merging
78 84
@@ -95,7 +101,9 @@ element(resources, img).
95 101
96- Inconsistent models parts in a partial model typically make the problem trivially unsatisfiable. 102- Inconsistent models parts in a partial model typically make the problem trivially unsatisfiable.
97 103
98![Inconsistent partial model](fig4.png) 104import Fig4 from './fig4.svg';
105
106<Fig4 title="Inconsistent partial model" />
99 107
100- However, the model can be saved if the inconsistent part may not exist... 108- However, the model can be saved if the inconsistent part may not exist...
101 109