+ function Add_Walkthrough_Solubility_V_FROM_G_KS(Translations: in out AWS.Templates.Translate_Set;
+ Walkthrough: in Problem_Generator_Syswides.Walkthrough_Info.Map) return RetCode is
+ use AWS.Templates;
+ use Problem_Generator_Syswides;
+ use Problem_Generator_Syswides.Solubility_Suite;
+ use Problem_Generator_Syswides.Walkthrough_Info;
+
+ WTrans: Translate_Set;
+ HTML: HTML_Code;
+ begin
+ if Walkthrough.Find(WT_V_PLUG_C_RESULT_KEY) = Walkthrough_Info.No_Element then
+ return E_INVAL;
+ end if;
+ Insert(WTrans, Assoc(WT_V_PLUG_C_RESULT_KEY, Walkthrough.Element(WT_V_PLUG_C_RESULT_KEY)));
+
+ if Walkthrough.Find(WT_V_PRE_RADEX_RESULT_KEY) = Walkthrough_Info.No_Element then
+ return E_INVAL;
+ end if;
+ Insert(WTrans, Assoc(WT_V_PRE_RADEX_RESULT_KEY, Walkthrough.Element(WT_V_PRE_RADEX_RESULT_KEY)));
+
+ if Walkthrough.Find(WT_V_DISS_C_RESULT_KEY) = Walkthrough_Info.No_Element then
+ return E_INVAL;
+ end if;
+ Insert(WTrans, Assoc(WT_V_DISS_C_RESULT_KEY, Walkthrough.Element(WT_V_DISS_C_RESULT_KEY)));
+
+ if Walkthrough.Find(WT_V_PLUG_VOLUME_RESULT_KEY) = Walkthrough_Info.No_Element then
+ return E_INVAL;
+ end if;
+ Insert(WTrans, Assoc(WT_V_PLUG_VOLUME_RESULT_KEY, Walkthrough.Element(WT_V_PLUG_VOLUME_RESULT_KEY)));
+
+ if Walkthrough.Find(WT_FINAL_RESULT_KEY) = Walkthrough_Info.No_Element then
+ return E_INVAL;
+ end if;
+ Insert(WTrans, Assoc(WT_FINAL_RESULT_KEY, Walkthrough.Element(WT_FINAL_RESULT_KEY)));
+
+ HTML := Parse(Filename => "templates/walkthrough_solubility_vksgmw.html", Translations => WTrans);
+ Insert(Translations, Assoc(WALKTHROUGH_SECTION_KEY, HTML_To_Fixed_String(HTML)));
+ return OK;
+ end Add_Walkthrough_Solubility_V_FROM_G_KS;
+