- https://sciprog.center/people/Nozik
- Joined on
2022-09-12
By the way, I am not sure that we need additional class for implied attributes. Simple Map seems to suffice.
I mean just throw an exception if there are any conflicts in implied properties. But do no check implied properties conflict if the implied attribute is explicitly defined in Attributes. So, if…
I think that there is a simple solution for all diamond problems. Require for current attributes to explicitly declare implied attribute, otherwise throw an exception. Actually, it works the same…
I would like to change the semantics a bit. If we do not use inheritance, let us make it more flexible. Let as assume that if object has attribute A that implies attribute B with value b that object automatically have attribute B with value b. I propose two changes: