mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-17 06:47:17 +00:00
Code Issues Projects Releases Wiki Activity

Updated for the new Aditi API.

Browse Source 
Estimated hours taken: 0.1
Branches: main

tests/{valid,invalid}/aditi.m:
tests/{valid,invalid}/aditi_private_builtin.m:
	Updated for the new Aditi API.
This commit is contained in:
Simon Taylor
2003-08-23 14:01:58 +00:00
parent a8e1f0c1cb
commit 3b1e8044d9
4 changed files with 56 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tests/invalid/aditi.m
View File

@@ -8,6 +8,7 @@
:- mode aditi_di :: in. :- mode aditi_di :: in.
:- mode aditi_uo :: out. :- mode aditi_uo :: out.
:- mode aditi_mui :: in. :- mode aditi_mui :: in.
:- mode aditi_ui :: in.
:- implementation. :- implementation.

46
tests/invalid/aditi_private_builtin.m
View File

@@ -7,47 +7,55 @@
:- type relation_ticket == c_pointer. :- type relation_ticket == c_pointer.
% do_call_returning_relation(ProcName, InputSchema, InputTuple, % do_call_returning_relation(DB, ProcName, InputSchema, InputTuple,
% OutputRel). % OutputRel).
% %
% Call an Aditi procedure, returning a reference to the output % Call an Aditi procedure, returning a reference to the output
% relation. InputTuple is a tuple containing the % relation. InputTuple is a tuple containing the
% input arguments. InputSchema is an Aditi schema string % input arguments. InputSchema is an Aditi schema string
% describing the tuple of input arguments. % describing the tuple of input arguments.
:- impure pred do_call_returning_relation(string, string, :- impure pred do_call_returning_relation(aditi__state, string, string,
T, relation_ticket). T, relation_ticket).
:- mode do_call_returning_relation(in, in, in, out) is det. :- mode do_call_returning_relation(aditi_ui, in, in, in, out) is det.
% Find the single solution for a deterministic database call. % Find the single solution for a deterministic database call.
% Abort the transaction if the call does not succeed at % Abort the transaction if the call does not succeed at
% least once. % least once.
% InputTuple and OutputTuple must have type '{}/N' (the arity % InputTuple and OutputTuple must have type '{}/N' (the arity
% depends on the relation being called). % depends on the relation being called).
:- impure pred do_det_call(string, string, InputTuple, OutputTuple). :- impure pred do_det_call(aditi__state, string, string,
:- mode do_det_call(in, in, in, out) is det. InputTuple, OutputTuple).
:- mode do_det_call(aditi_ui, in, in, in, out) is det.
:- impure pred do_semidet_call(string, string, InputTuple, OutputTuple). :- impure pred do_semidet_call(aditi__state, string, string,
:- mode do_semidet_call(in, in, in, out) is semidet. InputTuple, OutputTuple).
:- mode do_semidet_call(aditi_ui, in, in, in, out) is semidet.
:- impure pred do_nondet_call(string, string, InputTuple, OutputTuple). :- impure pred do_nondet_call(aditi__state, string, string,
:- mode do_nondet_call(in, in, in, out) is nondet. InputTuple, OutputTuple).
:- mode do_nondet_call(aditi_ui, in, in, in, out) is nondet.
:- impure pred do_multi_call(string, string, InputTuple, OutputTuple). :- impure pred do_multi_call(aditi__state, string, string,
:- mode do_multi_call(in, in, in, out) is multi. InputTuple, OutputTuple).
:- mode do_multi_call(aditi_ui, in, in, in, out) is multi.
% XXX I'm not sure whether it makes sense to have % XXX I'm not sure whether it makes sense to have
% committed choice Aditi predicates. % committed choice Aditi predicates.
:- impure pred do_cc_nondet_call(string, string, InputTuple, OutputTuple). :- impure pred do_cc_nondet_call(aditi__state, string, string,
:- mode do_cc_nondet_call(in, in, in, out) is cc_nondet. InputTuple, OutputTuple).
:- mode do_cc_nondet_call(aditi_ui, in, in, in, out) is cc_nondet.
:- impure pred do_cc_multi_call(string, string, InputTuple, OutputTuple). :- impure pred do_cc_multi_call(aditi__state, string, string,
:- mode do_cc_multi_call(in, in, in, out) is cc_multi. InputTuple, OutputTuple).
:- mode do_cc_multi_call(aditi_ui, in, in, in, out) is cc_multi.
:- impure pred do_erroneous_call(string, string, InputTuple, OutputTuple). :- impure pred do_erroneous_call(aditi__state, string, string,
:- mode do_erroneous_call(in, in, in, out) is erroneous. InputTuple, OutputTuple).
:- mode do_erroneous_call(aditi_ui, in, in, in, out) is erroneous.
:- impure pred do_failure_call(string, string, InputTuple, OutputTuple). :- impure pred do_failure_call(aditi__state, string, string,
:- mode do_failure_call(in, in, in, out) is failure. InputTuple, OutputTuple).
:- mode do_failure_call(aditi_ui, in, in, in, out) is failure.
% do_insert_tuple(BaseRelationName, Tuple). % do_insert_tuple(BaseRelationName, Tuple).
% %

