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 Member
s
of the provided feature.