search

lmontrieux / rbacDSL

A text-based DSL for Role-Based Access Control
Eclipse Public License 1.0
2 stars 0 forks source link

QuickFix for self-conflicting SoD does not delete tuple if it is the only one in the list of conflicts #23

Closed lmontrieux closed 9 years ago

lmontrieux commented 9 years ago

If an SoD constraint with self is the only constraint in an SoD list of constraints, the quickfix that should delete it fails. This is because an SoD list cannot be empty.

Instead, an SoD list should be allowed to be empty, but a warning should be issued if that is the case.