Member predicate ClassDecl :: declaresAttribute
Holds if this class declares the attribute name
predicate
declaresAttribute
(
string
name
)