![JAR search and dependency download from the Maven repository](/logo.png)
de.fraunhofer.aisec.cpg.sarif.PhysicalLocation Maven / Gradle / Ivy
/*
* Copyright (c) 2019, Fraunhofer AISEC. 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 de.fraunhofer.aisec.cpg.sarif;
import java.net.URI;
import java.util.Objects;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
/** A SARIF compatible location referring to a location, i.e. file and region within the file. */
public class PhysicalLocation {
@NotNull
public static String locationLink(@Nullable PhysicalLocation location) {
if (location != null) {
return location.getArtifactLocation().getUri().getPath()
+ ":"
+ location.getRegion().getStartLine()
+ ":"
+ location.getRegion().getStartColumn();
}
return "unknown";
}
public static class ArtifactLocation {
@NotNull private final URI uri;
public ArtifactLocation(@NotNull URI uri) {
this.uri = uri;
}
@NotNull
public URI getUri() {
return this.uri;
}
@Override
public String toString() {
return uri.getPath().substring(uri.getPath().lastIndexOf('/') + 1);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (!(o instanceof ArtifactLocation)) return false;
ArtifactLocation that = (ArtifactLocation) o;
return Objects.equals(uri, that.uri);
}
@Override
public int hashCode() {
return Objects.hashCode(uri);
}
}
@NotNull private final ArtifactLocation artifactLocation;
@NotNull private Region region;
public PhysicalLocation(URI uri, @NotNull Region region) {
this.artifactLocation = new ArtifactLocation(uri);
this.region = region;
}
public void setRegion(@NotNull Region region) {
this.region = region;
}
@NotNull
public Region getRegion() {
return this.region;
}
@NotNull
public ArtifactLocation getArtifactLocation() {
return this.artifactLocation;
}
@Override
public String toString() {
return artifactLocation + "(" + region + ")";
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (!(o instanceof PhysicalLocation)) return false;
PhysicalLocation that = (PhysicalLocation) o;
return Objects.equals(artifactLocation, that.artifactLocation)
&& Objects.equals(region, that.region);
}
@Override
public int hashCode() {
return Objects.hash(artifactLocation, region);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy