Original Version

1 files changed, 245 insertions, 0 deletions

diff --git a/macros/ASTManagement/AST_HandleHeader.sci b/macros/ASTManagement/AST_HandleHeader.sci
new file mode 100644
index 0000000..661c740
--- /dev/null
+++ b/macros/ASTManagement/AST_HandleHeader.sci
@@ -0,0 +1,245 @@
+function SharedInfo = AST_HandleHeader(ASTHeader,FileInfo,SharedInfo)
+// function SharedInfo = AST_HandleHeader(ASTHeader,FileInfo,SharedInfo)
+// -----------------------------------------------------------------
+// Handles the Header of the AST.
+//
+// Input data:
+// //NUT: add description here
+//
+// Output data:
+// //NUT: add description here
+//
+// Status:
+// 11-Apr-2007 -- Raffaele Nutricato: Author.
+//
+// Copyright 2007 Raffaele Nutricato.
+// Contact: raffaele.nutricato@tiscali.it
+// -----------------------------------------------------------------
+
+// ------------------------------
+// --- Check input arguments. ---
+// ------------------------------
+SCI2CNInArgCheck(argn(2),3,3);
+
+// -----------------------
+// --- Initialization. ---
+// -----------------------
+nxtscifunname   = SharedInfo.NextSCIFunName;
+nxtscifunnumber = SharedInfo.NextSCIFunNumber;
+ReportFileName  = FileInfo.Funct(nxtscifunnumber).ReportFileName;
+
+FunctionName = ASTHeader.Name;
+if (mtlb_strcmp(ASTHeader.Name,SharedInfo.NextSCIFunName) == %F)
+   error(9999, 'Very strange! AST Name field ""'+ASTHeader.Name+...
+      '""is different from function name ""'+SharedInfo.NextSCIFunName+'"".');
+end
+// ---------------------------
+// --- End Initialization. ---
+// ---------------------------
+
+// -------------------------------------
+// --- Extract info from AST header. ---
+// -------------------------------------
+TmpInNames  = tokens(ASTHeader.Inputs,' ');
+TmpOutNames = tokens(ASTHeader.Outputs,' ');
+
+//#RNU_RES_B
+// Remove Variable: Number: or String: specifier.
+//#RNU_RES_E
+NInArg = 0;
+for tmpcnt = 1:size(TmpInNames,1)
+   TmpSingleName = TmpInNames(tmpcnt);
+   if ((TmpSingleName == 'Variable:') | ...
+       (TmpSingleName == 'String:') | ...
+       (TmpSingleName == 'Number:'))
+       // Skip the specifier.
+   else
+      NInArg = NInArg + 1;
+      InNames(NInArg) = TmpSingleName;
+   end
+end
+
+//#RNU_RES_B
+// Remove Variable: Number: or String: specifier.
+//#RNU_RES_E
+NOutArg = 0;
+for tmpcnt = 1:size(TmpOutNames,1)
+   TmpSingleName = TmpOutNames(tmpcnt);
+   if ((TmpSingleName == 'Variable:') | ...
+       (TmpSingleName == 'String:')   | ...
+       (TmpSingleName == 'Number_x:') | ...
+       (TmpSingleName == 'Number_s:') | ...
+       (TmpSingleName == 'Number_d:') | ...
+       (TmpSingleName == 'Number_c:') | ...
+       (TmpSingleName == 'Number_z:'))
+       // Skip the specifier.
+   else
+      NOutArg = NOutArg + 1;
+      OutNames(NOutArg) = TmpSingleName;
+   end
+end
+
+if (mtlb_strcmp(InNames(1),'<empty>'))
+   NInArg = 0;
+else
+   NInArg = size(InNames,1);
+end
+
+if ((OutNames(1)=='<empty>') | (FunctionName == 'ins'))
+   //#RNU_RES_B
+   //NUT: Force ins to have 0 args. Double check it. 
+   //#RNU_RES_E
+
+   NOutArg = 0;
+else
+   NOutArg = size(OutNames,1);
+end
+
+
+//#RNU_RES_B
+// -------------------------------------
+// --- Load the C function dat file. ---
+// -------------------------------------
+//NUT: This load is useful expecially for the second approach. In this case we are not using
+//NUT: the size info.
+//#RNU_RES_E
+load(fullfile(FileInfo.FunctionList.FunInfoDatDir,SharedInfo.NextCFunName+'.dat'),'FunInfo');
+
+SharedInfo.CurrentFunInfo = FunInfo;
+clear FunInfo
+
+//#RNU_RES_B
+// -----------------------------------------------------------------------------
+// --- Check coherence between In/Out names and In/Out Arg structure loaded. ---
+// -----------------------------------------------------------------------------
+//#RNU_RES_E
+if (length(SharedInfo.CurrentFunInfo.InArg(1).Name) > 0)
+   NInArgDat = size(SharedInfo.CurrentFunInfo.InArg,1);
+else
+   NInArgDat = 0;
+end
+
+if (NInArgDat == NInArg)
+   for tmpcnt = 1:NInArg
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name = InNames(tmpcnt);
+      if (SharedInfo.CurrentFunInfo.InArg(tmpcnt).Dimension == 0)
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(1) = '1';
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(2) = '1';
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Value   = %nan;
+      else
+         //#RNU_RES_B
+         //NUT: using approach 1: Setting for input and output arguments symbolic sizes.
+         //#RNU_RES_E
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(1) = '__'+SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name+'Size[0]';
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(2) = '__'+SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name+'Size[1]';
+         SharedInfo.CurrentFunInfo.InArg(tmpcnt).Value   = %nan;
+      end
+   end
+else
+   error(9999, 'Number of input arguments specified in AST is different from the number specified in .dat file.');
+end
+
+
+if (SharedInfo.CurrentFunInfo.NOutArg == NOutArg)
+   for tmpcnt = 1:NOutArg
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Name = OutNames(tmpcnt);
+   end
+else
+   //#RNU_RES_B
+   PrintStringInfo('N. of output arguments found in the AST: '+string(NOutArg),ReportFileName,'both','y');
+   PrintStringInfo('N. of output arguments found in the call (FunInfo structure): '+string(SharedInfo.CurrentFunInfo.NOutArg),ReportFileName,'both','y');
+   //#RNU_RES_E
+   error(9999, 'Number of output arguments specified in AST is different from the number specified in .dat file.');
+end
+//#RNU_RES_B
+//NUT: using approach 1: Setting for input and output arguments symbolic sizes.
+//#RNU_RES_E
+SharedInfo.CurrentFunInfo.OutArg = ...
+   FA_GetOutArgInfo(SharedInfo.CurrentFunInfo.InArg,NInArg,...
+   SharedInfo.CurrentFunInfo.OutArg,NOutArg,...
+   SharedInfo,...
+   SharedInfo.CurrentFunInfo.FunPrecSpecifier,...
+   SharedInfo.CurrentFunInfo.FunTypeAnnot,SharedInfo.CurrentFunInfo.FunSizeAnnot,ReportFileName);
+
+//#RNU_RES_B
+// -------------------------------------------------------------------------
+// --- Stores InArg structure into the temporary variables symbol table. ---
+// -------------------------------------------------------------------------
+//#RNU_RES_E
+SymbTableFileName   = FileInfo.Funct(nxtscifunnumber).LocalVarFileName;
+
+// #RNU_RES_B
+PrintStringInfo(' ',ReportFileName,'file','y');
+PrintStringInfo('***Putting Input and Output arguments in the local symbol table***',ReportFileName,'file','y');
+// #RNU_RES_E
+for tmpcnt = 1:NInArg
+   //#RNU_RES_B
+   PrintStringInfo('   Symbol ""'+SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name+'""',ReportFileName,'file','y');
+   PrintStringInfo('   Setting symbol ""'+SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name+'"" in '+SymbTableFileName+'.',ReportFileName,'file','y');
+   //#RNU_RES_E
+
+   ST_Set(SharedInfo.CurrentFunInfo.InArg(tmpcnt).Name,...
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).Type,...
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size,...
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).Value,...
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).FindLike,...
+      SharedInfo.CurrentFunInfo.InArg(tmpcnt).Dimension,...
+      SymbTableFileName);
+   //#RNU_RES_B
+   PrintStringInfo('   Type:      '+SharedInfo.CurrentFunInfo.InArg(tmpcnt).Type,ReportFileName,'file','y');
+   PrintStringInfo('   Size(1):   '+string(SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(1)),ReportFileName,'file','y');
+   PrintStringInfo('   Size(2):   '+string(SharedInfo.CurrentFunInfo.InArg(tmpcnt).Size(2)),ReportFileName,'file','y');
+   PrintStringInfo('   Value:     '+string(SharedInfo.CurrentFunInfo.InArg(tmpcnt).Value),ReportFileName,'file','y');
+   PrintStringInfo('   FindLike:  '+string(SharedInfo.CurrentFunInfo.InArg(tmpcnt).FindLike),ReportFileName,'file','y');
+   PrintStringInfo('   Dimension: '+string(SharedInfo.CurrentFunInfo.InArg(tmpcnt).Dimension),ReportFileName,'file','y');
+   PrintStringInfo(' ',ReportFileName,'file','y');
+   //#RNU_RES_E
+end
+
+// --------------------------------------------------------------------------
+// --- Stores OutArg structure into the temporary variables symbol table. ---
+// --------------------------------------------------------------------------
+//NUT: verifica se puoi usare l'outarg2symboltable qui.
+for tmpcnt = 1:NOutArg
+   //#RNU_RES_B
+   PrintStringInfo('   Symbol ""'+SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Name+'""',ReportFileName,'file','y');
+   
+   PrintStringInfo('   Setting symbol ""'+SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Name+'"" in '+SymbTableFileName+'.',ReportFileName,'file','y');
+   //#RNU_RES_E
+
+   ST_Set(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Name,...
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Type,...
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Size,...
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Value,...
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).FindLike,...
+      SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Dimension,...
+      SymbTableFileName);
+   //#RNU_RES_B
+   PrintStringInfo('   Type:      '+SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Type,ReportFileName,'file','y');
+   PrintStringInfo('   Size(1):   '+string(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Size(1)),ReportFileName,'file','y');
+   PrintStringInfo('   Size(2):   '+string(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Size(2)),ReportFileName,'file','y');
+   PrintStringInfo('   Value:     '+string(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Value),ReportFileName,'file','y');
+   PrintStringInfo('   FindLike:  '+string(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).FindLike),ReportFileName,'file','y');
+   PrintStringInfo('   Dimension: '+string(SharedInfo.CurrentFunInfo.OutArg(tmpcnt).Dimension),ReportFileName,'file','y');
+   PrintStringInfo(' ',ReportFileName,'file','y');
+   //#RNU_RES_E
+
+end
+
+//#RNU_RES_B
+// -----------------------------------------------
+// --- Check on common input/output arguments. ---
+// -----------------------------------------------
+//#RNU_RES_E
+AST_CheckCommonInOutArgs(SharedInfo.CurrentFunInfo.InArg,NInArg,SharedInfo.CurrentFunInfo.OutArg,NOutArg,ReportFileName);
+
+//#RNU_RES_B
+// ------------------------
+// --- Generate C code. ---
+// ------------------------
+//#RNU_RES_E
+FlagCall = 0;
+SharedInfo = C_Funcall(SharedInfo.CurrentFunInfo,FileInfo,SharedInfo,FlagCall);
+SharedInfo.NIndent = SharedInfo.NIndent+1; // Increase indentation level.
+
+endfunction