Skip to content

Commit

Permalink
mpsbasics: support exporting of html snippets to pdf (#123)
Browse files Browse the repository at this point in the history 
* mpsbasics: enable exporting of HTML Snippets

* safety-tutorial: enhanced the demo about exporting assurance cases to PDF
  • Loading branch information
@danielratiu
danielratiu authored Dec 21, 2024
1 parent 6d79d76 commit 9f067f6
Show file tree
Hide file tree
Showing 21 changed files with 3,406 additions and 1,107 deletions.
65 changes: 65 additions & 0 deletions ....formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -605,6 +605,9 @@
<node concept="m$_yC" id="3TNxfDZ8qPv" role="m$_yJ">
<ref role="m$_y1" to="al5i:Vtr7jyB0oM" resolve="com.mbeddr.mpsutil.filepicker" />
</node>
<node concept="m$_yC" id="hKYaKNdjV$" role="m$_yJ">
<ref role="m$_y1" to="90a9:3$A0JaN5ezp" resolve="MPS.ThirdParty" />
</node>
</node>
<node concept="m$_wf" id="2MrvZqtGPGn" role="3989C9">
<property role="m$_wk" value="com.mpsbasics.testutils" />
Expand Down Expand Up @@ -2095,6 +2098,63 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc7M8" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc7M9" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc7LV" role="1BurEY">
<ref role="398BVh" node="6hyv0iVPlDT" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc7LW" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc7LX" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc7LY" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc7LZ" role="2Ry0An">
<property role="2Ry0Am" value="openhtmltopdf-core-1.1.23.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc7Mn" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc7Mo" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc7Ma" role="1BurEY">
<ref role="398BVh" node="6hyv0iVPlDT" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc7Mb" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc7Mc" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc7Md" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc7Me" role="2Ry0An">
<property role="2Ry0Am" value="openhtmltopdf-pdfbox-1.1.23.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc7MA" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc7MB" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc7Mp" role="1BurEY">
<ref role="398BVh" node="6hyv0iVPlDT" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc7Mq" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc7Mr" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc7Ms" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc7Mt" role="2Ry0An">
<property role="2Ry0Am" value="xmpbox-3.0.1.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1E1JtD" id="2u7UHDC1TKp" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down Expand Up @@ -2195,6 +2255,11 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc7Nd" role="3bR37C">
<node concept="3bR9La" id="hKYaKNc7Ne" role="1SiIV1">
<ref role="3bR37D" to="90a9:3$A0JaN5bpX" resolve="MPS.ThirdParty" />
</node>
</node>
</node>
<node concept="1E1JtA" id="2wSfKqy9hC9" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down
65 changes: 65 additions & 0 deletions ...safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -782,6 +782,9 @@
<node concept="m$_yC" id="3TNxfDZ8qPv" role="m$_yJ">
<ref role="m$_y1" to="al5i:Vtr7jyB0oM" resolve="com.mbeddr.mpsutil.filepicker" />
</node>
<node concept="m$_yC" id="hKYaKNdlcG" role="m$_yJ">
<ref role="m$_y1" to="90a9:3$A0JaN5ezp" resolve="MPS.ThirdParty" />
</node>
</node>
<node concept="m$_wf" id="2MrvZqtDsQE" role="3989C9">
<property role="m$_wk" value="com.mpsbasics.testutils" />
Expand Down Expand Up @@ -2347,6 +2350,63 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc91F" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc91G" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc91u" role="1BurEY">
<ref role="398BVh" node="7he_lUum_$u" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc91v" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc91w" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc91x" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc91y" role="2Ry0An">
<property role="2Ry0Am" value="openhtmltopdf-core-1.1.23.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc91U" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc91V" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc91H" role="1BurEY">
<ref role="398BVh" node="7he_lUum_$u" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc91I" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc91J" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc91K" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc91L" role="2Ry0An">
<property role="2Ry0Am" value="openhtmltopdf-pdfbox-1.1.23.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc929" role="3bR37C">
<node concept="1BurEX" id="hKYaKNc92a" role="1SiIV1">
<node concept="398BVA" id="hKYaKNc91W" role="1BurEY">
<ref role="398BVh" node="7he_lUum_$u" resolve="mpsbasics.code" />
<node concept="2Ry0Ak" id="hKYaKNc91X" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
<node concept="2Ry0Ak" id="hKYaKNc91Y" role="2Ry0An">
<property role="2Ry0Am" value="com.mpsbasics.pdfbox" />
<node concept="2Ry0Ak" id="hKYaKNc91Z" role="2Ry0An">
<property role="2Ry0Am" value="lib" />
<node concept="2Ry0Ak" id="hKYaKNc920" role="2Ry0An">
<property role="2Ry0Am" value="xmpbox-3.0.1.jar" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1E1JtD" id="2u7UHDC1TKp" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down Expand Up @@ -2447,6 +2507,11 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="hKYaKNc92K" role="3bR37C">
<node concept="3bR9La" id="hKYaKNc92L" role="1SiIV1">
<ref role="3bR37D" to="90a9:3$A0JaN5bpX" resolve="MPS.ThirdParty" />
</node>
</node>
</node>
<node concept="1E1JtA" id="2wSfKqy9hC9" role="2G$12L">
<property role="BnDLt" value="true" />
Expand Down
2 changes: 2 additions & 0 deletions ...languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
<dependency reexport="false">6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils)</dependency>
<dependency reexport="false">34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">39983771-4e9b-401b-a1a9-1da6c777c843(MPS.ThirdParty)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
Expand Down Expand Up @@ -67,6 +68,7 @@
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="39983771-4e9b-401b-a1a9-1da6c777c843(MPS.ThirdParty)" version="0" />
<module reference="d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker)" version="0" />
<module reference="6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils)" version="0" />
<module reference="bc7d0863-298c-41cf-984f-a0421e757da5(com.mpsbasics.pdfbox)" version="0" />
Expand Down
Loading

0 comments on commit 9f067f6

Please sign in to comment.