Skip to content

Commit

Permalink
ft: fixed layout
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Jun 13, 2024
1 parent 69fd683 commit 7b9c22f
Show file tree
Hide file tree
Showing 2 changed files with 216 additions and 62 deletions.
154 changes: 154 additions & 0 deletions ...beddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -408,6 +408,9 @@
<child id="5855146979801445196" name="width" index="2JxpDF" />
<child id="5855146979801445211" name="height" index="2JxpDW" />
</concept>
<concept id="8433227566816385664" name="de.itemis.mps.editor.diagram.structure.ILayoutAlgorithm" flags="ng" index="35SPa">
<child id="2064429317493348220" name="config" index="3pGojU" />
</concept>
<concept id="6554619383003875357" name="de.itemis.mps.editor.diagram.structure.InlineEditorComponent" flags="ig" index="238au4" />
<concept id="8433227566817223068" name="de.itemis.mps.editor.diagram.structure.LayeredLayoutAlgorithm" flags="ng" index="39fpm">
<property id="7623784619795245948" name="direction" index="1NdBj4" />
Expand Down Expand Up @@ -459,6 +462,15 @@
<concept id="5383048119156619323" name="de.itemis.mps.editor.diagram.structure.IDiagramElementsProvider" flags="ng" index="HB_m5">
<child id="3155126767688717334" name="contentList" index="aCds2" />
</concept>
<concept id="5878290447138467534" name="de.itemis.mps.editor.diagram.structure.Padding" flags="ng" index="POkNa">
<property id="5878290447138468454" name="top" index="POl1y" />
<property id="5878290447138468820" name="right" index="POl7g" />
<property id="5878290447138469609" name="bottom" index="POljH" />
<property id="5878290447138469821" name="left" index="POlmT" />
</concept>
<concept id="5878290447138443303" name="de.itemis.mps.editor.diagram.structure.ContentAlignment" flags="ng" index="POr8z">
<property id="5878290447138443694" name="alignment" index="POreE" />
</concept>
<concept id="5112292084089908370" name="de.itemis.mps.editor.diagram.structure.EditorContextExpression" flags="ng" index="UMIS2" />
<concept id="6237710625713195816" name="de.itemis.mps.editor.diagram.structure.CellModel_DiagramNode" flags="ng" index="2ZK4vF">
<child id="7464726264117682823" name="shape" index="2xQQDV" />
Expand All @@ -471,6 +483,18 @@
<concept id="6237710625713942002" name="de.itemis.mps.editor.diagram.structure.Content_BLQuery" flags="ig" index="2ZMM4L" />
<concept id="6237710625713964946" name="de.itemis.mps.editor.diagram.structure.Parameter_Node" flags="ng" index="2ZN8Hh" />
<concept id="5468226901223973329" name="de.itemis.mps.editor.diagram.structure.PortObject" flags="ng" index="15kUEO" />
<concept id="3662141892379115490" name="de.itemis.mps.editor.diagram.structure.Margin" flags="ng" index="36xZl7">
<property id="3662141892379115493" name="bottom" index="36xZl0" />
<property id="3662141892379115492" name="right" index="36xZl1" />
<property id="3662141892379115494" name="left" index="36xZl3" />
<property id="3662141892379115491" name="top" index="36xZl6" />
</concept>
<concept id="3662141892377043655" name="de.itemis.mps.editor.diagram.structure.ISupportTopdownPacking" flags="ng" index="36TQxy">
<property id="3662141892371757000" name="topdownHierarchicalNodeAspectRatio" index="31dVPH" />
<property id="3662141892371761113" name="topdownScaleFactor" index="31dWPW" />
<property id="3662141892374571168" name="topdownNodeType" index="36KE85" />
<property id="3662141892374569619" name="topdownHierarchicalNodeWidth" index="36KEwQ" />
</concept>
<concept id="5051221038171022699" name="de.itemis.mps.editor.diagram.structure.ShadeColor" flags="lg" index="38c6YI" />
<concept id="4277219764978107440" name="de.itemis.mps.editor.diagram.structure.SNodeConncetionType_toNode" flags="ng" index="3m_Ry6" />
<concept id="4277219764978107398" name="de.itemis.mps.editor.diagram.structure.SNodeConncetionType_fromNode" flags="ng" index="3m_RyK" />
Expand Down Expand Up @@ -502,6 +526,59 @@
</concept>
<concept id="8637411062062623445" name="de.itemis.mps.editor.diagram.structure.Parameter_PaletteFolder_Concept" flags="ng" index="1yATlc" />
<concept id="6987730699889040828" name="de.itemis.mps.editor.diagram.structure.LineColor" flags="lg" index="3C0NmK" />
<concept id="3333801137936756207" name="de.itemis.mps.editor.diagram.structure.LayeredLayoutConfig" flags="ng" index="3GLQun">
<property id="3662141892379183286" name="highDegreeNodeMaximumTreeHeight" index="36x08j" />
<property id="3662141892379184421" name="highDegreeNodeThreshold" index="36x0u0" />
<property id="3662141892379181918" name="hierarchicalSweepiness" index="36x0BV" />
<property id="3662141892379181279" name="greedySwitchCrossingminimizationHierarchical" index="36x0DU" />
<property id="3662141892379187702" name="improveCuts" index="36x1dj" />
<property id="3662141892379188269" name="improveWrappedEdges" index="36x1q8" />
<property id="3662141892379186382" name="horizontalSpacingBetweenLabelAndPort" index="36x1TF" />
<property id="3662141892379191931" name="labelSpacing" index="36x23u" />
<property id="3662141892379192633" name="layerBound" index="36x2us" />
<property id="3662141892379191100" name="labelNodeSpacing" index="36x2Qp" />
<property id="3662141892379194849" name="linearSegmentDeflectionDampening" index="36x3X4" />
<property id="3662141892379204315" name="maxNodePromotionIterations" index="36x51Y" />
<property id="3662141892379206070" name="mergeHierarchyCrossingEdges" index="36x6Gj" />
<property id="3662141892379207456" name="msdFreedom" index="36x6Q5" />
<property id="3662141892379211526" name="nodeNodeBetweenLayersSpacing" index="36x7Qz" />
<property id="3662141892379155187" name="crossingCounterPortInfluence" index="36x91m" />
<property id="3662141892379153202" name="correctionFactorForWrapping" index="36x9An" />
<property id="3662141892379154155" name="crossingCounterNodeInfluence" index="36x9Le" />
<property id="3662141892379160447" name="direction" index="36xanq" />
<property id="3662141892379162028" name="multiEdgeDistancePenalty" index="36xbW9" />
<property id="3662141892379167712" name="edgeNodeBetweenLayersSpacing" index="36xc55" />
<property id="3662141892379166982" name="edgeLabelSpacing" index="36xcez" />
<property id="3662141892379164867" name="edgeEdgeBetweenLayersSpacing" index="36xcDA" />
<property id="3662141892379171281" name="edgeSpacing" index="36xddO" />
<property id="3662141892379171857" name="edgeThickness" index="36xdqO" />
<property id="3662141892379168833" name="edgeNodeSpacing" index="36xdF$" />
<property id="3662141892379180082" name="greedySwitchCrossingminimization" index="36xfqn" />
<property id="3662141892379178639" name="greedySwitchActivationThreshold" index="36xfKE" />
<property id="3662141892379216113" name="nodeSelfLoopSpacing" index="36xo9k" />
<property id="3662141892379216986" name="nodeSpacing" index="36xorZ" />
<property id="3662141892379221784" name="randomizationSeed" index="36xpmX" />
<property id="3662141892379218932" name="portSpacing" index="36xp_h" />
<property id="3662141892379224606" name="slopedEdgeZoneWidth" index="36xq2V" />
<property id="3662141892379225514" name="sloppySplineLayerSpacingFactor" index="36xqsf" />
<property id="3662141892379223673" name="separateConnectedComponents" index="36xqNs" />
<property id="3662141892379228412" name="thoroughness" index="36xr9p" />
<property id="3662141892379226684" name="spacingBaseValue" index="36xryp" />
<property id="3662141892379230763" name="upperBoundOnWidthMinWidthLayerer" index="36xsye" />
<property id="3662141892379231963" name="upperLayerEstimationScalingFactorMinWidthLayerer" index="36xsLY" />
<property id="3662141892379238267" name="verticalSpacingBetweenLabelAndPort" index="36xtnu" />
<property id="3662141892379139136" name="additionalWrappedEdgesSpacing" index="36xPr_" />
<property id="3662141892379140237" name="aspectRatio" index="36xQCC" />
<property id="3662141892379147547" name="considerModelOrderStrategy" index="36xRuY" />
<property id="3662141892379145171" name="commentNodeSpacing" index="36xR_Q" />
<property id="3662141892379144303" name="commentCommentSpacing" index="36xRFa" />
<property id="3662141892379145832" name="componentsSpacing" index="36xRNd" />
<property id="2064429317495021368" name="subdiagramDirection" index="3p_KMY" />
<child id="3662141892379210077" name="nodeLabelPadding" index="36x7JS" />
<child id="3662141892379152132" name="contentAlignment" index="36x8mx" />
<child id="3662141892379217652" name="padding" index="36xohh" />
<child id="3662141892379113988" name="additionalPortSpace" index="36xZ2x" />
</concept>
<concept id="8587703283519920118" name="de.itemis.mps.editor.diagram.structure.ThisNodeExpression" flags="ng" index="1Pxb5l" />
<concept id="8587703283523590697" name="de.itemis.mps.editor.diagram.structure.ConnectionEndpoint" flags="ng" index="1PNbMa">
<child id="9064581101900868073" name="target" index="ljJml" />
Expand Down Expand Up @@ -7160,6 +7237,83 @@
</node>
<node concept="39fpm" id="5rwT_JnuRbZ" role="35U2g">
<property role="1NdBj4" value="6Bd7VwqYQBY/DOWN" />
<node concept="3GLQun" id="3M596RFvBLe" role="3pGojU">
<property role="36xPr_" value="10.0" />
<property role="36xQCC" value="1.6" />
<property role="36xRFa" value="10.0" />
<property role="36xR_Q" value="10.0" />
<property role="36xRNd" value="20.0" />
<property role="36xRuY" value="3biyEnOlw4v/NONE" />
<property role="36x9An" value="1.0" />
<property role="36x9Le" value="0.0" />
<property role="36x91m" value="0.0" />
<property role="36xbW9" value="2.0" />
<property role="36xcDA" value="10.0" />
<property role="36xcez" value="2.0" />
<property role="36xc55" value="20.0" />
<property role="36xdF$" value="10.0" />
<property role="36xddO" value="10.0" />
<property role="36xdqO" value="1.0" />
<property role="36xfKE" value="40" />
<property role="36xfqn" value="3biyEnOlBXf/TWO_SIDED" />
<property role="36x0DU" value="3biyEnOlBXk/OFF" />
<property role="36x0BV" value="0.1" />
<property role="36x08j" value="5" />
<property role="36x0u0" value="16" />
<property role="36x1TF" value="1.0" />
<property role="36x1dj" value="true" />
<property role="36x1q8" value="true" />
<property role="36x2Qp" value="5.0" />
<property role="36x23u" value="0.0" />
<property role="36x2us" value="2147483647" />
<property role="36x3X4" value="0.3" />
<property role="36x51Y" value="0" />
<property role="36x6Gj" value="true" />
<property role="36x6Q5" value="1" />
<property role="36x7Qz" value="40.0" />
<property role="36xo9k" value="10.0" />
<property role="36xorZ" value="40.0" />
<property role="36xp_h" value="10.0" />
<property role="36xpmX" value="1" />
<property role="36xqNs" value="true" />
<property role="36xq2V" value="2.0" />
<property role="36xqsf" value="0.2" />
<property role="36xr9p" value="7" />
<property role="31dVPH" value="1.414" />
<property role="36KEwQ" value="150.0" />
<property role="36KE85" value="qwNnoEIHRM/HIERARCHICAL_NODE" />
<property role="31dWPW" value="1.0" />
<property role="36xsye" value="4" />
<property role="36xsLY" value="2" />
<property role="36xtnu" value="1.0" />
<property role="3p_KMY" value="6Bd7VwqYQBY/DOWN" />
<property role="36xanq" value="6Bd7VwqYQBY/DOWN" />
<property role="36xryp" value="40.0" />
<node concept="36xZl7" id="3M596RFvBLf" role="36xZ2x">
<property role="36xZl6" value="0.0" />
<property role="36xZl1" value="0.0" />
<property role="36xZl0" value="0.0" />
<property role="36xZl3" value="0.0" />
</node>
<node concept="POr8z" id="3M596RFvBLg" role="36x8mx">
<property role="POreE" value="56jSwh$g$O2/V_TOP" />
</node>
<node concept="POr8z" id="3M596RFvBLh" role="36x8mx">
<property role="POreE" value="56jSwh$g_03/H_LEFT" />
</node>
<node concept="POkNa" id="3M596RFvBLi" role="36x7JS">
<property role="POl1y" value="5.0" />
<property role="POl7g" value="5.0" />
<property role="POljH" value="5.0" />
<property role="POlmT" value="5.0" />
</node>
<node concept="POkNa" id="3M596RFvBLj" role="36xohh">
<property role="POl1y" value="12.0" />
<property role="POl7g" value="12.0" />
<property role="POljH" value="12.0" />
<property role="POlmT" value="12.0" />
</node>
</node>
</node>
<node concept="3mAFYk" id="5rwT_JnwhXM" role="1xLlFP">
<property role="3m_KjL" value="Edge" />
Expand Down
Loading

0 comments on commit 7b9c22f

Please sign in to comment.