[ https://issues.apache.org/jira/browse/TUSCANY-3642?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Brent Daniel reassigned TUSCANY-3642: ------------------------------------- Assignee: Brent Daniel > Tuscany does not evaluate mutually exclusive intents correctly where one > intent is Qualifiable > ---------------------------------------------------------------------------------------------- > > Key: TUSCANY-3642 > URL: https://issues.apache.org/jira/browse/TUSCANY-3642 > Project: Tuscany > Issue Type: Bug > Components: Java SCA Policy > Affects Versions: Java-SCA-2.0-M5 > Reporter: Mike Edwards > Assignee: Brent Daniel > Priority: Minor > Fix For: Java-SCA-2.0 > > > Where one intent is declared as being mutually exclusive with a second > intent, but the second intent is a qualifiable intent and the exclusion > statement names the root qualifiable intent rather than one of the qualified > forms, then Tuscany does not flag the intents as "mutually exclusive" when > the unqualified form of the intent appears on an element with the first > intent. > This was discovered with the recently updated form of OASIS testcase ASM_8014. > This testcase defines an intent "Joe": > <intent name="Joe" constrains="sca:binding" intentType="interaction" > excludes="sca:confidentiality"/> > note that this is exclusive of sca:confidentiality intent, which is > qualifiable with confidentiality.transport and confidentiality.message the > qualified forms. > When a service is declared where the interface has sca:confidentiality > applied and has test:Joe applied to the service element itself, Tuscany does > not treat these two intents as mutually exclusive and operates incorrectly. > Note that changing the exclude statement above to read > "sca:confidentiality.transport" causes Tuscany to spot the mutual exclusion > and to raise an exception. So it appears as if Tuscany is converting the > unqualified form of the intent to the default qualified form before checking > for mutual exclusion. This is incorrect - mutual exclusion when it uses the > unqualified form of an intent means "excludes all forms of this intent - > unqualified and all qualified versions". -- This message is automatically generated by JIRA. - You can reply to this email to add a comment to the issue online.