Skip to content

Commit

Permalink
all: further cleanup of errors and warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Mar 1, 2018
1 parent 44b0499 commit c7af2eb
Show file tree
Hide file tree
Showing 3 changed files with 35 additions and 16 deletions.
20 changes: 20 additions & 0 deletions ...es/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/models/editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@
<concept id="1186414536763" name="jetbrains.mps.lang.editor.structure.BooleanStyleSheetItem" flags="ln" index="VOi$J">
<property id="1186414551515" name="flag" index="VOm3f" />
</concept>
<concept id="1186414860679" name="jetbrains.mps.lang.editor.structure.EditableStyleClassItem" flags="ln" index="VPxyj" />
<concept id="1186414928363" name="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" flags="ln" index="VPM3Z" />
<concept id="1186414949600" name="jetbrains.mps.lang.editor.structure.AutoDeletableStyleClassItem" flags="ln" index="VPRnO" />
<concept id="1630016958697344083" name="jetbrains.mps.lang.editor.structure.IMenu_Concept" flags="ng" index="2ZABuq">
Expand Down Expand Up @@ -195,6 +196,25 @@
<property role="Vbekb" value="PLAIN" />
</node>
</node>
<node concept="14StLt" id="y826GHffn9" role="V601i">
<property role="TrG5h" value="OpStyle" />
<node concept="VechU" id="y826GHffoW" role="3F10Kt">
<property role="Vb096" value="black" />
</node>
<node concept="Vb9p2" id="y826GHffoY" role="3F10Kt">
<property role="Vbekb" value="PLAIN" />
</node>
</node>
<node concept="14StLt" id="2CEi94e3iKI" role="V601i">
<property role="TrG5h" value="PassiveTextStyle" />
<node concept="VPxyj" id="2CEi94dUSQp" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="Vb9p2" id="2CEi94e7jvE" role="3F10Kt" />
<node concept="VechU" id="2CEi94dZG7m" role="3F10Kt">
<property role="Vb096" value="darkGray" />
</node>
</node>
</node>
<node concept="24kQdi" id="6NmtaR1W9ps">
<property role="3GE5qa" value="expressions" />
Expand Down
2 changes: 1 addition & 1 deletion .../languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2074,7 +2074,7 @@
<node concept="3EZMnI" id="1$vmWKMrQPI" role="2wV5jI">
<node concept="s8t4o" id="1$vmWKMrUDB" role="3EZMnx">
<property role="28Zw97" value="true" />
<ref role="28F8cf" to="gioj:6NmtaR1V302" resolve="VariableRef" />
<ref role="28F8cf" to="gioj:6oUHYl_Xm5W" resolve="AbstractVariableRef" />
<node concept="xShMh" id="1$vmWKMrUDD" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand Down
29 changes: 14 additions & 15 deletions code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,8 @@
<import index="unno" ref="r:61e3d524-8c49-4491-b5e3-f6d6e9364527(jetbrains.mps.util)" />
<import index="4c75" ref="r:088add12-8a36-47c2-b0d2-7180a8a2a891(com.mbeddr.formal.nusmv.pluginSolution.runner)" />
<import index="mc3u" ref="r:c40f5d7d-8d11-4fe7-a7f1-b09919c94fc9(com.mbeddr.formal.base.tooling.simulator)" />
<import index="r4b4" ref="r:1784e088-20fd-4fdb-96b8-bc57f0056d94(com.mbeddr.core.base.editor)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="3fe0" ref="r:848c2b01-cc1a-44aa-b277-5acd56d63ece(com.mbeddr.formal.base.expressions.editor)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="tpco" ref="r:00000000-0000-4000-0000-011c89590284(jetbrains.mps.lang.core.editor)" implicit="true" />
<import index="ox2v" ref="r:9d0d3f45-3600-4f52-892b-d59f24c624ff(com.mbeddr.formal.base.expressions.behavior)" implicit="true" />
</imports>
Expand Down Expand Up @@ -292,13 +291,13 @@
<node concept="l2Vlx" id="3r83Ks0gb4d" role="2iSdaV" />
<node concept="3F0ifn" id="3r83Ks0gb4e" role="3EZMnx">
<property role="3F0ifm" value="model " />
<ref role="1k5W1q" to="r4b4:2CEi94e3iKI" resolve="PassiveText" />
<ref role="1k5W1q" to="3fe0:2CEi94e3iKI" resolve="PassiveTextStyle" />
<node concept="VPM3Z" id="3r83Ks0gyrX" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
<node concept="1HlG4h" id="3r83Ks0gb4f" role="3EZMnx">
<ref role="1k5W1q" to="r4b4:2CEi94e3iKI" resolve="PassiveText" />
<ref role="1k5W1q" to="3fe0:2CEi94e3iKI" resolve="PassiveTextStyle" />
<node concept="1HfYo3" id="3r83Ks0gb4g" role="1HlULh">
<node concept="3TQlhw" id="3r83Ks0gb4h" role="1Hhtcw">
<node concept="3clFbS" id="3r83Ks0gb4i" role="2VODD2">
Expand Down Expand Up @@ -332,13 +331,13 @@
<node concept="l2Vlx" id="3r83Ks0g7Sl" role="2iSdaV" />
<node concept="3F0ifn" id="3r83Ks0gb4b" role="3EZMnx">
<property role="3F0ifm" value="package" />
<ref role="1k5W1q" to="r4b4:2CEi94e3iKI" resolve="PassiveText" />
<ref role="1k5W1q" to="3fe0:2CEi94e3iKI" resolve="PassiveTextStyle" />
<node concept="VPM3Z" id="3r83Ks0gyrW" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
<node concept="1HlG4h" id="6GZLGDRsw6C" role="3EZMnx">
<ref role="1k5W1q" to="r4b4:2CEi94e3iKI" resolve="PassiveText" />
<ref role="1k5W1q" to="3fe0:2CEi94e3iKI" resolve="PassiveTextStyle" />
<node concept="1HfYo3" id="6GZLGDRsw6D" role="1HlULh">
<node concept="3TQlhw" id="6GZLGDRsw6E" role="1Hhtcw">
<node concept="3clFbS" id="6GZLGDRsw6F" role="2VODD2">
Expand Down Expand Up @@ -1220,8 +1219,8 @@
<ref role="1XX52x" to="gioj:7mSH3WmWrHX" resolve="ModuleType" />
<node concept="3EZMnI" id="7mSH3WmWrI8" role="2wV5jI">
<node concept="1kHk_G" id="7K_2cV$Golz" role="3EZMnx">
<ref role="1k5W1q" to="r4b4:2CEi94dgHKA" resolve="KW" />
<ref role="1NtTu8" to="gioj:7mSH3Wn8VYT" resolve="process" />
<ref role="1k5W1q" to="3fe0:6NmtaR1SVrw" resolve="KeywordStyle" />
</node>
<node concept="1iCGBv" id="7mSH3WmWrIi" role="3EZMnx">
<ref role="1NtTu8" to="gioj:7mSH3WmWrHY" resolve="module" />
Expand Down Expand Up @@ -1771,7 +1770,7 @@
<node concept="3EZMnI" id="7$_eEdIcTeP" role="1LiK7o">
<node concept="3F0ifn" id="70KFWMC587z" role="3EZMnx">
<property role="3F0ifm" value="(" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="11LMrY" id="70KFWMC7fAd" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand Down Expand Up @@ -1799,14 +1798,14 @@
</node>
<node concept="3F0ifn" id="y826GHrpA5" role="3EZMnx">
<property role="3F0ifm" value=")" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="11L4FC" id="y826GHrq9R" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F0ifn" id="y826GHrpAJ" role="3EZMnx">
<property role="3F0ifm" value="?" />
<ref role="1k5W1q" to="r4b4:y826GHffn9" resolve="Op" />
<ref role="1k5W1q" to="3fe0:y826GHffn9" resolve="OpStyle" />
<node concept="11L4FC" id="y826GHrpD$" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand All @@ -1819,7 +1818,7 @@
</node>
<node concept="3F0ifn" id="7$_eEdIcTeU" role="3EZMnx">
<property role="3F0ifm" value="(" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="3mYdg7" id="y826GHrpLE" role="3F10Kt">
<property role="1413C4" value="par2" />
</node>
Expand All @@ -1833,7 +1832,7 @@
<node concept="l2Vlx" id="7$_eEdIcTeR" role="2iSdaV" />
<node concept="3F0ifn" id="7$_eEdIcTeY" role="3EZMnx">
<property role="3F0ifm" value=")" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="3mYdg7" id="y826GHrpOR" role="3F10Kt">
<property role="1413C4" value="par2" />
</node>
Expand All @@ -1843,7 +1842,7 @@
</node>
<node concept="3F0ifn" id="y826GHrpLJ" role="3EZMnx">
<property role="3F0ifm" value=":" />
<ref role="1k5W1q" to="r4b4:y826GHffn9" resolve="Op" />
<ref role="1k5W1q" to="3fe0:y826GHffn9" resolve="OpStyle" />
<node concept="11L4FC" id="y826GHrpLK" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand All @@ -1856,7 +1855,7 @@
</node>
<node concept="3F0ifn" id="y826GHrpOW" role="3EZMnx">
<property role="3F0ifm" value="(" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="11LMrY" id="y826GHrpOY" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand All @@ -1869,7 +1868,7 @@
</node>
<node concept="3F0ifn" id="70KFWMC587N" role="3EZMnx">
<property role="3F0ifm" value=")" />
<ref role="1k5W1q" to="r4b4:2CEi94dh36z" resolve="Parens" />
<ref role="1k5W1q" to="3fe0:2CEi94dh36z" resolve="ParensStyle" />
<node concept="11L4FC" id="70KFWMC7fI2" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
Expand Down

0 comments on commit c7af2eb

Please sign in to comment.