rdf-ex/lib/rdf/iri.ex

324 lines
9.4 KiB
Elixir
Raw Normal View History

defmodule RDF.IRI do
@moduledoc """
A structure for IRIs.
This structure just wraps a plain IRI string and doesn't bother with the
components of the IRI, since in the context of RDF there are usually very many
IRIs and parsing them isn't needed in most cases. For these reasons we don't
use Elixirs built-in `URI` structure, because it would be unnecessary
expensive in terms of performance and memory.
The component parts can always be retrieved with the `RDF.IRI.parse/1`
function, which returns Elixirs built-in `URI` structure. Note, that `URI`
doesn't escape Unicode characters by default, so it's a suitable structure for
IRIs.
see <https://tools.ietf.org/html/rfc3987>
"""
2020-03-02 22:42:15 +00:00
alias RDF.Namespace
2020-05-06 16:04:19 +00:00
import RDF.Guards
2020-02-28 17:51:48 +00:00
@type t :: %__MODULE__{
2020-06-29 08:37:42 +00:00
value: String.t()
}
2020-02-28 17:51:48 +00:00
2020-06-29 08:37:42 +00:00
@type coercible :: String.t() | URI.t() | module | t
2020-03-02 01:07:31 +00:00
2020-02-28 17:51:48 +00:00
@enforce_keys [:value]
defstruct [:value]
# see https://tools.ietf.org/html/rfc3986#appendix-B
@scheme_regex Regex.recompile!(~r/^([a-z][a-z0-9\+\-\.]*):/i)
@doc """
The default base IRI to be used when reading a serialization and no `base_iri` option is provided.
The value can be set via the `default_base_iri` configuration. For example:
config :rdf,
default_base_iri: "http://my_app.example/"
See [section 5.1.4 of RFC 3987](https://tools.ietf.org/html/rfc3986#page-29)
"""
@default_base Application.get_env(:rdf, :default_base_iri)
def default_base, do: @default_base
@doc """
Creates a `RDF.IRI`.
"""
2020-03-02 22:42:15 +00:00
@spec new(coercible) :: t
def new(iri)
2020-06-29 08:37:42 +00:00
def new(iri) when is_binary(iri), do: %__MODULE__{value: iri}
2020-11-10 09:56:38 +00:00
def new(term) when maybe_ns_term(term), do: Namespace.resolve_term!(term)
2020-06-29 08:37:42 +00:00
def new(%URI{} = uri), do: uri |> URI.to_string() |> new
def new(%__MODULE__{} = iri), do: iri
@doc """
Creates a `RDF.IRI`, but checks if the given IRI is valid.
If the given IRI is not valid a `RDF.IRI.InvalidError` is raised.
see `valid?/1`
"""
2020-03-02 22:42:15 +00:00
@spec new!(coercible) :: t
def new!(iri)
2020-06-29 08:37:42 +00:00
def new!(iri) when is_binary(iri), do: iri |> valid!() |> new()
# since terms of a namespace are already validated
2020-11-10 09:56:38 +00:00
def new!(term) when maybe_ns_term(term), do: new(term)
2020-06-29 08:37:42 +00:00
def new!(%URI{} = uri), do: uri |> valid!() |> new()
def new!(%__MODULE__{} = iri), do: valid!(iri)
2020-10-08 09:45:34 +00:00
@doc """
Appends a String to a `RDF.IRI`.
## Example
iex> ~I<http://example.com/> |> RDF.IRI.append("foo")
~I<http://example.com/foo>
iex> EX.foo |> RDF.IRI.append("bar")
EX.foobar
iex> EX.Foo |> RDF.IRI.append("bar")
RDF.iri(EX.Foobar)
"""
@spec append(t | module, String.t()) :: t
def append(iri, string)
def append(%__MODULE__{} = iri, string) do
%__MODULE__{iri | value: iri.value <> string}
end
def append(term, string) when maybe_ns_term(term) do
term |> Namespace.resolve_term!() |> append(string)
end
@doc """
Coerces an IRI serving as a base IRI.
As opposed to `new/1` this also accepts bare `RDF.Vocabulary.Namespace` modules
and uses the base IRI from their definition.
"""
2020-03-02 22:42:15 +00:00
@spec coerce_base(coercible) :: t
def coerce_base(base_iri)
2020-05-06 16:04:19 +00:00
def coerce_base(module) when maybe_ns_term(module) do
if RDF.Vocabulary.Namespace.vocabulary_namespace?(module) do
apply(module, :__base_iri__, [])
|> new()
else
new(module)
end
end
2020-06-29 08:37:42 +00:00
def coerce_base(base_iri), do: new(base_iri)
@doc """
Returns the given value unchanged if it's a valid IRI, otherwise raises an exception.
## Examples
iex> RDF.IRI.valid!("http://www.example.com/foo")
"http://www.example.com/foo"
iex> RDF.IRI.valid!(RDF.IRI.new("http://www.example.com/foo"))
RDF.IRI.new("http://www.example.com/foo")
iex> RDF.IRI.valid!("not an iri")
** (RDF.IRI.InvalidError) Invalid IRI: "not an iri"
"""
2020-03-02 22:42:15 +00:00
@spec valid!(coercible) :: coercible
def valid!(iri) do
2020-06-29 08:37:42 +00:00
if not valid?(iri), do: raise(RDF.IRI.InvalidError, "Invalid IRI: #{inspect(iri)}")
iri
end
@doc """
Checks if the given IRI is valid.
Note: This currently checks only if the given IRI is absolute.
## Examples
iex> RDF.IRI.valid?("http://www.example.com/foo")
true
iex> RDF.IRI.valid?("not an iri")
false
"""
2020-03-02 22:42:15 +00:00
@spec valid?(coercible) :: boolean
2020-06-29 08:37:42 +00:00
# TODO: Provide a more elaborate validation
def valid?(iri), do: absolute?(iri)
@doc """
Checks if the given value is an absolute IRI.
An absolute IRI is defined in [RFC3987](http://www.ietf.org/rfc/rfc3987.txt)
containing a scheme along with a path and optional query and fragment segments.
"""
2020-03-02 01:07:31 +00:00
@spec absolute?(any) :: boolean
def absolute?(iri)
def absolute?(value) when is_binary(value), do: not is_nil(scheme(value))
2020-06-29 08:37:42 +00:00
def absolute?(%__MODULE__{value: value}), do: absolute?(value)
def absolute?(%URI{scheme: nil}), do: false
def absolute?(%URI{scheme: _}), do: true
2020-11-10 09:56:38 +00:00
def absolute?(term) when maybe_ns_term(term) do
case Namespace.resolve_term(term) do
{:ok, iri} -> absolute?(iri)
_ -> false
end
end
2020-06-29 08:37:42 +00:00
def absolute?(_), do: false
@doc """
Resolves a relative IRI against a base IRI.
as specified in [section 5.1 Establishing a Base URI of RFC3986](http://tools.ietf.org/html/rfc3986#section-5.1).
Only the basic algorithm in [section 5.2 of RFC3986](http://tools.ietf.org/html/rfc3986#section-5.2)
is used; neither Syntax-Based Normalization nor Scheme-Based Normalization are performed.
Characters additionally allowed in IRI references are treated in the same way that unreserved
characters are treated in URI references, per [section 6.5 of RFC3987](http://tools.ietf.org/html/rfc3987#section-6.5)
If the given `base` is not an absolute IRI `nil` is returned.
"""
2020-03-02 22:42:15 +00:00
@spec absolute(coercible, coercible) :: t | nil
def absolute(iri, base) do
cond do
2020-06-29 08:37:42 +00:00
absolute?(iri) -> new(iri)
not absolute?(base) -> nil
2020-06-29 08:37:42 +00:00
true -> merge(base, iri)
end
end
@doc """
Merges two IRIs.
This function merges two IRIs as per
[RFC 3986, section 5.2](https://tools.ietf.org/html/rfc3986#section-5.2).
"""
2020-03-02 22:42:15 +00:00
@spec merge(coercible, coercible) :: t
def merge(base, rel) do
base
|> parse()
|> URI.merge(parse(rel))
|> new()
end
@doc """
Returns the scheme of the given IRI
If the given string is not a valid absolute IRI, `nil` is returned.
## Examples
iex> RDF.IRI.scheme("http://www.example.com/foo")
"http"
iex> RDF.IRI.scheme("not an iri")
nil
"""
2020-06-29 08:37:42 +00:00
@spec scheme(coercible) :: String.t() | nil
def scheme(iri)
2020-06-29 08:37:42 +00:00
def scheme(%__MODULE__{value: value}), do: scheme(value)
def scheme(%URI{scheme: scheme}), do: scheme
2020-11-10 09:56:38 +00:00
def scheme(term) when maybe_ns_term(term), do: Namespace.resolve_term!(term) |> scheme()
2020-06-29 08:37:42 +00:00
def scheme(iri) when is_binary(iri) do
with [_, scheme] <- Regex.run(@scheme_regex, iri) do
scheme
end
end
@doc """
Parses an IRI into its components and returns them as an `URI` struct.
"""
2020-06-29 08:37:42 +00:00
@spec parse(coercible) :: URI.t()
def parse(iri)
2020-06-29 08:37:42 +00:00
def parse(iri) when is_binary(iri), do: URI.parse(iri)
2020-11-10 09:56:38 +00:00
def parse(term) when maybe_ns_term(term), do: Namespace.resolve_term!(term) |> parse()
2020-06-29 08:37:42 +00:00
def parse(%__MODULE__{value: value}), do: URI.parse(value)
def parse(%URI{} = uri), do: uri
2020-11-10 09:56:38 +00:00
@doc """
Checks whether `iri` lies in `namespace`.
"""
@spec in_namespace?(t | module, String.t() | t | module) :: boolean
def in_namespace?(iri, namespace)
def in_namespace?(%__MODULE__{value: value}, namespace) when is_binary(namespace),
do: String.starts_with?(value, namespace)
def in_namespace?(term, namespace) when maybe_ns_term(term),
do: term |> Namespace.resolve_term!() |> in_namespace?(namespace)
def in_namespace?(iri, namespace) when maybe_ns_term(namespace),
do: in_namespace?(iri, coerce_base(namespace))
def in_namespace?(iri, %__MODULE__{} = namespace),
do: in_namespace?(iri, __MODULE__.to_string(namespace))
# def in_namespace?(_, _), do: false
@doc """
Tests for value equality of IRIs.
Returns `nil` when the given arguments are not comparable as IRIs.
see <https://www.w3.org/TR/rdf-concepts/#section-Graph-URIref>
"""
2020-06-29 08:37:42 +00:00
@spec equal_value?(t | RDF.Literal.t() | atom, t | RDF.Literal.t() | URI.t() | atom) ::
boolean | nil
def equal_value?(left, right)
def equal_value?(%__MODULE__{value: left}, %__MODULE__{value: right}),
do: left == right
def equal_value?(%__MODULE__{} = left, %RDF.Literal{} = right),
do: RDF.Literal.equal_value?(right, left)
def equal_value?(%__MODULE__{value: left}, %URI{} = right),
do: left == URI.to_string(right)
def equal_value?(left, %__MODULE__{} = right) when maybe_ns_term(left),
2020-05-21 23:07:28 +00:00
do: equal_value?(right, left)
def equal_value?(%__MODULE__{} = left, right) when maybe_ns_term(right) do
case Namespace.resolve_term(right) do
{:ok, iri} -> equal_value?(left, iri)
_ -> nil
end
end
def equal_value?(_, _),
do: nil
2019-04-29 18:55:36 +00:00
@doc """
Returns the given IRI as a string.
Note that this function can also handle `RDF.Vocabulary.Namespace` terms.
## Examples
iex> RDF.IRI.to_string RDF.IRI.new("http://example.com/#foo")
"http://example.com/#foo"
iex> RDF.IRI.to_string EX.foo
"http://example.com/#foo"
iex> RDF.IRI.to_string EX.Foo
"http://example.com/#Foo"
"""
2020-06-29 08:37:42 +00:00
@spec to_string(t | module) :: String.t()
2019-04-29 18:55:36 +00:00
def to_string(iri)
def to_string(%__MODULE__{value: value}),
2019-04-29 18:55:36 +00:00
do: value
2020-11-10 09:56:38 +00:00
def to_string(term) when maybe_ns_term(term),
do: term |> new() |> __MODULE__.to_string()
2019-04-29 18:55:36 +00:00
defimpl String.Chars do
2019-04-29 18:55:36 +00:00
def to_string(iri), do: RDF.IRI.to_string(iri)
end
end