Class Location

    • Method Detail

      • toJsonObject

        com.google.gson.JsonObject toJsonObject()
      • fromBugInstance

        static java.util.Optional<Location> fromBugInstance​(@NonNull BugInstance bugInstance,
                                                            @NonNull SourceFinder sourceFinder,
                                                            @NonNull java.util.Map<java.net.URI,​java.lang.String> baseToId)
      • fromStackTraceElement

        static Location fromStackTraceElement​(@NonNull java.lang.StackTraceElement element,
                                              @NonNull SourceFinder sourceFinder,
                                              @NonNull java.util.Map<java.net.URI,​java.lang.String> baseToId)
      • findPhysicalLocation

        private static @Nullable java.util.Optional<Location.PhysicalLocation> findPhysicalLocation​(@NonNull java.lang.StackTraceElement element,
                                                                                                    @NonNull SourceFinder sourceFinder,
                                                                                                    java.util.Map<java.net.URI,​java.lang.String> baseToId)