source: to-imperative/trunk/compiler/refal/org/refal/plus/compiler/rfp_helper.rfi @ 3600

// $Id: rfp_helper.rfi 3600 2008-03-28 15:20:52Z yura $

$module "org.refal.plus.compiler.rfp_helper";

/*
 * Tables for storing different items.
 * For each table the key is item's qualified name.
 * Value is s.Linkage s.ItemType t.Pragma e.Item-Specific-Information.
 * In tables Fun and Fun? s.ItemType is &Fun and &Fun? correspondingly, and
 * e.Item-Specific-Information is empty.
 */
$table Fun;
$table IsFun;
$table Const;
$table Object;


$func? Lookup_Func t.Fname = s.linkage s.tag (e.Fin) (e.Fout);


$table RFP_Options ;
$table RFP_Module_Subst;

$func? IsRFP_Debug = ;

$func RFP_Double_Copy s.tab = s.new_tab;

$func RFP_Double_Unbind s.tab e.keys = ;

$func RFP_Extract_Qualifiers t.Name = (e.qualifiers) e.name;

// substitute replacements for each occurence of corresponding patterns in expr
$func Subst (e.patterns) (e.replaces) expr = expr;

// search for e.pattern in expr (in all depths).
$func? IsIn (e.pattern) expr = ;

// Make refal name ('a.b.c' -> "a" "b" "c")
$func Make_Name e.origname = e.name ;

// Print refal name ("a" "b" "c" -> 'a.b.c')
$func Print_Name e.name = e.chars ;

// Print refal function format ("$func F s = e;")
$func? PrintFunctionFormat t.name = s.format ;

// Print constant definition ("$const F = 'abc';")
$func? PrintConstDefinition t.name = s.def ;

// Print object definition ("$box F;")
$func? PrintObjectDefinition t.name = s.def ;

$func Del_Pragmas e.Sentence = e.Sentence;