blob: 9b001350800bcff064277baba79f0c2133ac7d60 [file] [log] [blame]
// Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
import 'package:analyzer/file_system/file_system.dart';
/// An object that can map the file paths of analyzed files to the file paths of
/// the HTML files used to view the content of those files.
class PathMapper {
/// The resource provider used to map paths.
ResourceProvider provider;
/// The index to be used when creating the next synthetic file name.
int nextIndex = 1;
/// Initialize a newly created path mapper.
/// Gets the symbol used as a path separator on the local filesystem.
String get separator => provider.pathContext.separator;
/// Return the path of the HTML file used to view the content of the analyzed
/// file with the given [path].
String map(String path) {
return provider.pathContext.toUri(path).path;
/// Returns the local filesystem path corresponding to the given [uri].
String reverseMap(Uri uri) {
return provider.pathContext.fromUri(uri.replace(scheme: 'file'));