- Implemented generation of asserts for constant/parameter connectors.

- Lots of connection checking. git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@12950 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Sep 17, 2012 · 59e3c47 · 59e3c47
1 parent d06afad
commit 59e3c47
Show file tree

Hide file tree

Showing 13 changed files with 1,175 additions and 291 deletions.
diff --git a/Compiler/FrontEnd/Connect2.mo b/Compiler/FrontEnd/Connect2.mo
@@ -66,11 +66,21 @@ end ConnectorType;
 public uniontype Connector
   record CONNECTOR
     DAE.ComponentRef name;
+    DAE.Type ty;
     Face face;
-    ConnectorType ty;
+    ConnectorType cty;
+    ConnectorAttr attr;
   end CONNECTOR;
 end Connector;
 
+public uniontype ConnectorAttr
+  record CONN_ATTR
+    DAE.VarKind variability;
+    DAE.VarVisibility visibility;
+    DAE.VarDirection direction;
+  end CONN_ATTR;
+end ConnectorAttr;
+
 public uniontype Connection
   record CONNECTION
     Connector lhs;
@@ -102,13 +112,13 @@ public uniontype Root
 end Root;
 
 public uniontype Connections
-  record NO_CONNECTIONS end NO_CONNECTIONS;
-
   record CONNECTIONS
     list<Connection> connections;
     list<Connection> branches;
     list<Root> roots;
   end CONNECTIONS;
 end Connections;
 
+public constant Connections emptyConnections := CONNECTIONS({}, {}, {});
+
 end Connect2;