[jboss-jira] [JBoss JIRA] (DROOLS-265) Enable recursive traiting and dynamic field typing
Davide Sottara created DROOLS-265:
-------------------------------------
Summary: Enable recursive traiting and dynamic field typing
Key: DROOLS-265
URL: https://issues.jboss.org/browse/DROOLS-265
Project: Drools
Issue Type: Feature Request
Security Level: Public (Everyone can see)
Affects Versions: 5.5.0.Final
Reporter: Davide Sottara
Assignee: Mark Proctor
Priority: Critical
Fix For: 5.5.1.Final, 6.0.0.Final
Consider the following scenario:
declare trait A
sub : int
end
declare X end
declare trait Foo
fld : A
end
declare Bar
@Traitable( logic = true ) // new mode
fld : X
end
If an instance b of Bar is traited with Foo, the value of its field "fld"
should in turn be traited with A.
Truth maintenance and transparent casting are required.
The goal is to write rules such as:
when Foo( fld isA A, fld.sub == 0, .... ) then ..
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira