Hi, When you load SKILL code, everything is interpreted and the associated objects are generated and assigned to variables. Unfortunately, there is no safe way to unload a file (except restarting Virtuoso). The closest you could do is : 1. Turn on debug mode : (sstatus debugMode t) 2. Load the file. 3. Use `getFunctions' and `putd' to remove the defined functions. 4. Turn off debug mode. This implies loading the file twice (or turning debugMode on before loading it the first time), you might not be aware of everything that happens when loading the file and you cannot guarantee that everything will be back to the state before loading the file. For instance, this does not unset variables (you could remove them using `unbindVar' but you have to find a way of deducing them). Also, you cannot guarantee that variables and functions have not been overwritten when loading the file. And last but not least, turning debugMode on decreases performances and uses more licences. Hope this helps, Aurélien
↧