src/main/java/org/shedlang/compiler/backends/paths/PartialTargetPath.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package org.shedlang.compiler.backends.paths;

import java.nio.file.Path;

public class PartialTargetPath {
    private final Path path;

    public PartialTargetPath(Path path) {
        this.path = path;
    }

    public Path withExtension(String extension) {
        return this.path.getParent().resolve(this.path.getFileName() + extension);
    }
}