diff options
Diffstat (limited to 'lib/nt.ml')
| -rw-r--r-- | lib/nt.ml | 41 |
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" |
