|
Last change
on this file since 3600 was
3600,
checked in by yura, 13 years ago
|
|
|
-
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.
