Source file `solid.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
(*********************************************************************************)
(*                OCaml-RDF                                                      *)
(*                                                                               *)
(*    Copyright (C) 2012-2024 Institut National de Recherche en Informatique     *)
(*    et en Automatique. All rights reserved.                                    *)
(*                                                                               *)
(*    This program is free software; you can redistribute it and/or modify       *)
(*    it under the terms of the GNU Lesser General Public License version        *)
(*    3 as published by the Free Software Foundation.                            *)
(*                                                                               *)
(*    This program is distributed in the hope that it will be useful,            *)
(*    but WITHOUT ANY WARRANTY; without even the implied warranty of             *)
(*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              *)
(*    GNU General Public License for more details.                               *)
(*                                                                               *)
(*    You should have received a copy of the GNU General Public License          *)
(*    along with this program; if not, write to the Free Software                *)
(*    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA                   *)
(*    02111-1307  USA                                                            *)
(*                                                                               *)
(*    Contact: Maxence.Guesdon@inria.fr                                          *)
(*                                                                               *)
(*********************************************************************************)

let solid_str = "http://www.w3.org/ns/solid/terms#";;
let solid = Iri.of_string solid_str ;;
let solid_ s = Iri.of_string (solid_str ^ s);;

let c_Account = solid_ "Account" ;;
let c_Inbox = solid_ "Inbox" ;;
let c_Notification = solid_ "Notification" ;;
let c_Timeline = solid_ "Timeline" ;;
let c_TypeIndex = solid_ "TypeIndex" ;;
let account = solid_ "account" ;;
let inbox = solid_ "inbox" ;;
let notification = solid_ "notification" ;;
let read = solid_ "read" ;;
let timeline = solid_ "timeline" ;;
let typeIndex = solid_ "typeIndex" ;;

module Open = struct
  let solid_c_Account = c_Account
  let solid_c_Inbox = c_Inbox
  let solid_c_Notification = c_Notification
  let solid_c_Timeline = c_Timeline
  let solid_c_TypeIndex = c_TypeIndex
  let solid_account = account
  let solid_inbox = inbox
  let solid_notification = notification
  let solid_read = read
  let solid_timeline = timeline
  let solid_typeIndex = typeIndex
end

class from ?sub g =
  let sub = match sub with None -> Term.Iri (g.Graph.name()) | Some t -> t in
  object(self)
  method account = g.Graph.objects_of ~sub ~pred: account
  method account_opt = match self#account with [] -> None | x::_ -> Some x
  method account_iris = Graph.only_iris (self#account)
  method account_opt_iri = match self#account_iris with [] -> None | x::_ -> Some x
  method inbox = g.Graph.objects_of ~sub ~pred: inbox
  method inbox_opt = match self#inbox with [] -> None | x::_ -> Some x
  method inbox_iris = Graph.only_iris (self#inbox)
  method inbox_opt_iri = match self#inbox_iris with [] -> None | x::_ -> Some x
  method notification = g.Graph.objects_of ~sub ~pred: notification
  method notification_opt = match self#notification with [] -> None | x::_ -> Some x
  method notification_iris = Graph.only_iris (self#notification)
  method notification_opt_iri = match self#notification_iris with [] -> None | x::_ -> Some x
  method read = g.Graph.objects_of ~sub ~pred: read
  method read_opt = match self#read with [] -> None | x::_ -> Some x
  method read_iris = Graph.only_iris (self#read)
  method read_opt_iri = match self#read_iris with [] -> None | x::_ -> Some x
  method timeline = g.Graph.objects_of ~sub ~pred: timeline
  method timeline_opt = match self#timeline with [] -> None | x::_ -> Some x
  method timeline_iris = Graph.only_iris (self#timeline)
  method timeline_opt_iri = match self#timeline_iris with [] -> None | x::_ -> Some x
  method typeIndex = g.Graph.objects_of ~sub ~pred: typeIndex
  method typeIndex_opt = match self#typeIndex with [] -> None | x::_ -> Some x
  method typeIndex_iris = Graph.only_iris (self#typeIndex)
  method typeIndex_opt_iri = match self#typeIndex_iris with [] -> None | x::_ -> Some x
  end