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