ypp.yap

Go to the documentation of this file.

/**
 * @file   ypp.yap
 * @author Nuno Fonseca (nunofonseca@acm.org), Tiago Soares
 * @date  2005-05-14
 * 
 * @brief  Yap PreProcessing
 * 
 * 
*/
%====================================================================================
%
% YPP: Yap PreProcessing
%
% Author: Nuno Fonseca (nunofonseca@acm.org)
% Date: 
% $Id: ypp.yap,v 1.4 2006-03-07 17:30:47 tiagosoares Exp $
%
%====================================================================================
 
%====================================================================================
% Module declarations
%====================================================================================
 
:-ypp_state/1% ypp_state(on|off)ypp_define/2% persistent defines  ypp_define(+NAME,VALUE)ypp_undefine/1% persistent defines  ypp_undefine(+NAME)ypp_extcmd/1% ypp_extcmd(?command)ypp_consult/1% similiar to standard consult but with preprocessingypp_reconsult/1module(ypp,[
          , 
          ,     
          ,   
          , 
          ,    
          
    ]
        ).
 
/**
* @defgroup Ypp Yap PreProcessing
* @ingroup YAPLibrary
* 
*/
 
%====================================================================================
% Public Predicates
%====================================================================================
 
ypp_state(State):-
    ground(State),ground,
    set_state(State).
 
ypp_state(State):-
    get_state(State),
    get_state.
 
ypp_define(Name,Value):-
    ground(Name),ground(Value),
    store_define(Name,Value).
 
ypp_undefine(Name):-
    ground(Name),
    del_define(Name).
 
ypp_extcmd(Cmd):-
    ground(Cmd),ground,
    eraseall('____ypp_extcmd'),
    recorda('____ypp_extcmd',Cmd,_).
ypp_extcmd(Cmd):-
    \+ ground(Cmd),
    recorded('____ypp_extcmd',Cmd,_).
 
ypp_consult(File):-
    (get_state(on)->ypp_file(File,NFile);NFile=File),
    consult(NFile).
 
ypp_reconsult(File):-
    (get_state(on)->ypp_file(File,NFile);NFile=File),
    reconsult(NFile).
%====================================================================================
% Private Predicates
%====================================================================================
 
set_state(on):-set_value('____ypp_state',1).
set_state(off):-set_value('____ypp_state',0).
 
get_state(State):-
    get_value('____ypp_state',Val),
    (Val==0->State=off;State=on).
 
 
store_define(Name,_Value):-
    recorded('___ypp',def(Name,_),Ref),
        erase(Ref),
        erase.
store_define(Name,Value):-
    system_variable( Name ),
    environ( Name, Value ),
    environ.
store_define(Name,Value):-
    recordz('___ypp',def(Name,Value),_),
    recordz.
store_define(_Name,_Value).
 
system_variable( 'YAPLIBDIR' ).
system_variable( 'YAPSHAREDIR' ).
system_variable( 'YAPBINDIR' ).
 
 
del_define(Name):-
    (recorded('___ypp',def(Name,_),Ref)->erase(Ref);erase),
    !.
 
%defines2string(-DefineString)
defines2string(S):-
    findall(d(Name,Val),recorded('___ypp',def(Name,Val),_),AllDefs),
    mergedefs(AllDefs,'-D',S),
    mergedefs.
 
mergedefs([],_,'').
mergedefs([d(Name,Val)|RDefs],Pref,S):-
    mergedefs(RDefs,Pref,S1),
    atom_concat([Pref,Name,'=',Val,' ',S1],S).
 
 
ypp_file(File,PPFile):-
    % ppfile
    atom_concat([File,'.ypp'],PPFile),
    % Cmdline
    defines2string(Defs),ypp_extcmd(Cmd),
    atom_concat([Cmd,' ',PPFile,' ',Defs,' ',File],Cmdline),
    write(Cmdline),write,
%   current_module(M1,M2),
%   write(M1:M2),nl,
    system(Cmdline),
    system.
 
% initialization
:-set_state(on),
    ypp_extcmd('cpp -P -E -w -o ').
%   ypp_extcmd('gpp -o').