void _endRegion()

in packages/code_excerpter/lib/src/excerpter.dart [119:152]


  void _endRegion(Directive directive) {
    final regionsWithoutStart = <String>[];
    final regionNames = directive.args;
    log.finer('_endRegion(regionNames = $regionNames)');

    if (regionNames.isEmpty) {
      regionNames.add('');
      // _warn('${directive.lexeme} has no explicit arguments; assuming ""');
    }

    for (final name in regionNames) {
      if (_openExcerpts.remove(name)) {
        final excerpt = excerpts[name];
        if (excerpt == null) {
          return;
        }

        if (excerpt.isEmpty) {
          _warnRegions(
            [name],
            (regions) => 'empty $regions',
          );
        }
        excerpt.add(directive.indentation + defaultPlaster);
      } else {
        regionsWithoutStart.add(_quoteName(name));
      }
    }

    _warnRegions(
      regionsWithoutStart,
      (regions) => '$regions end without a prior start',
    );
  }