[JBoss JIRA] (JBRULES-2929) Note about Undeeded Patterns
by Toni Rikkola (Jira)
[ https://issues.jboss.org/browse/JBRULES-2929?page=com.atlassian.jira.plug... ]
Toni Rikkola closed JBRULES-2929.
---------------------------------
Resolution: Won't Do
> Note about Undeeded Patterns
> ----------------------------
>
> Key: JBRULES-2929
> URL: https://issues.jboss.org/browse/JBRULES-2929
> Project: JBRULES
> Issue Type: Feature Request
> Components: drools-verifier
> Reporter: Toni Rikkola
> Assignee: Toni Rikkola
> Priority: Minor
>
> Restrictions are not needed in this rule.
> rule "Pattern possibility that is always true"
> when
> a: Restriction()
> b: Restriction()
> $pp: SubPattern()
> Opposites(
> (
> left == a && right memberOf $pp.items
> ) && (
> left == b && right memberOf $pp.items
> )
> )
> then
> insert( new AlwaysTrue( $pp, a, b ) );
> end
> Because it could be simply written as:
> when
> $pp: SubPattern()
> Opposites( $left: left memberOf $pp.items &&
> $right: right memberOf $pp.items )
> then
> insert( new AlwaysTrue( $pp, $left, $right ) );
> end
--
This message was sent by Atlassian Jira
(v7.12.1#712002)
7 years, 6 months
[JBoss JIRA] (JBRULES-2926) Split Verifier to 3 parts: Assistant/Verifier/Reporting
by Toni Rikkola (Jira)
[ https://issues.jboss.org/browse/JBRULES-2926?page=com.atlassian.jira.plug... ]
Toni Rikkola closed JBRULES-2926.
---------------------------------
Resolution: Out of Date
> Split Verifier to 3 parts: Assistant/Verifier/Reporting
> -------------------------------------------------------
>
> Key: JBRULES-2926
> URL: https://issues.jboss.org/browse/JBRULES-2926
> Project: JBRULES
> Issue Type: Task
> Components: drools-verifier
> Reporter: Toni Rikkola
> Assignee: Toni Rikkola
> Priority: Major
> Labels: verifier
>
> Assistant
> * Saves the information about fact type, field, function, query usages
> * Saves the more detailed info for the verifier part
> Verifier
> * The part that runs the verification rules
> * Finds redundancy, overlaps, gaps etc
> Reporting
> * Creates DroolsDocs based on Assistant data
> * Creates Verifier report based on Verifier data
--
This message was sent by Atlassian Jira
(v7.12.1#712002)
7 years, 6 months
[JBoss JIRA] (DROOLS-2751) Workbench does not show correct message for DecisionTables with variables out of range
by Toni Rikkola (Jira)
[ https://issues.jboss.org/browse/DROOLS-2751?page=com.atlassian.jira.plugi... ]
Toni Rikkola updated DROOLS-2751:
---------------------------------
Labels: verifier (was: )
> Workbench does not show correct message for DecisionTables with variables out of range
> --------------------------------------------------------------------------------------
>
> Key: DROOLS-2751
> URL: https://issues.jboss.org/browse/DROOLS-2751
> Project: Drools
> Issue Type: Bug
> Components: decision tables, Guided Decision Table Editor
> Affects Versions: 7.8.0.Final
> Reporter: Alessandro Lazarotti
> Assignee: Toni Rikkola
> Priority: Major
> Labels: verifier
> Attachments: 1-decision-table.png, 2-dt-source.png, 3-workbench-message.png, Applicant Annual Income.png, MortgageDecisionTable.gdst, Property.png
>
>
> When it is defined a Decision Table with rows don't covering all possible ranges, the message reported by workbench isn't clear, in fact it is a wrong message:
> "Deficient row.
> Affected rows:1
> "Deficient rule has *actions which conflict with another rule* and conditions that do not overlap with the other rule."
> "Since *the deficient rule can fire at the same time as an another rule*, it is impossible to know which actions end up activating last. This causes the rule set to be inconsistent. To fix this, please either remove the deficient rule or make the conditions more strict."
> The message above seems generic for cases that two rules can fire while it is expect them to be exclusive, but it is confuse for rows out-of-range.
> See attachments.
--
This message was sent by Atlassian Jira
(v7.12.1#712002)
7 years, 6 months