protect

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`protect <module-name>`

Protect a module from being overwritten. Some modules vital for the system are initially protected. Can be reversed with unprotect.

Related: unprotect

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team