SyntaxTypeMatch CheckConstraintTypeMatch(const char *lval, Rval rval, DataType dt, const char *range, int level)
{
Rlist *rp;
Item *checklist;
CfDebug(" ------------------------------------------------\n");
if (dt == DATA_TYPE_BUNDLE || dt == DATA_TYPE_BODY)
{
CfDebug(" - Checking inline constraint/arg %s[%s] => mappedval (bundle/body)\n", lval, CF_DATATYPES[dt]);
}
else
{
CfDebug(" - Checking inline constraint/arg %s[%s] => mappedval (%c) %s\n", lval, CF_DATATYPES[dt], rval.type,
range);
}
CfDebug(" ------------------------------------------------\n");
/* Get type of lval */
switch (rval.type)
{
case RVAL_TYPE_SCALAR:
switch (dt)
{
case DATA_TYPE_STRING_LIST:
case DATA_TYPE_INT_LIST:
case DATA_TYPE_REAL_LIST:
case DATA_TYPE_CONTEXT_LIST:
case DATA_TYPE_OPTION_LIST:
if (level == 0)
{
return SYNTAX_TYPE_MATCH_ERROR_GOT_SCALAR;
}
break;
default:
/* Only lists are incompatible with scalars */
break;
}
break;
case RVAL_TYPE_LIST:
switch (dt)
{
case DATA_TYPE_STRING_LIST:
case DATA_TYPE_INT_LIST:
case DATA_TYPE_REAL_LIST:
case DATA_TYPE_CONTEXT_LIST:
case DATA_TYPE_OPTION_LIST:
break;
default:
return SYNTAX_TYPE_MATCH_ERROR_GOT_LIST;
}
for (rp = (Rlist *) rval.item; rp != NULL; rp = rp->next)
{
SyntaxTypeMatch err = CheckConstraintTypeMatch(lval, (Rval) {rp->item, rp->type}, dt, range, 1);
switch (err)
{
case SYNTAX_TYPE_MATCH_OK:
case SYNTAX_TYPE_MATCH_ERROR_UNEXPANDED:
break;
default:
return err;
}
}
return SYNTAX_TYPE_MATCH_OK;
case RVAL_TYPE_FNCALL:
/* Fn-like objects are assumed to be parameterized bundles in these... */
checklist = SplitString("bundlesequence,edit_line,edit_xml,usebundle,service_bundle", ',');
if (!IsItemIn(checklist, lval))
{
SyntaxTypeMatch err = CheckFnCallType(lval, ((FnCall *) rval.item)->name, dt, range);
DeleteItemList(checklist);
return err;
}
DeleteItemList(checklist);
return SYNTAX_TYPE_MATCH_OK;
default:
break;
}
/* If we get here, we have a literal scalar type */
switch (dt)
{
case DATA_TYPE_STRING:
case DATA_TYPE_STRING_LIST:
return CheckParseString(lval, (const char *) rval.item, range);
case DATA_TYPE_INT:
case DATA_TYPE_INT_LIST:
return CheckParseInt(lval, (const char *) rval.item, range);
case DATA_TYPE_REAL:
case DATA_TYPE_REAL_LIST:
return CheckParseReal(lval, (const char *) rval.item, range);
case DATA_TYPE_BODY:
case DATA_TYPE_BUNDLE:
CfDebug("Nothing to check for body reference\n");
break;
case DATA_TYPE_OPTION:
case DATA_TYPE_OPTION_LIST:
return CheckParseOpts(lval, (const char *) rval.item, range);
case DATA_TYPE_CONTEXT:
case DATA_TYPE_CONTEXT_LIST:
return CheckParseContext((const char *) rval.item, range);
case DATA_TYPE_INT_RANGE:
return CheckParseIntRange(lval, (const char *) rval.item, range);
case DATA_TYPE_REAL_RANGE:
return CheckParseRealRange(lval, (char *) rval.item, range);
default:
ProgrammingError("Unknown (unhandled) datatype for lval = %s (CheckConstraintTypeMatch)", lval);
break;
}
CfDebug("end CheckConstraintTypeMatch---------\n");
return SYNTAX_TYPE_MATCH_OK;
}
SyntaxTypeMatch CheckConstraintTypeMatch(const char *lval, Rval rval, DataType dt, const char *range, int level)
{
Rlist *rp;
Item *checklist;
/* Get type of lval */
switch (rval.type)
{
case RVAL_TYPE_SCALAR:
switch (dt)
{
case CF_DATA_TYPE_STRING_LIST:
case CF_DATA_TYPE_INT_LIST:
case CF_DATA_TYPE_REAL_LIST:
case CF_DATA_TYPE_CONTEXT_LIST:
case CF_DATA_TYPE_OPTION_LIST:
if (level == 0)
{
return SYNTAX_TYPE_MATCH_ERROR_GOT_SCALAR;
}
break;
default:
/* Only lists are incompatible with scalars */
break;
}
break;
case RVAL_TYPE_LIST:
switch (dt)
{
case CF_DATA_TYPE_STRING_LIST:
case CF_DATA_TYPE_INT_LIST:
case CF_DATA_TYPE_REAL_LIST:
case CF_DATA_TYPE_CONTEXT_LIST:
case CF_DATA_TYPE_OPTION_LIST:
break;
default:
return SYNTAX_TYPE_MATCH_ERROR_GOT_LIST;
}
for (rp = (Rlist *) rval.item; rp != NULL; rp = rp->next)
{
SyntaxTypeMatch err = CheckConstraintTypeMatch(lval, rp->val, dt, range, 1);
switch (err)
{
case SYNTAX_TYPE_MATCH_OK:
case SYNTAX_TYPE_MATCH_ERROR_UNEXPANDED:
break;
default:
return err;
}
}
return SYNTAX_TYPE_MATCH_OK;
case RVAL_TYPE_FNCALL:
/* Fn-like objects are assumed to be parameterized bundles in these... */
checklist = SplitString("bundlesequence,edit_line,edit_xml,usebundle,service_bundle,home_bundle", ',');
if (!IsItemIn(checklist, lval))
{
SyntaxTypeMatch err = CheckFnCallType(RvalFnCallValue(rval)->name, dt);
DeleteItemList(checklist);
return err;
}
DeleteItemList(checklist);
return SYNTAX_TYPE_MATCH_OK;
case RVAL_TYPE_CONTAINER:
break;
case RVAL_TYPE_NOPROMISEE:
return SYNTAX_TYPE_MATCH_ERROR_GOT_NULL;
}
/* If we get here, we have a literal scalar type */
switch (dt)
{
case CF_DATA_TYPE_STRING:
case CF_DATA_TYPE_STRING_LIST:
return CheckParseString(lval, (const char *) rval.item, range);
case CF_DATA_TYPE_INT:
case CF_DATA_TYPE_INT_LIST:
return CheckParseInt(lval, (const char *) rval.item, range);
case CF_DATA_TYPE_REAL:
case CF_DATA_TYPE_REAL_LIST:
return CheckParseReal(lval, (const char *) rval.item, range);
case CF_DATA_TYPE_BODY:
case CF_DATA_TYPE_BUNDLE:
case CF_DATA_TYPE_CONTAINER:
break;
case CF_DATA_TYPE_OPTION:
case CF_DATA_TYPE_OPTION_LIST:
return CheckParseOpts(RvalScalarValue(rval), range);
case CF_DATA_TYPE_CONTEXT:
case CF_DATA_TYPE_CONTEXT_LIST:
return CheckParseContext((const char *) rval.item, range);
case CF_DATA_TYPE_INT_RANGE:
return CheckParseIntRange(lval, (const char *) rval.item, range);
case CF_DATA_TYPE_REAL_RANGE:
return CheckParseRealRange(lval, (char *) rval.item, range);
default:
ProgrammingError("Unknown (unhandled) datatype for lval = %s (CheckConstraintTypeMatch)", lval);
break;
}
return SYNTAX_TYPE_MATCH_OK;
}
void CheckConstraintTypeMatch(char *lval, Rval rval, enum cfdatatype dt, const char *range, int level)
{
Rlist *rp;
Item *checklist;
char output[CF_BUFSIZE];
if (rval.item == NULL)
{
return;
}
CfDebug(" ------------------------------------------------\n");
if (dt == cf_bundle || dt == cf_body)
{
CfDebug(" - Checking inline constraint/arg %s[%s] => mappedval (bundle/body)\n", lval, CF_DATATYPES[dt]);
}
else
{
CfDebug(" - Checking inline constraint/arg %s[%s] => mappedval (%c) %s\n", lval, CF_DATATYPES[dt], rval.rtype,
range);
}
CfDebug(" ------------------------------------------------\n");
/* Get type of lval */
switch (rval.rtype)
{
case CF_SCALAR:
switch (dt)
{
case cf_slist:
case cf_ilist:
case cf_rlist:
case cf_clist:
case cf_olist:
if (level == 0)
{
snprintf(output, CF_BUFSIZE, " !! Type mismatch -- rhs is a scalar, but lhs (%s) is not a scalar type",
CF_DATATYPES[dt]);
ReportError(output);
}
break;
default:
/* Only lists are incompatible with scalars */
break;
}
break;
case CF_LIST:
switch (dt)
{
case cf_slist:
case cf_ilist:
case cf_rlist:
case cf_clist:
case cf_olist:
break;
default:
snprintf(output, CF_BUFSIZE, "!! Type mistach -- rhs is a list, but lhs (%s) is not a list type",
CF_DATATYPES[dt]);
ReportError(output);
break;
}
for (rp = (Rlist *) rval.item; rp != NULL; rp = rp->next)
{
CheckConstraintTypeMatch(lval, (Rval) {rp->item, rp->type}, dt, range, 1);
}
return;
case CF_FNCALL:
/* Fn-like objects are assumed to be parameterized bundles in these... */
checklist = SplitString("bundlesequence,edit_line,edit_xml,usebundle,service_bundle", ',');
if (!IsItemIn(checklist, lval))
{
CheckFnCallType(lval, ((FnCall *) rval.item)->name, dt, range);
}
DeleteItemList(checklist);
return;
}
/* If we get here, we have a literal scalar type */
switch (dt)
{
case cf_str:
case cf_slist:
CheckParseString(lval, (char *) rval.item, range);
break;
case cf_int:
case cf_ilist:
CheckParseInt(lval, (char *) rval.item, range);
break;
case cf_real:
case cf_rlist:
CheckParseReal(lval, (char *) rval.item, range);
break;
case cf_body:
case cf_bundle:
CfDebug("Nothing to check for body reference\n");
break;
case cf_opts:
case cf_olist:
CheckParseOpts(lval, (char *) rval.item, range);
break;
case cf_class:
case cf_clist:
CheckParseClass(lval, (char *) rval.item, range);
break;
case cf_irange:
CheckParseIntRange(lval, (char *) rval.item, range);
break;
case cf_rrange:
CheckParseRealRange(lval, (char *) rval.item, range);
break;
default:
FatalError("Unknown (unhandled) datatype for lval = %s (CheckConstraintTypeMatch)\n", lval);
break;
}
CfDebug("end CheckConstraintTypeMatch---------\n");
}
