Changeset 4525 for trunk/compiler

Timestamp:

10/21/08 03:54:02 (3 months ago)

Author:

pmoura

Message:

Added an optimization and security compiler option, "complements", that allows objects to be compiled with support for complementing categories either enabled or disabled. The default value (set in the config files) is "off" (disabled).

Added an optimization and security compiler option, "dynamic_declarations", that allows objects to be compiled with support for dynamic declaration of predicates (using the built-in database methods asserta/1 and assertz/1) either enabled or disabled. The default value (set in the config files) is "off" (disabled).

Updated the "complements" example to use the new "complements" compiler option. Update the "dynpred" example to use the new "dynamic_declarations" compiler option.

Files:

• trunk/compiler/logtalk.pl (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -13852 +13852 @@
     '$lgt_default_flag'(smart_compilation, Smart), write(', smart_compilation: '), write(Smart),
     '$lgt_default_flag'(reload, Reload), write(', reload: '), write(Reload), nl,
-    '$lgt_default_flag'(events, Events), write('  events: '), write(Events),
+    '$lgt_default_flag'(complements, Complements), write('  complements: '), write(Complements),
+    '$lgt_default_flag'(dynamic_declarations, DynamicDeclarations), write(', dynamic_declarations: '), write(DynamicDeclarations),
+    '$lgt_default_flag'(events, Events), write(', events: '), write(Events), nl,
     (   '$lgt_default_flag'(hook, Hook) -> true
     ;   Hook = '(none defined)'
     ),
-    write(', hook: '), write(Hook),
+    write('  hook: '), write(Hook),
     '$lgt_default_flag'(tmpdir, TmpDir), write(', tmpdir: '), write(TmpDir), nl,
     write('Read-only compilation flags:'), nl,