Member predicate ClassValue::declaresAttribute
Holds if this class declares the attribute name,
not including attributes declared by super classes.
predicate declaresAttribute(string name)Holds if this class declares the attribute name,
not including attributes declared by super classes.
predicate declaresAttribute(string name)