| // Copyright 2023 The Bazel Authors. All rights reserved. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| package com.google.devtools.build.android.r8; |
| |
| import com.google.devtools.common.options.Converter; |
| import com.google.devtools.common.options.OptionsParsingException; |
| import java.nio.file.FileSystems; |
| import java.nio.file.Files; |
| import java.nio.file.InvalidPathException; |
| import java.nio.file.Path; |
| |
| /** Options converters used by R8. */ |
| public class OptionsConverters { |
| |
| /** Validating converter for Paths. A Path is considered valid if it resolves to a file. */ |
| public static class PathConverter extends Converter.Contextless<Path> { |
| |
| private final boolean mustExist; |
| |
| public PathConverter() { |
| this.mustExist = false; |
| } |
| |
| protected PathConverter(boolean mustExist) { |
| this.mustExist = mustExist; |
| } |
| |
| @Override |
| public Path convert(String input) throws OptionsParsingException { |
| try { |
| Path path = FileSystems.getDefault().getPath(input); |
| if (mustExist && !Files.exists(path)) { |
| throw new OptionsParsingException( |
| String.format("%s is not a valid path: it does not exist.", input)); |
| } |
| return path; |
| } catch (InvalidPathException e) { |
| throw new OptionsParsingException( |
| String.format("%s is not a valid path: %s.", input, e.getMessage()), e); |
| } |
| } |
| |
| @Override |
| public String getTypeDescription() { |
| return "a valid filesystem path"; |
| } |
| } |
| |
| /** |
| * Validating converter for Paths. A Path is considered valid if it resolves to a file and exists. |
| */ |
| public static class ExistingPathConverter extends PathConverter { |
| public ExistingPathConverter() { |
| super(true); |
| } |
| } |
| |
| private OptionsConverters() {} |
| } |