Changeset 4196 for trunk/compiler/logtalk.pl

Timestamp:

04/09/08 04:56:42 (8 months ago)

Author:

pmoura

Message:

Added a simple example, "debug_hooks", of using compilation hooks and term expansion for conditional compilation of debug statements.

Files:

• trunk/compiler/logtalk.pl (modified) (2 diffs)

trunk/compiler/logtalk.pl

@@ -127 +127 @@
 % compiler hook term and goal expansion:
 
-:- dynamic('$lgt_hook_term_expansion_'/2).      % '$lgt_hook_term_expansion_'(Term, Terms)
-:- dynamic('$lgt_hook_goal_expansion_'/2).      % '$lgt_hook_goal_expansion_'(Term, Terms)
+:- dynamic('$lgt_hook_term_expansion_'/2).      % '$lgt_hook_term_expansion_'(Term, ExpandedTerm)
+:- dynamic('$lgt_hook_goal_expansion_'/2).      % '$lgt_hook_goal_expansion_'(Term, ExpandedTerm)
 
 
@@ -10664 +10664 @@
 '$lgt_compile_hooks'(Obj) :-
     (   Obj == user ->
-        TermExpansionGoal = term_expansion(Term, Terms),
-        GoalExpansionGoal = goal_expansion(Term, Terms)
-    ;   '$lgt_tr_msg'(term_expansion(Term, Terms), Obj, TermExpansionGoal, user),
-        '$lgt_tr_msg'(goal_expansion(Term, Terms), Obj, GoalExpansionGoal, user)
+        TermExpansionGoal = term_expansion(Term, ExpandedTerm),
+        GoalExpansionGoal = goal_expansion(Term, ExpandedTerm)
+    ;   '$lgt_tr_msg'(term_expansion(Term, ExpandedTerm), Obj, TermExpansionGoal, user),
+        '$lgt_tr_msg'(goal_expansion(Term, ExpandedTerm), Obj, GoalExpansionGoal, user)
     ),
     retractall('$lgt_hook_term_expansion_'(_, _)),
-    assertz(('$lgt_hook_term_expansion_'(Term, Terms) :- catch(TermExpansionGoal, _, fail))),
+    assertz(('$lgt_hook_term_expansion_'(Term, ExpandedTerm) :- catch(TermExpansionGoal, _, fail))),
     retractall('$lgt_hook_goal_expansion_'(_, _)),
-    assertz(('$lgt_hook_goal_expansion_'(Term, Terms) :- catch(GoalExpansionGoal, _, fail))).
+    assertz(('$lgt_hook_goal_expansion_'(Term, ExpandedTerm) :- catch(GoalExpansionGoal, _, fail))).