2014-11-08 01:54:59 +03:00
|
|
|
/* i/n/n.h
|
2014-09-04 07:44:53 +04:00
|
|
|
**
|
|
|
|
** This file is in the public domain.
|
|
|
|
*/
|
2018-04-26 21:08:34 +03:00
|
|
|
/** Data structures.
|
|
|
|
***
|
|
|
|
**/
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
c3_l sip_l;
|
|
|
|
u3_noun key;
|
|
|
|
} u3n_memo;
|
|
|
|
|
|
|
|
typedef struct _u3n_prog {
|
|
|
|
struct {
|
|
|
|
c3_o own_o;
|
|
|
|
c3_w len_w;
|
|
|
|
c3_y* ops_y;
|
|
|
|
} byc_u;
|
|
|
|
struct {
|
|
|
|
c3_w len_w;
|
|
|
|
u3_noun* non;
|
|
|
|
} lit_u;
|
|
|
|
struct {
|
|
|
|
c3_w len_w;
|
|
|
|
u3n_memo* sot_u;
|
|
|
|
} mem_u;
|
|
|
|
struct {
|
|
|
|
c3_w len_w;
|
|
|
|
u3j_site* sit_u;
|
|
|
|
} cal_u;
|
|
|
|
struct {
|
|
|
|
c3_w len_w;
|
|
|
|
u3j_rite* rit_u;
|
|
|
|
} reg_u;
|
|
|
|
} u3n_prog;
|
|
|
|
|
2014-11-06 03:02:36 +03:00
|
|
|
/** Functions.
|
|
|
|
**/
|
2014-11-06 03:20:01 +03:00
|
|
|
/* u3n_nock_on(): produce .*(bus fol).
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2014-11-06 03:20:01 +03:00
|
|
|
u3n_nock_on(u3_noun bus, u3_noun fol);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2018-04-26 22:06:57 +03:00
|
|
|
/* u3n_find(): return prog for given formula. fol is RETAINED.
|
|
|
|
*/
|
2018-04-30 21:02:48 +03:00
|
|
|
u3p(u3n_prog)
|
2018-04-26 22:06:57 +03:00
|
|
|
u3n_find(u3_noun fol);
|
|
|
|
|
|
|
|
/* u3n_burn(): execute u3n_prog with bus as subject.
|
|
|
|
*/
|
|
|
|
u3_noun
|
2018-04-30 20:56:19 +03:00
|
|
|
u3n_burn(u3p(u3n_prog) pog_p, u3_noun bus);
|
2018-04-26 22:06:57 +03:00
|
|
|
|
2014-11-06 03:20:01 +03:00
|
|
|
/* u3n_slam_on(): produce (gat sam).
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2014-11-06 03:20:01 +03:00
|
|
|
u3n_slam_on(u3_noun gat, u3_noun sam);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2014-11-06 03:20:01 +03:00
|
|
|
/* u3n_kick_on(): fire `gat` without changing the sample.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2014-11-06 03:20:01 +03:00
|
|
|
u3n_kick_on(u3_noun gat);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2016-02-02 22:52:10 +03:00
|
|
|
/* u3n_nock_in(): produce .*(bus fol), as ++toon, in namespace.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2016-02-02 22:52:10 +03:00
|
|
|
u3n_nock_in(u3_noun fly, u3_noun bus, u3_noun fol);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2016-02-02 22:52:10 +03:00
|
|
|
/* u3n_nock_it(): produce .*(bus fol), as ++toon, in namespace.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2016-02-02 22:52:10 +03:00
|
|
|
u3n_nock_it(u3_noun sea, u3_noun bus, u3_noun fol);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2016-02-04 00:33:43 +03:00
|
|
|
/* u3n_nock_et(): produce .*(bus fol), as ++toon, in namespace.
|
|
|
|
*/
|
|
|
|
u3_noun
|
|
|
|
u3n_nock_et(u3_noun gul, u3_noun bus, u3_noun fol);
|
|
|
|
|
2016-02-02 22:52:10 +03:00
|
|
|
/* u3n_slam_in(): produce (gat sam), as ++toon, in namespace.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2016-02-02 22:52:10 +03:00
|
|
|
u3n_slam_in(u3_noun fly, u3_noun gat, u3_noun sam);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2016-02-02 22:52:10 +03:00
|
|
|
/* u3n_slam_it(): produce (gat sam), as ++toon, in namespace.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2016-02-02 22:52:10 +03:00
|
|
|
u3n_slam_it(u3_noun sea, u3_noun gat, u3_noun sam);
|
2014-11-06 03:02:36 +03:00
|
|
|
|
2016-02-04 00:33:43 +03:00
|
|
|
/* u3n_slam_et(): produce (gat sam), as ++toon, in namespace.
|
|
|
|
*/
|
|
|
|
u3_noun
|
|
|
|
u3n_slam_it(u3_noun gul, u3_noun gat, u3_noun sam);
|
|
|
|
|
2014-11-06 03:20:01 +03:00
|
|
|
/* u3n_nock_an(): as slam_in(), but with empty fly.
|
2014-11-06 03:02:36 +03:00
|
|
|
*/
|
|
|
|
u3_noun
|
2014-11-06 03:20:01 +03:00
|
|
|
u3n_nock_an(u3_noun bus, u3_noun fol);
|
2018-02-05 21:27:39 +03:00
|
|
|
|
|
|
|
/* u3n_beep(): promote bytecode state.
|
|
|
|
*/
|
2018-04-18 22:19:56 +03:00
|
|
|
void
|
|
|
|
u3n_beep(u3p(u3h_root) har_p);
|
2018-03-10 03:04:47 +03:00
|
|
|
|
|
|
|
/* u3n_bark(): mark bytecode cache.
|
|
|
|
*/
|
2018-04-18 22:19:56 +03:00
|
|
|
c3_w
|
|
|
|
u3n_bark(void);
|
2018-03-12 20:58:41 +03:00
|
|
|
|
|
|
|
/* u3n_bree(): free bytecode cache.
|
|
|
|
*/
|
2018-04-18 22:19:56 +03:00
|
|
|
void
|
|
|
|
u3n_bree(void);
|
|
|
|
|
|
|
|
/* u3n_ream(): refresh after restoring from checkpoint.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
u3n_ream(void);
|