aboutsummaryrefslogtreecommitdiffstats
path: root/lib/nt.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/nt.ml')
-rw-r--r--lib/nt.ml41
1 files changed, 41 insertions, 0 deletions
diff --git a/lib/nt.ml b/lib/nt.ml
new file mode 100644
index 0000000..c980093
--- /dev/null
+++ b/lib/nt.ml
@@ -0,0 +1,41 @@
+(* PermissionsManager::Firewall — validates a connection during login and
+ returns the set of claims granted to the authenticated connection. *)
+let firewall _method = failwith "NOT IMPLEMENTED"
+
+let get_relation _db _name = failwith "NOT IMPLEMENTED"
+let create_multigroup _storage _name = failwith "NOT IMPLEMENTED"
+let create_relation _storage _db _name _schema = failwith "NOT IMPLEMENTED"
+let create_tuple _storage _db _ll_rel _tuple = failwith "NOT IMPLEMENTED"
+let [@warning "-27"] register_constraint storage db ~constraint_name ~relation_name ~body = failwith "NOT IMPLEMENTED"
+let [@warning "-27"] create_tuples storage db rel tuples = failwith "NOT IMPLEMENTED"
+let [@warning "-27"] create_immutable_relation storage db ~name ~schema ~generator
+ ~membership_criteria
+ ~cardinality
+ ~producer = failwith "NOT IMPLEMENTED"
+let retract_relation _storage _db _name = failwith "NOT IMPLEMENTED"
+let retract_tuple _storage _db _mg_rel _tuple_hash = failwith "NOT IMPLEMENTED"
+let clear_relation _storage _db _rel = failwith "NOT IMPLEMENTED"
+let register_domain _storage _db _domain = failwith "NOT IMPLEMENTED"
+(* let tuple_hashes _rel = failwith "NOT IMPLEMENTED" *)
+(* let load_tuples _storage _hashes = failwith "NOT IMPLEMENTED" *)
+let tuple_hashes = failwith "NOT IMPLEMENTED"
+let load_tuples _storage _rel_hash = failwith "NOT IMPLEMENTED"
+
+
+type catalog_object =
+ | Multigroup of Management.Multigroup.multigroup
+ | Relation of Relation.relation
+
+type object_type =
+ | Multigroup
+ | Relation
+
+type handle =
+ { path : string list
+ ; obj : bytes }
+
+(* Each class should have their own *)
+let deserialize _ _ : object_type -> bytes -> (catalog_object, string) result = failwith "NOT IMPLEMENTED"
+
+let open_handle _ _ : path:string list -> connection_context:string -> (handle, string) result = failwith "NOT IMPLEMENTED"
+let close _ : handle -> (unit, string) result = failwith "NOT IMPLEMENTED"