Map of Declaration.name to
Declaration that contains all declarations in the SymbolTable.models.Map of Member.name to
Attribute that contains all declared attributes of the provided
feature.Collection of all declared Attribute
s of the provided feature.Map of Member.name to
Invariant that contains all declared invariants of the provided
feature.Collection of all declared Invariant
s of the provided feature.Map of Member.name to Member
that contains all declared members of the provided feature.Collection of all declared Members
of the provided feature.