| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/abstract-types-lang/ |
| H A D | static-data-structures.rkt | 108 (let recur ((tenv tenv))
115 (else (recur (tenv->saved-tenv tenv)))))))
120 (let recur ((tenv tenv))
127 (else (recur (tenv->saved-tenv tenv)))))))
132 (let recur ((tenv tenv))
139 (else (recur (tenv->saved-tenv tenv)))))))
142 (define tenv->saved-tenv
147 "tenv->saved-tenv called on empty tenv"))
148 (extend-tenv (name ty saved-tenv) saved-tenv)
149 (extend-tenv-with-module (name m-type saved-tenv) saved-tenv)
[all …]
|
| H A D | checker.rkt | 35 ;; (type-of exp1 (init-tenv))))))
41 (lambda (exp tenv)
58 (let ((ty1 (type-of exp1 tenv))
59 (ty2 (type-of exp2 tenv))
65 (var-exp (var) (apply-tenv tenv var))
69 (lookup-qualified-var-in-tenv m-name var-name tenv))
73 (type-of body (extend-tenv var rhs-type tenv))))
83 tenv))))
104 (extend-tenv
108 tenv)
[all …]
|
| H A D | subtyping.rkt | 13 (lambda (iface1 iface2 tenv)
24 ;; bindings in the tenv
29 (lambda (decls1 decls2 tenv)
44 (extend-tenv-with-decl (car decls1) tenv)))
47 (extend-tenv-with-decl (car decls1) tenv))))))))
51 (define extend-tenv-with-decl
52 (lambda (decl tenv)
55 (val-decl (name ty) tenv)
75 (lambda (decl1 decl2 tenv)
96 (lambda (ty1 ty2 tenv)
[all …]
|
| H A D | check-modules.rkt | 22 (add-module-defns-to-tenv module-defs (empty-tenv)))))))
26 (define add-module-defns-to-tenv
27 (lambda (defns tenv)
29 tenv
47 (lambda (m-body tenv)
51 (defns-to-decls defns tenv))) )))
56 ;; in defns. Do this in the context of tenv. The tenv is extended
59 (lambda (defns tenv)
64 (let ((ty (type-of exp tenv)))
65 (let ((new-env (extend-tenv var-name ty tenv)))
[all …]
|
| H A D | expand-type.rkt | 15 ;; For example, if tenv contains a declaration for a module
27 ;; lookup-type-name-in-tenv is already expanded.
32 (lambda (ty tenv)
38 (expand-type arg-type tenv)
39 (expand-type result-type tenv)))
41 (lookup-type-name-in-tenv tenv name))
43 (lookup-qualified-type-in-tenv m-name t-name tenv))
51 (lambda (m-name iface tenv)
55 (expand-decls m-name decls tenv))) )))
64 (lambda (m-name decls internal-tenv)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/simplemodules/ |
| H A D | static-data-structures.rkt | 8 (empty-tenv)
46 (define apply-tenv lookup-variable-name-in-tenv)
78 (let recur ((tenv tenv))
81 (extend-tenv (name ty saved-tenv)
85 (else (recur (tenv->saved-tenv tenv)))))))
90 (let recur ((tenv tenv))
97 (else (recur (tenv->saved-tenv tenv)))))))
100 (define tenv->saved-tenv
105 "tenv->saved-tenv called on empty tenv"))
106 (extend-tenv (name ty saved-tenv) saved-tenv)
[all …]
|
| H A D | checker.rkt | 35 ;; (type-of exp1 (init-tenv))))))
41 (lambda (exp tenv)
58 (let ((ty1 (type-of exp1 tenv))
59 (ty2 (type-of exp2 tenv))
65 (var-exp (var) (apply-tenv tenv var))
69 (lookup-qualified-var-in-tenv m-name var-name tenv))
73 (type-of body (extend-tenv var rhs-type tenv))))
83 tenv))))
104 (extend-tenv
108 tenv)
[all …]
|
| H A D | check-modules.rkt | 21 (add-module-defns-to-tenv module-defs (empty-tenv)))))))
25 (define add-module-defns-to-tenv
26 (lambda (defns tenv)
28 tenv
33 (let ((new-tenv
46 (lambda (m-body tenv)
50 (defns-to-decls defns tenv))) )))
56 ;; in defns. Do this in the context of tenv. The tenv is extended
60 (lambda (defns tenv)
65 (let ((ty (type-of exp tenv)))
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter8/full-system/ |
| H A D | static-data-structures.rkt | 116 (let recur ((tenv tenv))
123 (else (recur (tenv->saved-tenv tenv)))))))
128 (let recur ((tenv tenv))
135 (else (recur (tenv->saved-tenv tenv)))))))
140 (let recur ((tenv tenv))
147 (else (recur (tenv->saved-tenv tenv)))))))
150 (define tenv->saved-tenv
155 "tenv->saved-tenv called on empty tenv"))
156 (extend-tenv (name ty saved-tenv) saved-tenv)
157 (extend-tenv-with-module (name m-type saved-tenv) saved-tenv)
[all …]
|
| H A D | check-modules.rkt | 23 (add-module-defns-to-tenv module-defs (empty-tenv)))))))
27 (define add-module-defns-to-tenv
28 (lambda (defns tenv)
30 tenv
48 (lambda (m-body tenv)
51 (lookup-module-name-in-tenv tenv m-name))
56 (let ((rator-iface (lookup-module-name-in-tenv tenv rator-id))
57 (rand-iface (lookup-module-name-in-tenv tenv rand-id)))
89 ;; in defns. Do this in the context of tenv. The tenv is extended
92 (lambda (defns tenv)
[all …]
|
| H A D | checker.rkt | 35 ;; (type-of exp1 (init-tenv))))))
41 (lambda (exp tenv)
58 (let ((ty1 (type-of exp1 tenv))
59 (ty2 (type-of exp2 tenv))
65 (var-exp (var) (apply-tenv tenv var))
69 (lookup-qualified-var-in-tenv m-name var-name tenv))
73 (type-of body (extend-tenv var rhs-type tenv))))
83 tenv))))
104 (extend-tenv
108 tenv)
[all …]
|
| H A D | subtyping.rkt | 13 (lambda (iface1 iface2 tenv)
44 ;; bindings in the tenv
49 (lambda (decls1 decls2 tenv)
64 (extend-tenv-with-decl (car decls1) tenv)))
67 (extend-tenv-with-decl (car decls1) tenv))))))))
71 (define extend-tenv-with-decl
72 (lambda (decl tenv)
95 (lambda (decl1 decl2 tenv)
116 (lambda (ty1 ty2 tenv)
118 (expand-type ty1 tenv)
[all …]
|
| H A D | expand-type.rkt | 15 ;; For example, if tenv contains a declaration for a module
27 ;; lookup-type-name-in-tenv is already expanded.
32 (lambda (ty tenv)
38 (expand-type arg-type tenv)
39 (expand-type result-type tenv)))
41 (lookup-type-name-in-tenv tenv name))
43 (lookup-qualified-type-in-tenv m-name t-name tenv))
51 (lambda (m-name iface tenv)
55 (expand-decls m-name decls tenv)))
68 (lambda (m-name decls internal-tenv)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/checked/ |
| H A D | checker.rkt | 36 (lambda (exp tenv)
42 ;; \commentbox{\hastype{\tenv}{\var{}}{\tenv{}(\var{})}}
43 (var-exp (var) (apply-tenv tenv var))
72 (extend-tenv var exp1-type tenv))))
78 (extend-tenv var var-type tenv))))
118 (empty-tenv-record)
124 (define empty-tenv empty-tenv-record)
125 (define extend-tenv extended-tenv-record)
127 (define apply-tenv
128 (lambda (tenv sym)
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/inferred/ |
| H A D | inferrer.rkt | 36 (lambda (exp tenv subst)
69 (var-exp (var) (an-answer (apply-tenv tenv var) subst))
75 (extend-tenv var rhs-type tenv)
81 (extend-tenv var arg-type tenv)
133 (empty-tenv-record)
134 (extended-tenv-record
139 (define empty-tenv empty-tenv-record)
140 (define extend-tenv extended-tenv-record)
142 (define apply-tenv
143 (lambda (tenv sym)
[all …]
|
| /dports/multimedia/aegisub/aegisub-3.2.2/automation/autoload/ |
| H A D | kara-templater.lua | 274 tenv.j = 0
276 if tenv.j >= tenv.maxj or aegisub.progress.is_cancelled() then
279 tenv.j = tenv.j + 1
284 return tenv.j, tenv.maxj
294 local tenv = {
301 tenv.tenv = tenv
306 local line, syl = tenv.line, tenv.syl
367 tenv.maxloops = tenv.maxloop
369 tenv.j = newj
532 tenv.line = nil
[all …]
|
| /dports/security/apache-xml-security-c/xml-security-c-2.0.4/xsec/xkms/impl/ |
| H A D | XKMSMessageFactoryImpl.cpp | 431 XSECEnv * tenv; in createCompoundRequest() local
469 XSECEnv * tenv; in createLocateRequest() local
509 XSECEnv * tenv; in createValidateRequest() local
549 XSECEnv * tenv; in createPendingRequest() local
589 XSECEnv * tenv; in createStatusRequest() local
628 XSECEnv * tenv; in createRegisterRequest() local
668 XSECEnv * tenv; in createRevokeRequest() local
708 XSECEnv * tenv; in createRecoverRequest() local
748 XSECEnv * tenv; in createReissueRequest() local
794 XSECEnv * tenv; in createLocateResult() local
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter9/typed-oo/ |
| H A D | static-data-structures.rkt | 13 (empty-tenv)
14 (extend-tenv
17 (tenv type-environment?))
18 (extend-tenv-with-self-and-super
23 (define init-tenv
25 (extend-tenv
28 (empty-tenv))))
30 (define apply-tenv
33 (empty-tenv ()
35 (extend-tenv (bvars types saved-env)
[all …]
|
| H A D | checker.rkt | 22 (lambda (exp tenv)
27 (var-exp (var) (apply-tenv tenv var))
59 (let ((new-tenv
63 tenv)))
69 (extend-tenv bvars bvar-types tenv))))
84 tenv)))
111 (apply-tenv tenv id)
148 (apply-tenv tenv '%self))
163 (obj-type (apply-tenv tenv '%self)))
166 (apply-tenv tenv '%super)
[all …]
|
| /dports/audio/zplugins-lv2/ZPlugins-0.2.4/ext/Soundpipe/test/t/ |
| H A D | t_prop.c | 10 sp_tenv *tenv; member
17 SPFLOAT osc = 0, prop = 0, tenv = 0; in t_prop() local
25 sp_tenv_create(&ud.tenv); in t_prop()
31 sp_tenv_init(sp, ud.tenv); in t_prop()
32 ud.tenv->atk = 0.01; in t_prop()
33 ud.tenv->hold = 0.01; in t_prop()
34 ud.tenv->rel = 0.2; in t_prop()
40 osc = 0, prop = 0, tenv = 0; in t_prop()
44 sp_tenv_compute(sp, ud.tenv, &prop, &tenv); in t_prop()
45 sp->out[0] = osc * tenv; in t_prop()
[all …]
|
| H A D | t_thresh.c | 10 sp_tenv *tenv; member
20 SPFLOAT osc = 0, thresh = 0, lfo = 0, tenv = 0; in t_thresh() local
25 sp_tenv_create(&ud.tenv); in t_thresh()
37 sp_tenv_init(sp, ud.tenv); in t_thresh()
38 ud.tenv->atk = 0.01; in t_thresh()
39 ud.tenv->hold = 0.01; in t_thresh()
40 ud.tenv->rel = 0.01; in t_thresh()
43 osc = 0; thresh = 0; lfo = 0; tenv = 0; in t_thresh()
46 sp_tenv_compute(sp, ud.tenv, &thresh, &tenv); in t_thresh()
48 sp_test_add_sample(tst, osc * tenv); in t_thresh()
[all …]
|
| H A D | t_timer.c | 10 sp_tenv *tenv; member
19 SPFLOAT osc = 0, timer = 0, clock = 0, tenv = 0; in t_timer() local
27 sp_tenv_create(&ud.tenv); in t_timer()
33 sp_tenv_init(sp, ud.tenv); in t_timer()
34 ud.tenv->atk = 0.1; in t_timer()
35 ud.tenv->hold= 0.1; in t_timer()
36 ud.tenv->rel = 0.1; in t_timer()
40 osc = 0; timer = 0; clock = 0; tenv = 0; in t_timer()
48 sp_tenv_compute(sp, ud.tenv, &timer, &tenv); in t_timer()
50 sp->out[0] = osc * tenv; in t_timer()
[all …]
|
| H A D | t_dmetro.c | 11 sp_tenv *tenv; member
19 SPFLOAT osc = 0, dmetro = 0, tenv = 0, lfo = 0; in t_dmetro() local
25 sp_tenv_create(&ud.tenv); in t_dmetro()
34 sp_tenv_init(sp, ud.tenv); in t_dmetro()
35 ud.tenv->atk = 0.001; in t_dmetro()
36 ud.tenv->hold = 0.03; in t_dmetro()
37 ud.tenv->rel = 0.001; in t_dmetro()
40 osc = 0, dmetro = 0, tenv = 0, lfo = 0; in t_dmetro()
46 sp_tenv_compute(sp, ud.tenv, &dmetro, &tenv); in t_dmetro()
47 sp_test_add_sample(tst, tenv * osc); in t_dmetro()
[all …]
|
| /dports/audio/zplugins-lv2/ZPlugins-0.2.4/ext/Soundpipe/examples/ |
| H A D | ex_prop.c | 10 sp_tenv *tenv; member
15 SPFLOAT osc = 0, prop = 0, tenv = 0; in process() local
18 sp_tenv_compute(sp, ud->tenv, &prop, &tenv); in process()
19 sp->out[0] = osc * tenv; in process()
31 sp_tenv_create(&ud.tenv); in main()
37 sp_tenv_init(sp, ud.tenv); in main()
38 ud.tenv->atk = 0.003; in main()
39 ud.tenv->hold = 0.001; in main()
40 ud.tenv->rel = 0.2; in main()
50 sp_tenv_destroy(&ud.tenv); in main()
|
| /dports/mail/mailutils/mailutils-3.13/imap4d/ |
| H A D | append.c | 49 rc = mu_c_streamftime (str, MU_DATETIME_FROM, &tenv->tm, &tenv->tz); in _temp_envelope_date()
69 size_t n = mu_cpystr (buf, tenv->sender, len); in _temp_envelope_sender()
79 free (tenv->sender); in _temp_envelope_destroy()
92 struct _temp_envelope tenv; in imap4d_append0() local
94 memset (&tenv, 0, sizeof (tenv)); in imap4d_append0()
113 &tenv.tz, NULL)) in imap4d_append0()
118 rc = mu_envelope_create (&env, &tenv); in imap4d_append0()
121 mu_envelope_set_date (env, _temp_envelope_date, &tenv); in imap4d_append0()
159 mu_address_aget_email (addr, 1, &tenv.sender); in imap4d_append0()
164 if (!tenv.sender) in imap4d_append0()
[all …]
|