From: David S. W. <dw...@us...> - 2009-08-28 13:02:18
|
Update of /cvsroot/xsb/XSB/packages/altCDF In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv17250 Modified Files: cdf_init_cdf.P cdf_checks.P Log Message: Commented out some unused code to avoid warning messages on compilation. Index: cdf_init_cdf.P =================================================================== RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_init_cdf.P,v retrieving revision 1.83 retrieving revision 1.84 diff -u -r1.83 -r1.84 --- cdf_init_cdf.P 28 May 2009 21:34:39 -0000 1.83 +++ cdf_init_cdf.P 28 Aug 2009 13:02:07 -0000 1.84 @@ -104,7 +104,7 @@ :- import parsort/4 from machine. :- import '_$index'/3 from file_op. -:- import conset/2, conget/2, coninc/1 from gensym. +%%%:- import conset/2, conget/2, coninc/1 from gensym. :- import ground/1,member/2 from basics. :- import abolish_table_pred/1 from tables. :- import concat_atom/2 from string. @@ -674,12 +674,14 @@ immed_hasAttr2(SCid,Rid,TCid) :- hasAttr_int(SCid,Rid,TCid). +/** comment back in if gets used above... check_hasAttr_indices(Scid,Rid,Tcid):- (ground(Scid) -> true ; (ground(Rid),ground(Tcid) -> true ; writeln(userout,nonindexed(hasAttr(Scid,Rid,Tcid))) ) ). +***/ :- comment(hasAttr/3, "@tt{hasAttr(SCid,Rid,TCid)} defines the inheritable relation predicate, where @tt{SCid} is the source class or Index: cdf_checks.P =================================================================== RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_checks.P,v retrieving revision 1.34 retrieving revision 1.35 diff -u -r1.34 -r1.35 --- cdf_checks.P 11 Feb 2008 22:33:30 -0000 1.34 +++ cdf_checks.P 28 Aug 2009 13:02:07 -0000 1.35 @@ -508,9 +508,11 @@ %:- [cdftp_chkCon]. classify_if_necessary_term(necessCond_ext(First,Vid),Upd1,Upd):-!, - findall(Id,ceMember(Vid,Id),Ids), - sort(Ids,Idsort), - classify_if_necessary_list([First|Idsort],Upd1,Upd). + writeln(userout,'ceMember/2 is not defined. This is stopgap until someone figures out what it should be....'), + fail. % when figure out what ceMember is supposed to be/do, fix this. +%% findall(Id,ceMember(Vid,Id),Ids), +%% sort(Ids,Idsort), +%% classify_if_necessary_list([First|Idsort],Upd1,Upd). classify_if_necessary_term(isa_ext(First,Second),Upd1,Upd):-!, arg(1,First,Arg), (structure(Arg) -> |