Description
Immutable graph names and RDF quads.
"="
function "=" (Left, Right : Graph_Name) return Boolean
Compare two graph names.
Parameters
- Left
First graph name
- Right
Second graph name
Return value
True when both name the same graph
"="
function "=" (Left, Right : Quad) return Boolean
Compare two quads componentwise.
Parameters
- Left
First quad
- Right
Second quad
Return value
True when the graph names and statements are equal
Blank_Node_Graph
function Blank_Node_Graph (Value : Terms.Term) return Graph_Name
Name a graph by blank node.
Parameters
- Value
A blank node term
Return value
The corresponding graph name
Raised exceptions
- Terms
.Invalid_Term Value is not a blank node
Create
function Create
(Graph : Graph_Name;
Subject : Terms.Term;
Predicate : IRIs.IRI;
Object : Terms.Term) return Quad
Build a quad from a graph name and the three statement components.
Parameters
- Graph
The graph the statement belongs to
- Subject
Subject term
- Predicate
Predicate IRI
- Object
Object term
Return value
The corresponding quad
Create
function Create
(Graph : Graph_Name;
Statement : Triples.Triple) return Quad
Build a quad from a graph name and an existing triple.
Parameters
- Graph
The graph the statement belongs to
- Statement
The triple
Return value
The corresponding quad
Default_Graph
function Default_Graph return Graph_Name
Return the name of the default graph.
Return value
The default graph name
Graph
function Graph (Value : Quad) return Graph_Name
Return a copy of the graph name.
Parameters
- Value
Quad to inspect
Return value
The graph name
Graph_Name
type Graph_Name is private;
The name of a graph within a dataset.
Graph_Name_Kind
type Graph_Name_Kind is
(Default_Graph_Kind, IRI_Graph_Kind, Blank_Node_Graph_Kind);
What names a graph.
Enumeration literals
- Default_Graph_Kind
The unnamed default graph
- IRI_Graph_Kind
A graph named by an IRI
- Blank_Node_Graph_Kind
A graph named by a blank node
Graph_View
function Graph_View
(Value : Quad) return not null access constant Graph_Name
Parameters
- Value
Return value
IRI_Graph
function IRI_Graph (Value : IRIs.IRI) return Graph_Name
Name a graph by IRI.
Parameters
- Value
The graph IRI
Return value
The corresponding graph name
Kind
function Kind (Value : Graph_Name) return Graph_Name_Kind
Report which of the three kinds this graph name is.
Parameters
- Value
Graph name to inspect
Return value
The graph name's kind
Name_Term
function Name_Term (Value : Graph_Name) return Terms.Term
Return a copy of the term naming this graph.
Parameters
- Value
Graph name to inspect
Return value
The naming term
Raised exceptions
- Terms
.Invalid_Term Value is the default graph, which has no naming term
Object
function Object (Value : Quad) return Terms.Term
Return a copy of the object.
Parameters
- Value
Quad to inspect
Return value
The object term
Object_View
function Object_View
(Value : Quad) return not null access constant Terms.Term
Parameters
- Value
Return value
Predicate
function Predicate (Value : Quad) return IRIs.IRI
Return a copy of the predicate.
Parameters
- Value
Quad to inspect
Return value
The predicate IRI
Predicate_View
function Predicate_View
(Value : Quad) return not null access constant IRIs.IRI
Parameters
- Value
Return value
Quad
type Quad is private;
An RDF quad: a triple together with the graph it belongs to.
Query_Components
procedure Query_Components
(Value : Quad;
Process : not null access procedure
(Graph : Graph_Name;
Subject : Terms.Term;
Predicate : IRIs.IRI;
Object : Terms.Term))
Parameters
- Value
- Process
Query_Name_Term
procedure Query_Name_Term
(Value : Graph_Name;
Process : not null access procedure (Name : Terms.Term))
Borrow the naming term for the duration of Process, without copying.
Parameters
- Value
Graph name to borrow from
- Process
Callback receiving the naming term
Raised exceptions
- Terms
.Invalid_Term Value is the default graph
Statement
function Statement (Value : Quad) return Triples.Triple
Return a copy of the statement.
Parameters
- Value
Quad to inspect
Return value
The triple
Subject
function Subject (Value : Quad) return Terms.Term
Return a copy of the subject.
Parameters
- Value
Quad to inspect
Return value
The subject term
Subject_View
function Subject_View
(Value : Quad) return not null access constant Terms.Term
Borrow all four components for the duration of Process, without copying any of them. Prefer this on any path that runs once per statement.
Parameters
- Value
Quad to borrow from @param Process Callback receiving the four components Views of the parts, valid while Value is. See Triples for why.
Quad to view
Return value
The part