Variable ModuleDeclaration.atAttributes

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