1
tests/valid/aditi.m
View File

@@ -8,6 +8,7 @@
:- mode aditi_di :: in. :- mode aditi_di :: in.
:- mode aditi_uo :: out. :- mode aditi_uo :: out.
:- mode aditi_mui :: in. :- mode aditi_mui :: in.
:- mode aditi_ui :: in.
:- implementation. :- implementation.

46
tests/valid/aditi_private_builtin.m
View File

@@ -7,47 +7,55 @@
:- type relation_ticket == c_pointer. :- type relation_ticket == c_pointer.
% do_call_returning_relation(ProcName, InputSchema, InputTuple, % do_call_returning_relation(DB, ProcName, InputSchema, InputTuple,
% OutputRel). % OutputRel).
% %
% Call an Aditi procedure, returning a reference to the output % Call an Aditi procedure, returning a reference to the output
% relation. InputTuple is a tuple containing the % relation. InputTuple is a tuple containing the
% input arguments. InputSchema is an Aditi schema string % input arguments. InputSchema is an Aditi schema string
% describing the tuple of input arguments. % describing the tuple of input arguments.
:- impure pred do_call_returning_relation(string, string, :- impure pred do_call_returning_relation(aditi__state, string, string,
T, relation_ticket). T, relation_ticket).
:- mode do_call_returning_relation(in, in, in, out) is det. :- mode do_call_returning_relation(aditi_ui, in, in, in, out) is det.
% Find the single solution for a deterministic database call. % Find the single solution for a deterministic database call.
% Abort the transaction if the call does not succeed at % Abort the transaction if the call does not succeed at
% least once. % least once.
% InputTuple and OutputTuple must have type '{}/N' (the arity % InputTuple and OutputTuple must have type '{}/N' (the arity
% depends on the relation being called). % depends on the relation being called).
:- impure pred do_det_call(string, string, InputTuple, OutputTuple). :- impure pred do_det_call(aditi__state, string, string,
:- mode do_det_call(in, in, in, out) is det. InputTuple, OutputTuple).
:- mode do_det_call(aditi_ui, in, in, in, out) is det.
:- impure pred do_semidet_call(string, string, InputTuple, OutputTuple). :- impure pred do_semidet_call(aditi__state, string, string,
:- mode do_semidet_call(in, in, in, out) is semidet. InputTuple, OutputTuple).
:- mode do_semidet_call(aditi_ui, in, in, in, out) is semidet.
:- impure pred do_nondet_call(string, string, InputTuple, OutputTuple). :- impure pred do_nondet_call(aditi__state, string, string,
:- mode do_nondet_call(in, in, in, out) is nondet. InputTuple, OutputTuple).
:- mode do_nondet_call(aditi_ui, in, in, in, out) is nondet.
:- impure pred do_multi_call(string, string, InputTuple, OutputTuple). :- impure pred do_multi_call(aditi__state, string, string,
:- mode do_multi_call(in, in, in, out) is multi. InputTuple, OutputTuple).
:- mode do_multi_call(aditi_ui, in, in, in, out) is multi.
% XXX I'm not sure whether it makes sense to have % XXX I'm not sure whether it makes sense to have
% committed choice Aditi predicates. % committed choice Aditi predicates.
:- impure pred do_cc_nondet_call(string, string, InputTuple, OutputTuple). :- impure pred do_cc_nondet_call(aditi__state, string, string,
:- mode do_cc_nondet_call(in, in, in, out) is cc_nondet. InputTuple, OutputTuple).
:- mode do_cc_nondet_call(aditi_ui, in, in, in, out) is cc_nondet.
:- impure pred do_cc_multi_call(string, string, InputTuple, OutputTuple). :- impure pred do_cc_multi_call(aditi__state, string, string,
:- mode do_cc_multi_call(in, in, in, out) is cc_multi. InputTuple, OutputTuple).
:- mode do_cc_multi_call(aditi_ui, in, in, in, out) is cc_multi.
:- impure pred do_erroneous_call(string, string, InputTuple, OutputTuple). :- impure pred do_erroneous_call(aditi__state, string, string,
:- mode do_erroneous_call(in, in, in, out) is erroneous. InputTuple, OutputTuple).
:- mode do_erroneous_call(aditi_ui, in, in, in, out) is erroneous.
:- impure pred do_failure_call(string, string, InputTuple, OutputTuple). :- impure pred do_failure_call(aditi__state, string, string,
:- mode do_failure_call(in, in, in, out) is failure. InputTuple, OutputTuple).
:- mode do_failure_call(aditi_ui, in, in, in, out) is failure.
% do_insert_tuple(BaseRelationName, Tuple). % do_insert_tuple(BaseRelationName, Tuple).
% %