[DAEmode] get rid of the old implementation

 - the new one is further developed anyway
 - make ida as default solver if DAE mode is chosen
 - mark simulation flag -daeMode as deprecated

Belonging to [master]:
  - #2302
  - OpenModelica/OpenModelica-testsuite#890

Author: Willi Braun

Compiler/BackEnd/BackendDAEUtil.mo

@@ -7271,130 +7271,6 @@ algorithm
   //fcall2(Flags.DUMP_EQNINORDER, BackendDump.dumpEqnsSolved, outDAE, "system for jacobians");
 end getSolvedSystemforJacobians;
 
-public function getOptimizesDAEModeSystem
- "Run the equation system pipeline."
-  input BackendDAE.BackendDAE inDAE;
-  input String fileNamePrefix;
-  input Option<list<String>> strPreOptModules = NONE();
-  input Option<String> strmatchingAlgorithm = NONE();
-  input Option<String> strdaeHandler = NONE();
-  input Option<list<String>> strPostOptModules = NONE();
-  output BackendDAE.BackendDAE outSimDAE;
-  output BackendDAE.BackendDAE outInitDAE;
-  output Option<BackendDAE.InlineData > outInlineData;
-  output list<BackendDAE.Equation> outRemovedInitialEquationLst;
-protected
-  BackendDAE.BackendDAE dae, simDAE;
-  list<tuple<BackendDAEFunc.optimizationModule, String>> preOptModules;
-  list<tuple<BackendDAEFunc.optimizationModule, String>> postOptModules;
-  tuple<BackendDAEFunc.StructurallySingularSystemHandlerFunc, String, BackendDAEFunc.stateDeselectionFunc, String> daeHandler;
-  tuple<BackendDAEFunc.matchingAlgorithmFunc, String> matchingAlgorithm;
-  BackendDAE.InlineData inlineData;
-  BackendDAE.Variables globalKnownVars;
-  Integer numCheckpoints;
-  DAE.FunctionTree funcTree;
-algorithm
-  numCheckpoints:=ErrorExt.getNumCheckpoints();
-  try
-  StackOverflow.clearStacktraceMessages();
-  preOptModules := getPreOptModules(strPreOptModules);
-  postOptModules := getPostOptModules(strPostOptModules);
-  matchingAlgorithm := getMatchingAlgorithm(strmatchingAlgorithm);
-  daeHandler := getIndexReductionMethod(strdaeHandler);
-
-  if Flags.isSet(Flags.DUMP_DAE_LOW) then
-    BackendDump.dumpBackendDAE(inDAE, "dumpdaelow");
-    if Flags.isSet(Flags.ADDITIONAL_GRAPHVIZ_DUMP) then
-      BackendDump.graphvizIncidenceMatrix(inDAE, "dumpdaelow");
-    end if;
-  end if;
-
-  // pre-optimization phase
-  dae := preOptimizeDAE(inDAE, preOptModules);
-
-  execStat("pre-optimization done (n="+String(daeSize(dae))+")");
-  // transformation phase (matching and sorting using index reduction method)
-  dae := causalizeDAE(dae, NONE(), matchingAlgorithm, daeHandler, true);
-  execStat("matching and sorting (n="+String(daeSize(dae))+")");
-
-  // synchronous features post-phase
-  dae := SynchronousFeatures.synchronousFeatures(dae);
-  if Flags.isSet(Flags.OPT_DAE_DUMP) then
-    BackendDump.dumpBackendDAE(dae, "synchronousFeatures");
-  end if;
-
-  if Flags.isSet(Flags.GRAPHML) then
-    BackendDump.dumpBipartiteGraphDAE(dae, fileNamePrefix);
-  end if;
-
-  if Flags.isSet(Flags.BLT_DUMP) then
-    BackendDump.bltdump("bltdump", dae);
-  end if;
-
-  if Flags.isSet(Flags.EVAL_OUTPUT_ONLY) then
-    // prepare the equations
-    dae := BackendDAEOptimize.evaluateOutputsOnly(dae);
-  end if;
-
-  // generate system for initialization
-  (outInitDAE, _, outRemovedInitialEquationLst, globalKnownVars) := Initialization.solveInitialSystem(dae);
-
-  // use function tree from initDAE further for simDAE
-  simDAE := BackendDAEUtil.setFunctionTree(dae, BackendDAEUtil.getFunctions(outInitDAE.shared));
-
-  // Set updated globalKnownVars
-  simDAE := setDAEGlobalKnownVars(simDAE, globalKnownVars);
-
-  simDAE := BackendDAEOptimize.addInitialStmtsToAlgorithms(simDAE, false);
-  simDAE := Initialization.removeInitializationStuff(simDAE);
-
-  // generate inline solver
-  outInlineData := SymbolicImplicitSolver.symSolver(simDAE);
-
-  // post-optimization phase
-  simDAE := postOptimizeDAE(simDAE, postOptModules, matchingAlgorithm, daeHandler);
-
-  // sort the globalKnownVars
-  simDAE := sortGlobalKnownVarsInDAE(simDAE);
-  execStat("sort global known variables");
-
-  // remove unused functions
-  funcTree := BackendDAEOptimize.copyRecordConstructorAndExternalObjConstructorDestructor(BackendDAEUtil.getFunctions(simDAE.shared));
-  funcTree := BackendDAEOptimize.removeUnusedFunctions(outInitDAE.eqs, outInitDAE.shared, outRemovedInitialEquationLst, BackendDAEUtil.getFunctions(simDAE.shared), funcTree);
-  funcTree := BackendDAEOptimize.removeUnusedFunctions(simDAE.eqs, simDAE.shared, {}, BackendDAEUtil.getFunctions(simDAE.shared), funcTree);
-  outSimDAE := BackendDAEUtil.setFunctionTree(simDAE, funcTree);
-  execStat("remove unused functions");
-
-  if Flags.isSet(Flags.DUMP_INDX_DAE) then
-    BackendDump.dumpBackendDAE(outSimDAE, "dumpindxdae");
-    if Flags.isSet(Flags.ADDITIONAL_GRAPHVIZ_DUMP) then
-      BackendDump.graphvizBackendDAE(outSimDAE, "dumpindxdae");
-    end if;
-  end if;
-  if Flags.isSet(Flags.DUMP_TRANSFORMED_MODELICA_MODEL) then
-    BackendDump.dumpBackendDAEToModelica(outSimDAE, "dumpindxdae");
-  end if;
-  if Flags.isSet(Flags.DUMP_BACKENDDAE_INFO) or Flags.isSet(Flags.DUMP_STATESELECTION_INFO) or Flags.isSet(Flags.DUMP_DISCRETEVARS_INFO) then
-    BackendDump.dumpCompShort(outSimDAE);
-  end if;
-  if Flags.isSet(Flags.DUMP_EQNINORDER) then
-    BackendDump.dumpEqnsSolved(outSimDAE, "indxdae: eqns in order");
-  end if;
-  if Flags.isSet(Flags.DUMP_LOOPS) then
-    BackendDump.dumpLoops(outSimDAE);
-  end if;
-  checkBackendDAEWithErrorMsg(outSimDAE);
-  return;
-  else
-  setGlobalRoot(Global.stackoverFlowIndex, NONE());
-  ErrorExt.rollbackNumCheckpoints(ErrorExt.getNumCheckpoints()-numCheckpoints);
-  Error.addInternalError("Stack overflow in "+getInstanceName()+"...\n"+stringDelimitList(StackOverflow.readableStacktraceMessages(), "\n"), sourceInfo());
-  /* Do not fail or we can loop too much */
-  StackOverflow.clearStacktraceMessages();
-  end try annotation(__OpenModelica_stackOverflowCheckpoint=true);
-  fail();
-end getOptimizesDAEModeSystem;
-
 public function sortGlobalKnownVarsInDAE "
 author: ptaeuber
 This function sorts the globalKnownVars"

