Variable ModuleDeclaration.atAttributes

class ModuleDeclaration
{
  // ...
  AtAttribute[] atAttributes ;
  // ...
}