Fixed bugs in lookup inside packages. SignalVoltage now works for Mod…

…elica Stdlib v1.5. git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@960 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Apr 16, 2003 · f045fd9 · f045fd9
1 parent 62c390d
commit f045fd9
Show file tree

Hide file tree

Showing 7 changed files with 242 additions and 127 deletions.
diff --git a/modeq/dump.rml b/modeq/dump.rml
@@ -63,6 +63,7 @@ with "debug.rml"
   relation print_list : ('a list, 'a => (), string) => ()
   relation print_elementspec: Absyn.ElementSpec => ()
   relation print_named_arg: Absyn.NamedArg => () 
+  relation print_import : Absyn.Import => () 
   relation op_symbol : Absyn.Operator => string
   relation print_bool : bool => ()
   relation print_select: (bool,string,string) => ()

diff --git a/modeq/env.rml b/modeq/env.rml
@@ -420,6 +420,9 @@ relation print_frame_element: (Ident * Item) => () =
 	-------
 	print_frame_element ((n,TYPE(_)))
 
+  rule	Print.print_buf "imp:" & Dump.print_import imp 
+	-------
+	print_frame_element ((n,IMPORT(imp)))
 end
 
 

diff --git a/modeq/explode.rml b/modeq/explode.rml
@@ -664,7 +664,9 @@ end
 
 relation print_mod : Mod => () =
 
-  axiom	print_mod(NOMOD)
+  rule	Print.print_buf "NOMOD"
+	----------------
+	print_mod(NOMOD)
 
   rule	Print.print_buf "redeclare(" & 
 	Dump.print_bool b & Print.print_buf ", " &
@@ -801,4 +803,7 @@ relation print_element : Element => () =
 	----------------------------------------
 	print_element COMPONENT(n,final,repl,prot,attr,typath,mod)
 
+  rule	Print.print_buf "IMPORT(_)\n" 
+	-------------------------
+	print_element(IMPORT(_))
 end