fileType property

String fileType

Implementation

String get fileType {
  // TODO(jdkoren): Provide a way to determine file type of a remote package's
  // docs. Perhaps make this configurable through dartdoc options.
  // In theory, a remote package could be documented in any supported format.
  // In practice, devs depend on Dart, Flutter, and/or packages fetched
  // from pub.dev, and we know that all of those use html docs.
  return _fileType ??= (package.documentedWhere == DocumentLocation.remote)
      ? 'html'
      : config.format;
}