Fix StateSelect variability in nfinst.

Belonging to [master]: - #1980 - OpenModelica/OpenModelica-testsuite#763
OpenModelica · Nov 6, 2017 · 9e0eb5f · 9e0eb5f
1 parent 0f09961
commit 9e0eb5f
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 5 deletions.
diff --git a/Compiler/NFFrontEnd/NFBuiltin.mo b/Compiler/NFFrontEnd/NFBuiltin.mo
@@ -232,7 +232,7 @@ constant InstNode STATESELECT_NEVER =
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
       STATESELECT_NEVER_BINDING,
-      Component.Attributes.DEFAULT(),
+      NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     STATESELECT_NODE);
 
@@ -245,7 +245,7 @@ constant InstNode STATESELECT_AVOID =
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
       STATESELECT_AVOID_BINDING,
-      Component.Attributes.DEFAULT(),
+      NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     STATESELECT_NODE);
 
@@ -258,7 +258,7 @@ constant InstNode STATESELECT_DEFAULT =
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
       STATESELECT_DEFAULT_BINDING,
-      Component.Attributes.DEFAULT(),
+      NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     STATESELECT_NODE);
 
@@ -271,7 +271,7 @@ constant InstNode STATESELECT_PREFER =
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
       STATESELECT_PREFER_BINDING,
-      Component.Attributes.DEFAULT(),
+      NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     STATESELECT_NODE);
 
@@ -284,7 +284,7 @@ constant InstNode STATESELECT_ALWAYS =
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
       STATESELECT_ALWAYS_BINDING,
-      Component.Attributes.DEFAULT(),
+      NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     STATESELECT_NODE);
 

diff --git a/Compiler/NFFrontEnd/NFComponent.mo b/Compiler/NFFrontEnd/NFComponent.mo
@@ -79,6 +79,16 @@ constant Component.Attributes PROTECTED_ATTR =
     Visibility.PROTECTED
   );
 
+constant Component.Attributes CONSTANT_ATTR =
+  Component.Attributes.ATTRIBUTES(
+    ConnectorType.POTENTIAL,
+    Parallelism.NON_PARALLEL,
+    Variability.CONSTANT,
+    Direction.NONE,
+    InnerOuter.NOT_INNER_OUTER,
+    Visibility.PUBLIC
+  );
+
 uniontype Component
   uniontype Attributes
     record ATTRIBUTES