This module prevents bugs due accidental tampering, allows one to write code that keeps free variables from being accidently tampered with unification one way.
- author
- - Douglas R. Miles
- license
- - LGPL
- lock_vars(:TermVar) is semidet
- Lock Variables.
- unlock_vars(:TermOrVar) is semidet
- Unlock Variables.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- with_vars_unlocked(Arg1)
- with_vars_relocked(Arg1)
- with_vars_locked(Arg1)
- with_vars_locked(Arg1, Arg2)
- with_some_vars_locked(Arg1, Arg2)
- with_vars_locked(Arg1, Arg2, Arg3)
- with_vars_locked_old(Arg1, Arg2)
- with_vars_locked_old(Arg1, Arg2, Arg3)
- with_vars_locked_trusted(Arg1, Arg2, Arg3)
- with_quiet_vars_lock(Arg1)
- with_vars_lock_else(Arg1, Arg2)
- skip_varlocks