Lines Matching refs:modes
26 % Version: $Id: modes.pl,v 1.4 2013/02/09 20:27:57 jschimpf Exp $
30 % IDENTIFICATION: modes.pl
47 :- module(modes).
58 performs an analysis of the modes that the predicates in the program
62 :- lib(modes).
108 :- meta_attribute(modes, [ copy_term:copy_mode_attr/2 ]).
284 % and we use the worst case exit modes (by unifying every argument with ?).
405 replace_attribute(X, P, modes)
513 replace_attribute(Y, Za, modes)
609 % least upper bound of 2 modes (cf. lattice above)
831 % specify the exit modes (success patterns) that will result
833 % - be careful not to weaken the call modes! Use =/3 to avoid this.
926 % in univ, both arguments must have the same exit modes, but at least +
1085 writeln("Valid modes are ++ + - ? +- and -+"), nl,
1086 writeln("To collect builtin call modes, use setval(collect_builtin_modes, on)@modes."), nl.