src/main/java/com/android/tools/r8/origin/PathOrigin.java

// Copyright (c) 2017, the R8 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.

package com.android.tools.r8.origin;

import com.android.tools.r8.keepanno.annotations.KeepForApi;
import java.nio.file.Path;

/** Path component in an origin description. */
@KeepForApi
public class PathOrigin extends Origin {

  private final Path path;

  public PathOrigin(Path path) {
    super(root());
    assert path != null;
    this.path = path;
  }

  @Override
  public String part() {
    return path.toString();
  }

  public Path getPath() {
    return path;
  }
}