Changeset 4539 for trunk/compiler

Show
Ignore:
Timestamp:
10/25/08 15:12:26 (3 months ago)
Author:
pmoura
Message:

Small code cleanup of the complementing category relations translation code.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/compiler/logtalk.pl

    r4538 r4539  
    91199119    throw(instantiation_error). 
    91209120 
     9121'$lgt_tr_complements_category'([Obj| _], _, _, _, _) :- 
     9122    \+ callable(Obj), 
     9123    throw(type_error(object_identifier, Obj)). 
     9124 
    91219125'$lgt_tr_complements_category'([Obj| Objs], Ctg, Dcl, Def, Rnm) :- 
    9122     (   callable(Obj) -> 
    9123         assertz('$lgt_pp_referenced_object_'(Obj)), 
    9124         assertz('$lgt_pp_complemented_object_'(Obj)), 
    9125         assertz('$lgt_pp_rclause_'('$lgt_complemented_object_'(Obj, Ctg, Dcl, Def, Rnm))), 
    9126         '$lgt_tr_complements_category'(Objs, Ctg, Dcl, Def, Rnm) 
    9127     ;   throw(type_error(object_identifier, Obj)) 
    9128     ). 
     9126    assertz('$lgt_pp_referenced_object_'(Obj)), 
     9127    assertz('$lgt_pp_complemented_object_'(Obj)), 
     9128    assertz('$lgt_pp_rclause_'('$lgt_complemented_object_'(Obj, Ctg, Dcl, Def, Rnm))), 
     9129    '$lgt_tr_complements_category'(Objs, Ctg, Dcl, Def, Rnm). 
    91299130 
    91309131