[jboss-jira] [JBoss JIRA] (DROOLS-265) Enable recursive traiting and dynamic field typing

[Davide Sottara (JIRA)]

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