static int EvalClassExpression(EvalContext *ctx, Constraint *cp, Promise *pp)
{
int result_and = true;
int result_or = false;
int result_xor = 0;
int result = 0, total = 0;
char buffer[CF_MAXVARSIZE];
Rlist *rp;
double prob, cum = 0, fluct;
FnCall *fp;
Rval rval;
if (cp == NULL)
{
CfOut(OUTPUT_LEVEL_ERROR, "", " !! EvalClassExpression internal diagnostic discovered an ill-formed condition");
}
if (!IsDefinedClass(ctx, pp->classes, PromiseGetNamespace(pp)))
{
return false;
}
if (pp->done)
{
return false;
}
if (IsDefinedClass(ctx, pp->promiser, PromiseGetNamespace(pp)))
{
if (PromiseGetConstraintAsInt(ctx, "persistence", pp) == 0)
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> Cancelling cached persistent class %s", pp->promiser);
EvalContextHeapPersistentRemove(pp->promiser);
}
return false;
}
switch (cp->rval.type)
{
case RVAL_TYPE_FNCALL:
fp = (FnCall *) cp->rval.item; /* Special expansion of functions for control, best effort only */
FnCallResult res = FnCallEvaluate(ctx, fp, pp);
FnCallDestroy(fp);
cp->rval = res.rval;
break;
case RVAL_TYPE_LIST:
for (rp = (Rlist *) cp->rval.item; rp != NULL; rp = rp->next)
{
rval = EvaluateFinalRval(ctx, "this", (Rval) {rp->item, rp->type}, true, pp);
RvalDestroy((Rval) {rp->item, rp->type});
rp->item = rval.item;
rp->type = rval.type;
}
break;
default:
rval = ExpandPrivateRval("this", cp->rval);
RvalDestroy(cp->rval);
cp->rval = rval;
break;
}
if (strcmp(cp->lval, "expression") == 0)
{
if (cp->rval.type != RVAL_TYPE_SCALAR)
{
return false;
}
if (IsDefinedClass(ctx, (char *) cp->rval.item, PromiseGetNamespace(pp)))
{
return true;
}
else
{
return false;
}
}
if (strcmp(cp->lval, "not") == 0)
{
if (cp->rval.type != RVAL_TYPE_SCALAR)
{
return false;
}
if (IsDefinedClass(ctx, (char *) cp->rval.item, PromiseGetNamespace(pp)))
{
return false;
}
else
{
return true;
}
}
// Class selection
if (strcmp(cp->lval, "select_class") == 0)
{
char splay[CF_MAXVARSIZE];
int i, n;
double hash;
total = 0;
for (rp = (Rlist *) cp->rval.item; rp != NULL; rp = rp->next)
{
total++;
}
if (total == 0)
{
CfOut(OUTPUT_LEVEL_ERROR, "", " !! No classes to select on RHS");
PromiseRef(OUTPUT_LEVEL_ERROR, pp);
return false;
}
snprintf(splay, CF_MAXVARSIZE, "%s+%s+%ju", VFQNAME, VIPADDRESS, (uintmax_t)getuid());
hash = (double) GetHash(splay, CF_HASHTABLESIZE);
n = (int) (total * hash / (double) CF_HASHTABLESIZE);
for (rp = (Rlist *) cp->rval.item, i = 0; rp != NULL; rp = rp->next, i++)
{
if (i == n)
{
EvalContextHeapAddSoft(ctx, rp->item, PromiseGetNamespace(pp));
return true;
}
}
}
// Class distributions
if (strcmp(cp->lval, "dist") == 0)
{
for (rp = (Rlist *) cp->rval.item; rp != NULL; rp = rp->next)
{
result = IntFromString(rp->item);
if (result < 0)
{
CfOut(OUTPUT_LEVEL_ERROR, "", " !! Non-positive integer in class distribution");
PromiseRef(OUTPUT_LEVEL_ERROR, pp);
return false;
}
total += result;
}
if (total == 0)
{
CfOut(OUTPUT_LEVEL_ERROR, "", " !! An empty distribution was specified on RHS");
PromiseRef(OUTPUT_LEVEL_ERROR, pp);
return false;
}
}
fluct = drand48(); /* Get random number 0-1 */
cum = 0.0;
/* If we get here, anything remaining on the RHS must be a clist */
if (cp->rval.type != RVAL_TYPE_LIST)
{
CfOut(OUTPUT_LEVEL_ERROR, "", " !! RHS of promise body attribute \"%s\" is not a list\n", cp->lval);
PromiseRef(OUTPUT_LEVEL_ERROR, pp);
return true;
}
for (rp = (Rlist *) cp->rval.item; rp != NULL; rp = rp->next)
{
if (rp->type != RVAL_TYPE_SCALAR)
{
return false;
}
result = IsDefinedClass(ctx, (char *) (rp->item), PromiseGetNamespace(pp));
result_and = result_and && result;
result_or = result_or || result;
result_xor ^= result;
if (total > 0) // dist class
{
prob = ((double) IntFromString(rp->item)) / ((double) total);
cum += prob;
if ((fluct < cum) || rp->next == NULL)
{
snprintf(buffer, CF_MAXVARSIZE - 1, "%s_%s", pp->promiser, (char *) rp->item);
*(pp->donep) = true;
if (strcmp(PromiseGetBundle(pp)->type, "common") == 0)
{
EvalContextHeapAddSoft(ctx, buffer, PromiseGetNamespace(pp));
}
else
{
NewBundleClass(ctx, buffer, PromiseGetBundle(pp)->name, PromiseGetNamespace(pp));
}
CfDebug(" ?? \'Strategy\' distribution class interval -> %s\n", buffer);
return true;
}
}
}
// Class combinations
if (strcmp(cp->lval, "or") == 0)
{
return result_or;
}
if (strcmp(cp->lval, "xor") == 0)
{
return (result_xor == 1) ? true : false;
}
if (strcmp(cp->lval, "and") == 0)
{
return result_and;
}
return false;
}
static int EvalClassExpression(struct Constraint *cp,struct Promise *pp)
{ int result_and = true;
int result_or = false;
int result_xor = 0;
int result = 0,total = 0;
char buffer[CF_MAXVARSIZE];
struct Rlist *rp;
double prob,cum = 0,fluct;
struct Rval newret;
struct FnCall *fp;
if (cp == NULL)
{
CfOut(cf_error,""," !! EvalClassExpression internal diagnostic discovered an ill-formed condition");
}
if (!IsDefinedClass(pp->classes))
{
return false;
}
if (pp->done)
{
return false;
}
if (IsDefinedClass(pp->promiser))
{
return false;
}
switch (cp->type)
{
case CF_FNCALL:
fp = (struct FnCall *)cp->rval; /* Special expansion of functions for control, best effort only */
newret = EvaluateFunctionCall(fp,pp);
DeleteFnCall(fp);
cp->rval = newret.item;
cp->type = newret.rtype;
break;
case CF_LIST:
for (rp = (struct Rlist *)cp->rval; rp != NULL; rp = rp->next)
{
newret = EvaluateFinalRval("this",rp->item,rp->type,true,pp);
DeleteRvalItem(rp->item,rp->type);
rp->item = newret.item;
rp->type = newret.rtype;
}
break;
default:
newret = ExpandPrivateRval("this",cp->rval,cp->type);
DeleteRvalItem(cp->rval,cp->type);
cp->rval = newret.item;
cp->type = newret.rtype;
break;
}
if (strcmp(cp->lval,"expression") == 0)
{
if (cp->type != CF_SCALAR)
{
return false;
}
if (IsDefinedClass((char *)cp->rval))
{
return true;
}
else
{
return false;
}
}
if (strcmp(cp->lval,"not") == 0)
{
if (cp->type != CF_SCALAR)
{
return false;
}
if (IsDefinedClass((char *)cp->rval))
{
return false;
}
else
{
return true;
}
}
// Class selection
if (strcmp(cp->lval,"select_class") == 0)
{
char splay[CF_MAXVARSIZE];
int i,n;
double hash;
total = 0;
for (rp = (struct Rlist *)cp->rval; rp != NULL; rp = rp->next)
{
total++;
}
if (total == 0)
{
CfOut(cf_error,""," !! No classes to select on RHS");
PromiseRef(cf_error,pp);
return false;
}
snprintf(splay,CF_MAXVARSIZE,"%s+%s+%d",VFQNAME,VIPADDRESS,getuid());
hash = (double)GetHash(splay);
n = (int)(total*hash/(double)CF_HASHTABLESIZE);
for (rp = (struct Rlist *)cp->rval,i = 0; rp != NULL; rp = rp->next,i++)
{
if (i == n)
{
NewClass(rp->item);
return true;
}
}
}
// Class distributions
if (strcmp(cp->lval,"dist") == 0)
{
for (rp = (struct Rlist *)cp->rval; rp != NULL; rp = rp->next)
{
result = Str2Int(rp->item);
if (result < 0)
{
CfOut(cf_error,""," !! Non-positive integer in class distribution");
PromiseRef(cf_error,pp);
return false;
}
total += result;
}
if (total == 0)
{
CfOut(cf_error,""," !! An empty distribution was specified on RHS");
PromiseRef(cf_error,pp);
return false;
}
}
fluct = drand48(); /* Get random number 0-1 */
cum = 0.0;
/* If we get here, anything remaining on the RHS must be a clist */
if (cp->type != CF_LIST)
{
CfOut(cf_error,""," !! RHS of promise body attribute \"%s\" is not a list\n",cp->lval);
PromiseRef(cf_error,pp);
return true;
}
for (rp = (struct Rlist *)cp->rval; rp != NULL; rp = rp->next)
{
if (rp->type != CF_SCALAR)
{
return false;
}
result = IsDefinedClass((char *)(rp->item));
result_and = result_and && result;
result_or = result_or || result;
result_xor ^= result;
if (total > 0) // dist class
{
prob = ((double)Str2Int(rp->item))/((double)total);
cum += prob;
if ((fluct < cum) || rp->next == NULL)
{
snprintf(buffer,CF_MAXVARSIZE-1,"%s_%s",pp->promiser,rp->item);
*(pp->donep) = true;
if (strcmp(pp->bundletype,"common") == 0)
{
NewClass(buffer);
}
else
{
NewBundleClass(buffer,pp->bundle);
}
Debug(" ?? \'Strategy\' distribution class interval -> %s\n",buffer);
return true;
}
}
}
// Class combinations
if (strcmp(cp->lval,"or") == 0)
{
return result_or;
}
if (strcmp(cp->lval,"xor") == 0)
{
return (result_xor == 1) ? true : false;
}
if (strcmp(cp->lval,"and") == 0)
{
return result_and;
}
return false;
}
void KeepClassContextPromise(EvalContext *ctx, Promise *pp)
{
Attributes a;
a = GetClassContextAttributes(ctx, pp);
if (!FullTextMatch("[a-zA-Z0-9_]+", pp->promiser))
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", "Class identifier \"%s\" contains illegal characters - canonifying", pp->promiser);
snprintf(pp->promiser, strlen(pp->promiser) + 1, "%s", CanonifyName(pp->promiser));
}
if (a.context.nconstraints == 0)
{
cfPS(ctx, OUTPUT_LEVEL_ERROR, CF_FAIL, "", pp, a, "No constraints for class promise %s", pp->promiser);
return;
}
if (a.context.nconstraints > 1)
{
cfPS(ctx, OUTPUT_LEVEL_ERROR, CF_FAIL, "", pp, a, "Irreconcilable constraints in classes for %s", pp->promiser);
return;
}
// If this is a common bundle ...
if (strcmp(PromiseGetBundle(pp)->type, "common") == 0)
{
if (EvalClassExpression(ctx, a.context.expression, pp))
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> defining additional global class %s\n", pp->promiser);
if (!ValidClassName(pp->promiser))
{
cfPS(ctx, OUTPUT_LEVEL_ERROR, CF_FAIL, "", pp, a,
" !! Attempted to name a class \"%s\", which is an illegal class identifier", pp->promiser);
}
else
{
if (a.context.persistent > 0)
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> defining explicit persistent class %s (%d mins)\n", pp->promiser,
a.context.persistent);
EvalContextHeapPersistentSave(pp->promiser, PromiseGetNamespace(pp), a.context.persistent, CONTEXT_STATE_POLICY_RESET);
EvalContextHeapAddSoft(ctx, pp->promiser, PromiseGetNamespace(pp));
}
else
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> defining explicit global class %s\n", pp->promiser);
EvalContextHeapAddSoft(ctx, pp->promiser, PromiseGetNamespace(pp));
}
}
}
/* These are global and loaded once */
/* *(pp->donep) = true; */
return;
}
// If this is some other kind of bundle (else here??)
if (strcmp(PromiseGetBundle(pp)->type, CF_AGENTTYPES[THIS_AGENT_TYPE]) == 0 || FullTextMatch("edit_.*", PromiseGetBundle(pp)->type))
{
if (EvalClassExpression(ctx, a.context.expression, pp))
{
if (!ValidClassName(pp->promiser))
{
cfPS(ctx, OUTPUT_LEVEL_ERROR, CF_FAIL, "", pp, a,
" !! Attempted to name a class \"%s\", which is an illegal class identifier", pp->promiser);
}
else
{
if (a.context.persistent > 0)
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> defining explicit persistent class %s (%d mins)\n", pp->promiser,
a.context.persistent);
CfOut(OUTPUT_LEVEL_VERBOSE, "",
" ?> Warning: persistent classes are global in scope even in agent bundles\n");
EvalContextHeapPersistentSave(pp->promiser, PromiseGetNamespace(pp), a.context.persistent, CONTEXT_STATE_POLICY_RESET);
EvalContextHeapAddSoft(ctx, pp->promiser, PromiseGetNamespace(pp));
}
else
{
CfOut(OUTPUT_LEVEL_VERBOSE, "", " ?> defining explicit local bundle class %s\n", pp->promiser);
NewBundleClass(ctx, pp->promiser, PromiseGetBundle(pp)->name, PromiseGetNamespace(pp));
}
}
}
// Private to bundle, can be reloaded
*(pp->donep) = false;
return;
}
}
void KeepClassContextPromise(struct Promise *pp)
{ struct Attributes a;
a = GetClassContextAttributes(pp);
if (!FullTextMatch("[a-zA-Z0-9_]+",pp->promiser))
{
CfOut(cf_verbose,"","Class identifier \"%s\" contains illegal characters - canonifying",pp->promiser);
snprintf(pp->promiser, strlen(pp->promiser) + 1, "%s", CanonifyName(pp->promiser));
}
if (a.context.broken)
{
cfPS(cf_error,CF_FAIL,"",pp,a,"Irreconcilable constraints in classes for %s (broken promise)",pp->promiser);
return;
}
if (strcmp(pp->bundletype,"common") == 0)
{
if (EvalClassExpression(a.context.expression,pp))
{
CfOut(cf_verbose,""," ?> defining additional global class %s\n",pp->promiser);
if (!ValidClassName(pp->promiser))
{
cfPS(cf_error,CF_FAIL,"",pp,a," !! Attempted to name a class \"%s\", which is an illegal class identifier",pp->promiser);
}
else
{
NewClass(pp->promiser);
}
}
/* These are global and loaded once */
//*(pp->donep) = true;
return;
}
if (strcmp(pp->bundletype,THIS_AGENT) == 0 || FullTextMatch("edit_.*",pp->bundletype))
{
if (EvalClassExpression(a.context.expression,pp))
{
Debug(" ?> defining explicit class %s\n",pp->promiser);
if (!ValidClassName(pp->promiser))
{
cfPS(cf_error,CF_FAIL,"",pp,a," !! Attempted to name a class \"%s\", which is an illegal class identifier",pp->promiser);
}
else
{
NewBundleClass(pp->promiser,pp->bundle);
}
}
// Private to bundle, can be reloaded
*(pp->donep) = false;
return;
}
}