Compiler/Script/CevalScriptBackend.mo

@@ -466,7 +466,11 @@ protected
 algorithm
   UseOtimica := Config.acceptOptimicaGrammar() or Flags.getConfigBool(Flags.GENERATE_DYN_OPTIMIZATION_PROBLEM);
   GlobalScript.SIMULATION_OPTIONS(startTime, stopTime, numberOfIntervals, stepSize, tolerance, method, _, options, outputFormat, variableFilter, cflags, simflags) := inSimOpt;
-  method := if UseOtimica then DAE.SCONST("optimization") else method;
+  if UseOtimica then
+    method := DAE.SCONST("optimization");
+  elseif  Flags.getConfigEnum(Flags.DAE_MODE) > 1 then
+    method := DAE.SCONST("ida");
+  end if;
   numberOfIntervals := if UseOtimica then DAE.ICONST(50) else numberOfIntervals;
   outSimOpt := GlobalScript.SIMULATION_OPTIONS(startTime, stopTime, numberOfIntervals, stepSize, tolerance, method, DAE.SCONST(inFileNamePrefix), options, outputFormat, variableFilter, cflags, simflags);
 end setFileNamePrefixInSimulationOptions;
@@ -3264,7 +3268,7 @@ protected function callTranslateModel
   output String outFileDir;
   output list<tuple<String,Values.Value>> resultValues;
 algorithm
-  if Flags.getConfigEnum(Flags.DAE_MODE) > 3 then
+  if Flags.getConfigEnum(Flags.DAE_MODE) > 1 then
     (outCache, outStringLst, outFileDir, resultValues) :=
     SimCodeMain.translateModelDAEMode(inCache,inEnv,className,inFileNamePrefix,
     inSimSettingsOpt,Absyn.FUNCTIONARGS({},{}));