source: to-imperative/trunk/compiler/rfp_vars.rfi @ 1146

Last change on this file since 1146 was 1146, checked in by orlov, 17 years ago
  • Support for references to functions. Including ones with formats other then

e = e.

  • Support for iterative splitting from the right.
  • Composition of clashes left hand side is corrected.
  • Renaming of variables is corrected.
  • Some other small bugs are fixed.
  • A lot of unused code is throwed away, some code is cleaned up, some comments

are added.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 1.1 KB
Line 
1// $Source$
2// $Revision: 1146 $
3// $Date: 2003-08-10 22:36:28 +0000 (Sun, 10 Aug 2003) $
4
5$func? Var? expr = ;
6$func Set-Var e.info t.var = ;
7$func? Get-Var t.key e.var = e.val;
8$func Set-Var- e = e;
9
10$func Vars-Copy-State = t.vars;
11$func Vars-Set-State t.vars = ;
12
13$func Init-Vars = ;
14
15//! $func New-Vars e = ;
16$func Vars-Print e = e;
17$func Vars-Decl e = e;
18
19$func Create-Int-Var (e.prefix) t.var e.expr = t.int-var e.int-assign;
20
21$func Vars e.expr = e.vars;
22
23$func Gener-Vars (e.format) e.prefix = e.Re;
24
25$func Gener-Err-Var = t.var;
26
27$func Gener-Subst-Vars (e.format) e.prefix = e.Re;
28
29$func? Substitutable-Var? e.Re = ;
30
31$func Gener-Var-Assign t.var e.generated-var = ;
32
33$func Gener-Var-Names e.expr-with-unspecified-var-names = e.expr-with-resolved-var-names;
34
35$func Gener-Var-Indices s.num (e.Format) e.prefix = e.Re s.max;
36
37$func? ?? t.name e.key = e.val;
38
39$func Strip-STVE expr = expr;
40
41//!$func Set-Var t.name (e.key) (e.val) = ;
42
43$func Store-Vars e.vars = e.vars;
44
45$func Declare-Vars s.type e.vars = e.decls;
46
47//!$func? Declared? t.var = ;
48
49//!$func? Instantiated? t.var = ;
50
51$func Instantiate-Vars e.vars = ;
52
53$func Norm-Vars (e.vars) e.Snt = (e.vars) e.Snt;
54
Note: See TracBrowser for help on using the repository browser.