Source file `pim.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
83
84
85
86
87
88
(*********************************************************************************)
(*                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 pim_str = "http://www.w3.org/ns/pim/space#";;
let pim = Iri.of_string pim_str ;;
let pim_ s = Iri.of_string (pim_str ^ s);;

let c_ConfigurationFile = pim_ "ConfigurationFile" ;;
let c_ControlledStorage = pim_ "ControlledStorage" ;;
let c_MasterWorkspace = pim_ "MasterWorkspace" ;;
let c_PersonalStorage = pim_ "PersonalStorage" ;;
let c_PreferencesWorkspace = pim_ "PreferencesWorkspace" ;;
let c_PrivateWorkspace = pim_ "PrivateWorkspace" ;;
let c_PublicStorage = pim_ "PublicStorage" ;;
let c_PublicWorkspace = pim_ "PublicWorkspace" ;;
let c_SharedWorkspace = pim_ "SharedWorkspace" ;;
let c_Storage = pim_ "Storage" ;;
let c_Workspace = pim_ "Workspace" ;;
let masterWorkspace = pim_ "masterWorkspace" ;;
let preferencesFile = pim_ "preferencesFile" ;;
let storage = pim_ "storage" ;;
let uriPrefix = pim_ "uriPrefix" ;;
let workspace = pim_ "workspace" ;;

module Open = struct
  let pim_c_ConfigurationFile = c_ConfigurationFile
  let pim_c_ControlledStorage = c_ControlledStorage
  let pim_c_MasterWorkspace = c_MasterWorkspace
  let pim_c_PersonalStorage = c_PersonalStorage
  let pim_c_PreferencesWorkspace = c_PreferencesWorkspace
  let pim_c_PrivateWorkspace = c_PrivateWorkspace
  let pim_c_PublicStorage = c_PublicStorage
  let pim_c_PublicWorkspace = c_PublicWorkspace
  let pim_c_SharedWorkspace = c_SharedWorkspace
  let pim_c_Storage = c_Storage
  let pim_c_Workspace = c_Workspace
  let pim_masterWorkspace = masterWorkspace
  let pim_preferencesFile = preferencesFile
  let pim_storage = storage
  let pim_uriPrefix = uriPrefix
  let pim_workspace = workspace
end

class from ?sub g =
  let sub = match sub with None -> Term.Iri (g.Graph.name()) | Some t -> t in
  object(self)
  method masterWorkspace = g.Graph.objects_of ~sub ~pred: masterWorkspace
  method masterWorkspace_opt = match self#masterWorkspace with [] -> None | x::_ -> Some x
  method masterWorkspace_iris = Graph.only_iris (self#masterWorkspace)
  method masterWorkspace_opt_iri = match self#masterWorkspace_iris with [] -> None | x::_ -> Some x
  method preferencesFile = g.Graph.objects_of ~sub ~pred: preferencesFile
  method preferencesFile_opt = match self#preferencesFile with [] -> None | x::_ -> Some x
  method preferencesFile_iris = Graph.only_iris (self#preferencesFile)
  method preferencesFile_opt_iri = match self#preferencesFile_iris with [] -> None | x::_ -> Some x
  method storage = g.Graph.objects_of ~sub ~pred: storage
  method storage_opt = match self#storage with [] -> None | x::_ -> Some x
  method storage_iris = Graph.only_iris (self#storage)
  method storage_opt_iri = match self#storage_iris with [] -> None | x::_ -> Some x
  method uriPrefix = g.Graph.objects_of ~sub ~pred: uriPrefix
  method uriPrefix_opt = match self#uriPrefix with [] -> None | x::_ -> Some x
  method uriPrefix_iris = Graph.only_iris (self#uriPrefix)
  method uriPrefix_opt_iri = match self#uriPrefix_iris with [] -> None | x::_ -> Some x
  method workspace = g.Graph.objects_of ~sub ~pred: workspace
  method workspace_opt = match self#workspace with [] -> None | x::_ -> Some x
  method workspace_iris = Graph.only_iris (self#workspace)
  method workspace_opt_iri = match self#workspace_iris with [] -> None | x::_ -> Some x
  end