diff options
Diffstat (limited to 'subprojects/docs/src/learn/tutorials/file-system/index.md')
-rw-r--r-- | subprojects/docs/src/learn/tutorials/file-system/index.md | 16 |
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) | 45 | import 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). | |||
64 | scope node = 10. | 66 | scope node = 10. |
65 | ``` | 67 | ``` |
66 | 68 | ||
67 | ![Partial model extended with new facts](fig2.png) | 69 | import 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) | 79 | import 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) | 104 | import 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 | ||