diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps index 9ca59b234..ae1a2f763 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps @@ -3168,8 +3168,8 @@ - - + + @@ -3928,7 +3928,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps index 7756cc3c9..a38fd8dc6 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps @@ -1247,7 +1247,7 @@ - + @@ -1949,7 +1949,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps index b3cb0481a..fc66c1554 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.behavior.mps @@ -329,7 +329,7 @@ - + @@ -338,7 +338,7 @@ - + @@ -349,7 +349,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps index 7fe55a236..6e878ed1f 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.structure.mps @@ -40,7 +40,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index 13db65b08..824d99591 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -1974,6 +1974,25 @@ + + + + + + + + + + + + + + + + + + + @@ -2048,6 +2067,16 @@ + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps index a5c8df12e..0ec7df546 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.bayesian_network.sandbox/models/com.fasten.safety.bayesian_network.sandbox._010_sandbox.mps @@ -305,23 +305,23 @@ - - + + - - + + - - + + - - + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index df3cf909f..dfc06e416 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -2016,7 +2016,7 @@ - + @@ -2039,6 +2039,25 @@ + + + + + + + + + + + + + + + + + + + @@ -2113,6 +2132,16 @@ + + + + + + + + + + @@ -14620,7 +14649,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps index 355d59784..fe9adf067 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps @@ -2977,6 +2977,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/temp/pdf_export.pdf b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/temp/pdf_export.pdf deleted file mode 100644 index b919fe399..000000000 Binary files a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/temp/pdf_export.pdf and /dev/null differ diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps index d2082df91..e3f23a1a7 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps @@ -1170,7 +1170,7 @@ - + @@ -1185,7 +1185,7 @@ - + @@ -1199,7 +1199,7 @@ - + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl index 9050f1e79..9e1786c90 100644 --- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl @@ -20,6 +20,8 @@ c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) + 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) @@ -70,6 +72,7 @@ + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.behavior.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.behavior.mps index b29dcdf15..906688b21 100644 --- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.behavior.mps +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.behavior.mps @@ -4,6 +4,7 @@ + @@ -19,10 +20,19 @@ - - - - + + + + + + + + + + + + + @@ -40,14 +50,22 @@ + + + + + + + + @@ -66,19 +84,31 @@ + + + + + + + + + + + + @@ -100,13 +130,22 @@ + + + + + + + + + @@ -128,6 +167,10 @@ + + + + @@ -139,11 +182,15 @@ + + + + @@ -151,7 +198,21 @@ + + + + + + + + + + + + + + @@ -162,6 +223,12 @@ + + + + + + @@ -177,7 +244,22 @@ + + + + + + + + + + + + + + + @@ -186,6 +268,10 @@ + + + + @@ -301,7 +387,7 @@ - + @@ -434,7 +520,7 @@ - + @@ -450,7 +536,7 @@ - + @@ -479,7 +565,7 @@ - + @@ -518,7 +604,7 @@ - + @@ -561,7 +647,7 @@ - + @@ -593,7 +679,7 @@ - + @@ -653,468 +739,1531 @@ - - - - - - - + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + - - - - - + + + + + + + + + + + + + + + - - + + - - - - - - - + + + + + + + + + + + + + + + + - - - + + - + - - + + - + - + - - - - - - - + + - - - + + + - - - - - - - + + - - - - + + + + - - - + + - - + + - - - - + + + + - + - - + + - - - - - - + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - - - + + + + + - - + + + + + - - - - - - - - - - - - - - + + + + + + + + + - - - - - - + + + + + + + + - - - - + + + + + - - - - - - - - + + - - - - - - - - - - + + + + + + + + + + + + - - - - - - + + + + + + + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + - + - - - - + + + + - + - - + + - - - - + + + + - + - - - - + + + + - + - - + + - + - + - - - + + + - + - - - + + + - + - - - - + + + + - + - - - - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.constraints.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.constraints.mps index dd33ff6cb..00c99416f 100644 --- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.constraints.mps +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.constraints.mps @@ -58,8 +58,8 @@ - - + + @@ -78,8 +78,8 @@ - - + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.editor.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.editor.mps index 16b2e2a8f..bf980a091 100644 --- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.editor.mps +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.editor.mps @@ -22,7 +22,9 @@ - + + + @@ -188,6 +190,15 @@ + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps index 0faeefd68..5051d80da 100644 --- a/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.structure.mps @@ -33,6 +33,7 @@ + @@ -44,6 +45,10 @@ + + + + @@ -101,6 +106,11 @@ + + + + + @@ -127,7 +137,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd index c13f54715..101c0ed4a 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd @@ -38,7 +38,6 @@ - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd index b9c388209..bda5d7a03 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd @@ -6,6 +6,10 @@ + + + + @@ -15,6 +19,7 @@ + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/lib/graphics2d-3.0.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/lib/graphics2d-3.0.1.jar new file mode 100644 index 000000000..41484473e Binary files /dev/null and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/lib/graphics2d-3.0.1.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps index 125c24b32..b389c22f0 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps @@ -14,15 +14,8 @@ - - - - - - - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/.model b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/.model index b291413cc..4b6b6c6e3 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/.model +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/.model @@ -4,6 +4,7 @@ + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/pdf_export_demo.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/pdf_export_demo.mpsr new file mode 100644 index 000000000..befb55ac5 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/pdf_export_demo.mpsr @@ -0,0 +1,68 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +