code: def visitIgnoreDirective(self, ctx: jsgParser.IgnoreDirectiveContext):
          
          for name in as_tokens(ctx.name()):
              self._context.directives.append('_CONTEXT.IGNORE.append("{}")'.format(name))
docs: directive: '.IGNORE' name* SEMI