allmost added getNthComponentAnnotation, migrating to laptop

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@794 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

Author: Peter Aronsson

modeq/absyn.rml

@@ -93,6 +93,7 @@ module DAE:
   relation is_comp: Element => ()
   relation find_element: (Element list, Element => ()) => Element option
   relation build_gr_strlist : ('a list, 'a => string, int) => (string list, 'a list)
+  relation get_variable_bindings_str: Element list => string
 end
 
 
@@ -1098,3 +1099,59 @@ relation build_gr_element : Element => Graphviz.Node =
 
 
 end
+
+(** relation: get_variable_bindings_str
+ ** This relation takes a `DAE.Element' list and returns a comma separated string of variable bindings.
+ ** E.g. model A Real x=1; Real y=2; end A; => "x=1,y=2"
+ **)
+relation get_variable_bindings_str: Element list => string =
+	
+  rule	get_variable_list elts => varlst &
+	get_bindings_str varlst => str
+	------------------------------
+	get_variable_bindings_str elts => str
+end
+
+relation get_variable_list: Element list  => Element list =
+
+  rule	get_variable_list lst => res
+	-------------------------------------
+	get_variable_list  VAR(a,b,c,d,e,f)::lst => (VAR(a,b,c,d,e,f)::res)
+
+  rule	get_variable_list lst => res
+	----------------------------
+	get_variable_list _::lst => res
+
+  axiom	get_variable_list [] => []
+end
+
+relation get_bindings_str: Element list  => string =
+	
+  rule	Exp.cref_str cr => elstr &
+	Exp.print_exp_str e => expstr &
+	string_append(elstr,"=") => s1 &
+	string_append(s1,expstr) => s2 &
+	string_append(s2,",") => s3 &
+	get_bindings_str(lst) => s4 &
+	string_append(s3,s4) => str
+	-----------------
+	get_bindings_str((v as VAR(cr,_,_,_,SOME(e),_))::(lst as _::_)) => str
+
+  rule	Exp.cref_str cr => elstr &
+	string_append(elstr,",") => s1 &
+	get_bindings_str(lst) => s2 &
+	string_append(s1,s2) => str
+	-----------------
+	get_bindings_str((v as VAR(cr,_,_,_,NONE,_))::(lst as _::_)) => str	
+
+  rule	Exp.cref_str cr => elstr &
+	Exp.print_exp_str e => expstr &
+	string_append(elstr,"=") => s1 &
+	string_append(s1,expstr) => str
+	-----------------
+	get_bindings_str([v as VAR(cr,_,_,_,SOME(e),_)]) => str
+
+  rule	Exp.cref_str cr => str
+	-----------------------------------------------
+	get_bindings_str([v as VAR(cr,_,_,_,NONE,_)]) => str	
+end

modeq/dae.rml

@@ -57,6 +57,7 @@ module Env:
   relation extend_frame_v   : (Env, Types.Var) => Env
   relation extend_frame_t : (Env,Ident,Types.Type) => Env
 
+
   relation print_env        : Env => ()
 
   relation print_env_graphviz : (Env * string) => ()

modeq/env.rml

@@ -131,7 +131,7 @@ module Exp:
   relation print_subscript: Subscript => ()
   relation print_list : ('a list, 'a => (), string) => ()
   relation cref_equal : (ComponentRef, ComponentRef) => bool
-
+  relation cref_str : ComponentRef => string
   relation print_list_str : ('a list, 'a => string, string) => string
   relation print_exp_str : Exp => string
 
@@ -140,6 +140,21 @@ end
 with "rtopts.rml"
 with "util.rml"
 
+(** relation: path_string
+ **
+ ** This relation simply converts a `Path' to a `string'.
+ **)
+
+relation cref_str: ComponentRef => string =
+
+  axiom	cref_str(CREF_IDENT(s,_)) => s
+  
+  rule	cref_str(n) => ns &
+	string_append(s,".") => s1 &
+	string_append(s1,ns) => ss
+	-------------------------------------
+	cref_str(CREF_QUAL(s,_,n)) => ss
+end
 
 relation is_range : Exp => bool =
 

modeq/exp.rml

@@ -52,6 +52,8 @@ module Inst:
 
   relation instantiate_class : (SCode.Program,SCode.Path) => DAE.DAElist
 
+  relation make_env_from_program: (SCode.Program,SCode.Path) => Env.Env 
+	
   relation inst_class: (Env.Env, Mod.Mod, Prefix.Prefix, 
 			Connect.Sets, SCode.Class, InstDims)
 	  => (DAE.Element list, Connect.Sets, Types.Type, ClassInf.State)
@@ -203,6 +205,24 @@ relation inst_class_decls:(Env, SCode.Program, SCode.Path) => ( Env.Env, DAE.Ele
   axiom	inst_class_decls(env,[],_) => (env,[])
 end
 
+(** relation: make_env_from_program
+ ** This relation takes a `SCode.Program' and builds an environment, excluding the class in A1.
+**)
+
+relation make_env_from_program: (SCode.Program,SCode.Path) => Env.Env = 
+  rule	Builtin.initial_env => env &
+	add_program_to_env(env,prog,c) => env'
+	--------------------------------
+	make_env_from_program (prog,c) => env'
+end
+
+relation add_program_to_env: (Env.Env,SCode.Program,SCode.Path) => Env.Env =
+  rule	inst_class_decls(env,p,path) => (env' ,_) 
+	-----------------------------------------
+	add_program_to_env (env,p,path) => env'
+end
+
+
 (** relation: inst_program
  **
  ** Instantiating a Modelica program is the same as instantiating the