*** empty log message ***

[splint.git] / src / metaStateInfo.c

diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c
index 60937bec36ce83362588b3407a251a2e8d48198a..ef2b18c0e8a4647b40104be00ecb38e98bf85de8 100644 (file)
--- a/src/metaStateInfo.c
+++ b/src/metaStateInfo.c
@@ -27,6 +27,7 @@
 
 # include "lclintMacros.nf"
 # include "basic.h"
+# include "mtincludes.h"
 
 /*@notnull@*/ metaStateInfo 
 metaStateInfo_create (cstring name, 
@@ -47,6 +48,7 @@ metaStateInfo_create (cstring name,
   res->loc = loc;
   res->default_ref = stateValue_error;
   res->default_parameter = stateValue_error;
+  res->default_result = stateValue_error;
 
   llassert (stateCombinationTable_size (res->sctable) 
            == cstringList_size (res->valueNames));
@@ -126,14 +128,18 @@ metaStateInfo_getMergeTable (metaStateInfo info) /*@*/
 extern int metaStateInfo_getDefaultValue (metaStateInfo info, sRef s)
 {
   llassert (metaStateInfo_isDefined (info));
-  llassert (mtContextNode_matchesRef (metaStateInfo_getContext (info), s));
 
   if (sRef_isParam (s))
     {
       return info->default_parameter;
     }
+  else if (sRef_isResult (s))
+    {
+      return info->default_result;
+    }
   else 
     {
+      llassert (mtContextNode_matchesRef (metaStateInfo_getContext (info), s));
       return info->default_ref;
     }
 }
@@ -151,6 +157,13 @@ void metaStateInfo_setDefaultRefValue (metaStateInfo info, int val)
   info->default_ref = val;
 }
 
+void metaStateInfo_setDefaultResultValue (metaStateInfo info, int val)
+{
+  llassert (metaStateInfo_isDefined (info));
+  llassert (info->default_result == stateValue_error);
+  info->default_result = val;
+}
+
 void metaStateInfo_setDefaultParamValue (metaStateInfo info, int val)
 {
   llassert (metaStateInfo_isDefined (info));
@@ -164,6 +177,12 @@ int metaStateInfo_getDefaultRefValue (metaStateInfo info)
   return info->default_ref;
 }
 
+int metaStateInfo_getDefaultResultValue (metaStateInfo info)
+{
+  llassert (metaStateInfo_isDefined (info));
+  return info->default_result;
+}
+
 int metaStateInfo_getDefaultParamValue (metaStateInfo info)
 {
   llassert (metaStateInfo_isDefined (info));