Adding API call getUsedClassNames, which is a combination of saveTotalModel and getClassNames(recursive=true)

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

Author: sjoelund

Compiler/FrontEnd/Ceval.mo

@@ -1163,6 +1163,7 @@ algorithm
     case "listReverse" equation true = Config.acceptMetaModelicaGrammar(); then cevalListReverse;
     case "listHead" equation true = Config.acceptMetaModelicaGrammar(); then cevalListFirst;
     case "listRest" equation true = Config.acceptMetaModelicaGrammar(); then cevalListRest;
+    case "listMember" equation true = Config.acceptMetaModelicaGrammar(); then cevalListMember;
     case "anyString" equation true = Config.acceptMetaModelicaGrammar(); then cevalAnyString;
     case "numBits" then cevalNumBits;
     case "integerMax" then cevalIntegerMax;
@@ -2586,6 +2587,40 @@ algorithm
   end match;
 end cevalListRest;
 
+protected function cevalListMember
+  input Env.Cache inCache;
+  input Env.Env inEnv;
+  input list<DAE.Exp> inExpExpLst;
+  input Boolean inBoolean;
+  input Option<GlobalScript.SymbolTable> inST;
+  input Absyn.Msg inMsg;
+  input Integer numIter;
+  output Env.Cache outCache;
+  output Values.Value outValue;
+  output Option<GlobalScript.SymbolTable> outInteractiveInteractiveSymbolTableOption;
+algorithm
+  (outCache,outValue,outInteractiveInteractiveSymbolTableOption):=
+  match (inCache,inEnv,inExpExpLst,inBoolean,inST,inMsg,numIter)
+    local
+      Env.Env env;
+      DAE.Exp exp1,exp2;
+      Boolean impl;
+      Option<GlobalScript.SymbolTable> st;
+      Absyn.Msg msg;
+      Env.Cache cache;
+      list<Values.Value> vals;
+      Values.Value val;
+      Boolean b;
+    case (cache,env,{exp1,exp2},impl,st,msg,_)
+      equation
+        (cache,val,st) = ceval(cache,env,exp1,impl,st,msg,numIter+1);
+        (cache,Values.LIST(vals),st) = ceval(cache,env,exp2,impl,st,msg,numIter+1);
+        b = listMember(val,vals);
+      then
+        (cache,Values.BOOL(b),st);
+  end match;
+end cevalListMember;
+
 protected function cevalAnyString
   input Env.Cache inCache;
   input Env.Env inEnv;

Compiler/FrontEnd/ModelicaBuiltin.mo

@@ -2285,6 +2285,13 @@ external "builtin";
 annotation(preferredView="text");
 end getClassNames;
 
+function getUsedClassNames "Returns the list of class names used in the total program defined by the class."
+  input TypeName className;
+  output TypeName classNames[:];
+external "builtin";
+annotation(preferredView="text");
+end getUsedClassNames;
+
 function getPackages "Returns the list of packages defined in the class."
   input TypeName class_ := $TypeName(AllLoadedClasses);
   output TypeName classNames[:];

Compiler/FrontEnd/SCode.mo

@@ -1950,6 +1950,20 @@ algorithm
   end match;
 end getClassComponents;
 
+public function getClassElements
+"This function returns the components from a class"
+  input Element cl;
+  output list<Element> elts;
+algorithm
+  elts := match (cl)
+    case (CLASS(classDef = PARTS(elementLst = elts)))
+      then elts;
+    case (CLASS(classDef = CLASS_EXTENDS(composition = PARTS(elementLst = elts))))
+      then elts;
+    else {};
+  end match;
+end getClassElements;
+
 public function makeEnumType
   "Creates an EnumType element from an enumeration literal and an optional
   comment."

Compiler/Script/CevalScript.mo

@@ -1000,6 +1000,19 @@ algorithm
       then
         (cache,ValuesUtil.makeArray(vals),st);
 
+    case (cache,env,"getUsedClassNames",{Values.CODE(Absyn.C_TYPENAME(path))},st as GlobalScript.SYMBOLTABLE(ast = p),_)
+      equation
+        (sp, st) = Interactive.symbolTableToSCode(st);
+        (sp, _) = NFSCodeFlatten.flattenClassInProgram(path, sp);
+        sp = SCode.removeBuiltinsFromTopScope(sp);
+        paths = Interactive.getSCodeClassNamesRecursive(sp);
+        // paths = Debug.bcallret2(sort, List.sort, paths, Absyn.pathGe, paths);
+        vals = List.map(paths,ValuesUtil.makeCodeTypeName);
+      then (cache,ValuesUtil.makeArray(vals),st);
+
+    case (cache,env,"getUsedClassNames",_,st as GlobalScript.SYMBOLTABLE(ast = p),_)
+      then (cache,ValuesUtil.makeArray({}),st);
+
     case (cache,_,"getClassComment",{Values.CODE(Absyn.C_TYPENAME(path))},st as GlobalScript.SYMBOLTABLE(ast = p),_)
       equation
         Absyn.CLASS(_,_,_,_,_,cdef,_) = Interactive.getPathedClassInProgram(path, p);

Compiler/Script/Interactive.mo

@@ -18568,6 +18568,45 @@ algorithm
   end matchcontinue;
 end getClassNamesRecursive;
 
+public function getSCodeClassNamesRecursive
+"Returns a string with all the classes for a given path."
+  input SCode.Program inProgram;
+  output list<Absyn.Path> paths;
+algorithm
+  paths := List.fold1(inProgram,getSCodeClassNamesRecursiveWork,NONE(),{});
+end getSCodeClassNamesRecursive;
+
+protected function getSCodeClassNamesRecursiveWork
+"Returns a string with all the classes for a given path."
+  input SCode.Element inElement;
+  input Option<Absyn.Path> inPath;
+  input list<Absyn.Path> inAcc;
+  output list<Absyn.Path> paths;
+algorithm
+  paths := match (inElement,inPath,inAcc)
+    local
+      list<SCode.Element> classes;
+      list<Absyn.Path> acc;
+      Absyn.Path path;
+      String name;
+    case (SCode.CLASS(name=name),NONE(),acc)
+      equation
+        path = Absyn.IDENT(name);
+        acc = path::acc;
+        classes = SCode.getClassElements(inElement);
+        acc = List.fold1(classes,getSCodeClassNamesRecursiveWork,SOME(path),acc);
+      then acc;
+    case (SCode.CLASS(name=name),SOME(path),acc)
+      equation
+        path = Absyn.suffixPath(path,name);
+        acc = path::acc;
+        classes = SCode.getClassElements(inElement);
+        acc = List.fold1(classes,getSCodeClassNamesRecursiveWork,SOME(path),acc);
+      then acc;
+    else inAcc;
+  end match;
+end getSCodeClassNamesRecursiveWork;
+
 public function getPathedComponentElementInProgram "Returns a component given a path and a program. See also getPathedClassInProgram"
   input Absyn.Path path;
   input Absyn.Program prg;