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

Last change on this file since 3600 was 3600, checked in by yura, 13 years ago
  • $module is added.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 409 bytes
Line 
1// $Id: rfp_format.rfi 3600 2008-03-28 15:20:52Z yura $
2
3$module "org.refal.plus.compiler.rfp_format";
4
5// Gets pattern, result, or hard expression and returns its format
6$func Format_Exp e.Exp = e.Format;
7
8// split e.Re according to e.Format
9$func Split_Re (e.Format) e.Re = e.splited_Re;
10
11$func MSG e.formats = e.most_specific_generalization_of_formats;
12
13// true, if e.Format2 is a contraction of e.Format1
14$func? IsSubformat (e.Format1) (e.Format2) = ;
15
Note: See TracBrowser for help on using the repository browser.