public Defrule ruleBody()
{
Token exp = null;
Token rulecomment = null;
Defrule rule;
ArrayList dec = new ArrayList();
ArrayList conditions = new ArrayList();
ArrayList actions = new ArrayList();
exp = mcc_consume_token(IDENTIFIER);
if (mcc_2_12(2147483647))
{
rulecomment = mcc_consume_token(STRING_LITERAL);
}
else
{
;
}
if (mcc_2_13(2147483647))
{
ruleDeclaration(dec);
}
else
{
;
}
switch ((mcc_ntk == -1) ? mcc_mntk() : mcc_ntk)
{
case LBRACE:
case BIND:
while (true)
{
conditionElement(conditions);
switch ((mcc_ntk == -1) ? mcc_mntk() : mcc_ntk)
{
case LBRACE:
case BIND:
;
break;
default:
mcc_la1[32] = mcc_gen;
goto label_17;
}
}
label_17:
;
break;
default:
mcc_la1[33] = mcc_gen;
;
break;
}
arrow();
ruleActions(actions);
rule = new Defrule(exp.image);
if (rulecomment != null)
{
rule.Comment = rulecomment.image;
}
rule.setRuleProperties(dec);
IEnumerator itrC = conditions.GetEnumerator();
while (itrC.MoveNext())
{
rule.addCondition((ICondition) itrC.Current);
}
IEnumerator itr = actions.GetEnumerator();
while (itr.MoveNext())
{
Object acn = itr.Current;
if (acn is IFunction)
{
FunctionAction faction = new FunctionAction();
faction.Function = (IFunction) acn;
rule.addAction(faction);
}
else if (acn is IAction)
{
rule.addAction((IAction) acn);
}
}
dec.Clear();
conditions.Clear();
actions.Clear();
exp = null;
{
if (true) return rule;
}
throw new Exception("Missing return statement in function");
}
public Defrule ruleBody()
{
Token exp = null;
Token rulecomment = null;
Defrule rule;
IList dec = new ArrayList();
IList conditions = new ArrayList();
IList actions = new ArrayList();
exp = jj_consume_token(CLIPSParserConstants_Fields.IDENTIFIER);
if (jj_2_12(2147483647))
{
rulecomment = jj_consume_token(CLIPSParserConstants_Fields.STRING_LITERAL);
}
else
{
;
}
if (jj_2_13(2147483647))
{
ruleDeclaration(dec);
}
else
{
;
}
switch ((jj_ntk_Renamed_Field == - 1) ? jj_ntk() : jj_ntk_Renamed_Field)
{
case CLIPSParserConstants_Fields.LBRACE:
case CLIPSParserConstants_Fields.BIND:
while (true)
{
conditionElement(conditions);
switch ((jj_ntk_Renamed_Field == - 1) ? jj_ntk() : jj_ntk_Renamed_Field)
{
case CLIPSParserConstants_Fields.LBRACE:
case CLIPSParserConstants_Fields.BIND:
;
break;
default:
jj_la1[32] = jj_gen;
//UPGRADE_NOTE: Labeled break statement was changed to a goto statement. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1012"'
goto label_17_brk;
}
}
//UPGRADE_NOTE: Label 'label_17_brk' was added. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1011"'
label_17_brk:
;
break;
default:
jj_la1[33] = jj_gen;
;
break;
}
arrow();
ruleActions(actions);
rule = new Defrule(exp.image);
if (rulecomment != null)
{
rule.Comment = rulecomment.image;
}
rule.setRuleProperties(dec);
IEnumerator itr = conditions.GetEnumerator();
while (itr.MoveNext())
{
rule.addCondition((ICondition) itr.Current);
}
itr = actions.GetEnumerator();
while (itr.MoveNext())
{
Object acn = itr.Current;
if (acn is IFunction)
{
FunctionAction faction = new FunctionAction();
faction.Function = (IFunction) acn;
rule.addAction(faction);
}
else if (acn is IAction)
{
rule.addAction((IAction) acn);
}
}
dec.Clear();
conditions.Clear();
actions.Clear();
exp = null;
{
if (true)
return rule;
}
throw new ApplicationException("Missing return statement in function");
}
public virtual int analyze(IRule rule)
{
int result = Analysis_Fields.VALIDATION_PASSED;
error = new ErrorSummary();
warning = new WarningSummary();
checkForModule(rule);
ICondition[] cnds = rule.Conditions;
for (int idx = 0; idx < cnds.Length; idx++)
{
ICondition cnd = cnds[idx];
if (cnd is ObjectCondition)
{
ObjectCondition oc = (ObjectCondition)cnd;
Deftemplate dft = oc.Deftemplate;
if (dft != null)
{
IConstraint[] cntrs = oc.Constraints;
for (int idy = 0; idy < cntrs.Length; idy++)
{
IConstraint cons = cntrs[idy];
if (cons is LiteralConstraint)
{
Slot sl = dft.getSlot(cons.Name);
if (sl == null)
{
error.addMessage(INVALID_SLOT + " " + cons.Name + " slot does not exist.");
result = Analysis_Fields.VALIDATION_FAILED;
}
}
else if (cons is BoundConstraint)
{
BoundConstraint bc = (BoundConstraint)cons;
if (!bc.isObjectBinding)
{
Slot sl = dft.getSlot(bc.Name);
if (sl == null)
{
error.addMessage(INVALID_SLOT + " " + cons.Name + " slot does not exist.");
result = Analysis_Fields.VALIDATION_FAILED;
}
}
}
else if (cons is PredicateConstraint)
{
PredicateConstraint pc = (PredicateConstraint)cons;
IFunction f = engine.findFunction(pc.FunctionName);
if (f == null)
{
addInvalidFunctionError(pc.FunctionName);
}
}
}
}
else
{
error.addMessage(INVALID_TEMPLATE + " " + oc.TemplateName + " template does not exist.");
result = Analysis_Fields.VALIDATION_FAILED;
}
}
else if (cnd is TestCondition)
{
TestCondition tc = (TestCondition)cnd;
if (tc.Function == null)
{
error.addMessage(NO_FUNCTION);
result = Analysis_Fields.VALIDATION_FAILED;
}
else
{
IFunction f = tc.Function;
if (engine.findFunction(f.Name) == null)
{
addInvalidFunctionError(f.Name);
result = Analysis_Fields.VALIDATION_FAILED;
}
}
}
else if (cnd is ExistCondition)
{
}
}
// now we check the Right-hand side
IAction[] acts = rule.Actions;
for (int idx = 0; idx < acts.Length; idx++)
{
IAction act = acts[idx];
if (act is FunctionAction)
{
FunctionAction fa = (FunctionAction)act;
if (engine.findFunction(fa.FunctionName) == null)
{
addInvalidFunctionError(fa.FunctionName);
result = Analysis_Fields.VALIDATION_FAILED;
}
}
}
return(result);
}
