You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If @StrFlag'ged-interface extends another interface that interface should also be @StrFlag'ged (and confine corresponding requirements). Flags representation should be generated respecting inherited flags. Parent flags shout go first. If an interface extends several interfaces, order parent flags should reflect the order of their specification in extends clause (if Java reflection gives here some guarantees otherwise we have need to invent something).
The text was updated successfully, but these errors were encountered:
If
@StrFlag
'ged-interface extends another interface that interface should also be@StrFlag
'ged (and confine corresponding requirements). Flags representation should be generated respecting inherited flags. Parent flags shout go first. If an interface extends several interfaces, order parent flags should reflect the order of their specification inextends
clause (if Java reflection gives here some guarantees otherwise we have need to invent something).The text was updated successfully, but these errors were encountered: