/* zuse_line(): execute a zuse line, as command and argument.
*/
void
zuse_line(struct zuse_state* fod_f,
const c3_c* cmd_c,
const c3_c* arg_c)
{
u2_ray wir_r = fod_f->wir_r;
u2_ray cap_r = u2_rail_cap_r(wir_r);
LoomStop = 0;
u2_bx_boot(wir_r);
u2_rl_leap(wir_r, c3__rock);
{
u2_ray jub_r = u2_bl_open(wir_r);
if ( u2_bl_set(wir_r) ) {
u2_bl_done(wir_r, jub_r);
}
else {
if ( !strcmp(cmd_c, "test") ) {
// zuse_test(fod_f, "watt/t1-273");
zuse_test3(fod_f, "watt/270", arg_c);
}
else if ( !strcmp(cmd_c, "next") ) {
zuse_next4(fod_f, "watt/270", "watt/269", "watt/268", arg_c);
}
else {
#if 0
u2_noun cmd = u2_bn_string(wir_r, cmd_c);
u2_noun cor = u2_bn_mung(wir_r, fod_f->ryd, cmd);
u2_burp(wir_r, 0, u2_fj_prep_noun(wir_r, cor));
if ( arg_c ) {
u2_noun arg = u2_bn_string(wir_r, arg_c);
u2_noun sam = u2_bn_mung(wir_r, fod_f->ryd, arg);
u2_burp(wir_r, 0, u2_fj_prep_noun(wir_r, sam));
}
#else
u2_noun gat, sam, pro;
/* Construct gate from command.
*/
gat = _zuse_from(fod_f, cmd_c);
/* Construct sample from argument.
*/
sam = _zuse_from(fod_f, arg_c);
/* Construct product.
*/
pro = u2_nk_mung(wir_r, gat, sam);
/* Print, if applicable.
*/
{
if ( u2_none != pro ) {
u2_prep pap = u2_fj_prep_noun(wir_r, pro);
u2_burp(wir_r, 0, pap);
u2_bx_spot(wir_r, u2_nul);
}
}
}
#endif
}
}
u2_nk_show(wir_r, stderr);
u2_rl_fall(wir_r);
u2_rail_cap_r(wir_r) = cap_r;
u2_bx_show(wir_r);
}
/* u2_lo_soft(): standard soft wrapper. unifies unix and nock errors.
**
** Produces [%$ result] or [%error (list tank)].
*/
u2_noun
u2_lo_soft(u2_reck* rec_u, c3_w sec_w, u2_funk fun_f, u2_noun arg)
{
u2_noun hoe, pro, rop;
u2_rl_leap(u2_Wire, c3__rock);
// system level setjmp, for signals
//
c3_assert(u2_nul == u2_wire_tax(u2_Wire));
c3_assert(0 == u2_wire_kit_r(u2_Wire));
// stop signals
//
u2_unix_ef_hold();
_lo_signal_deep(sec_w);
if ( 0 != sigsetjmp(Signal_buf, 1) ) {
u2_noun tax, pre, mok;
// return to blank state
//
_lo_signal_done();
// acquire trace and reset memory
//
tax = u2_wire_tax(u2_Wire);
u2_rl_fall(u2_Wire);
u2z(arg);
tax = u2_rl_take(u2_Wire, tax);
u2_wire_tax(u2_Wire) = u2_nul;
mok = u2_dc("mook", 2, tax);
// other ugly disgusting cleanups
{
u2_wire_kit_r(u2_Wire) = 0;
u2_hevx_be(u2_wire_hev_r(u2_Wire), u2_pryr, god) = 0;
u2_hevx_at(u2_wire_hev_r(u2_Wire), lad) = 0;
}
switch ( Sigcause ) {
default: pre = c3__wyrd; break;
case sig_none: pre = c3__none; break;
case sig_overflow: pre = c3__over; break;
case sig_interrupt: pre = c3__intr; break;
case sig_terminate: pre = c3__term; break;
case sig_memory: pre = c3__full; break;
case sig_assert: pre = c3__lame; break;
case sig_timer: fprintf(stderr, "timer!!\r\n"); pre = c3__slow; break;
}
rop = u2nc(pre, u2k(u2t(mok)));
u2z(mok);
fprintf(stderr, "error computed\r\n");
return rop;
}
if ( 0 != (hoe = u2_cm_trap()) ) {
u2_noun mok;
u2_rl_fall(u2_Wire);
hoe = u2_rl_take(u2_Wire, hoe);
u2_rl_flog(u2_Wire);
mok = u2_dc("mook", 2, u2k(u2t(hoe)));
rop = u2nc(u2k(u2h(hoe)), u2k(u2t(mok)));
u2z(arg);
u2z(hoe);
u2z(mok);
}
else {
u2_noun pro = fun_f(rec_u, arg);
_lo_signal_done();
u2_cm_done();
u2_rl_fall(u2_Wire);
pro = u2_rl_take(u2_Wire, pro);
u2_rl_flog(u2_Wire);
u2z(arg);
rop = u2nc(u2_blip, pro);
}
pro = rop;
return pro;
}
/* _nock_hint(): hint with code, data, subject, formula. nock/mink.
*/
static u2_noun // produce
_nock_hint(u2_noun zep, // transfer
u2_noun hod, // transfer
u2_noun bus, // transfer
u2_noun nex, // transfer
u2_bean* pon)
{
u2_noun pro;
switch ( zep ) {
default: u2z(zep); u2z(hod);
return pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
case c3__lose:
case c3__yelp:
case c3__bean:
case c3__mean:
case c3__spot: {
u2_noun tax = u2_wire_tax(u2_Wire);
u2_noun tac = u2nc(zep, hod);
#if 0
if ( c3__spot == zep ) {
printf("spot %d/%d : %d/%d\n",
u2h(u2h(u2t(hod))),
u2t(u2h(u2t(hod))),
u2h(u2t(u2t(hod))),
u2t(u2t(u2t(hod))));
}
#endif
u2_wire_tax(u2_Wire) = u2nc(tac, tax);
{
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
}
tax = u2k(tax);
u2z(u2_wire_tax(u2_Wire));
u2_wire_tax(u2_Wire) = tax;
return pro;
}
case c3__slog: {
u2_tx_sys_bit(u2_Wire, u2_yes);
u2_tx_slog(u2_Wire, hod);
u2_tx_sys_bit(u2_Wire, u2_no);
u2z(hod);
return pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
}
case c3__mine: {
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
if ( !pon || (u2_no != *pon) ) {
u2_tx_sys_bit(u2_Wire, u2_yes);
pro = u2_ds_mine(u2_Wire, hod, pro);
u2_tx_sys_bit(u2_Wire, u2_no);
}
u2z(hod);
return pro;
}
case c3__germ: {
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
if ( u2_yes == u2_sing(pro, hod) ) {
u2z(pro); return hod;
} else {
u2z(hod); return pro;
}
}
case c3__fast: {
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
if ( !pon || (u2_no != *pon) ) {
u2_noun p_hod, q_hod, r_hod;
/* XX: translate hod to old clue form.
*/
if ( u2_no == u2_as_trel(hod, &p_hod, &q_hod, &r_hod) ) {
u2z(hod);
return pro;
}
else {
u2_noun xod;
if ( u2_yes == u2_dust(q_hod) &&
(_1 == u2_h(q_hod)) &&
(_0 == u2_t(q_hod)) ) {
q_hod = 0;
}
xod = u2_rt(u2_Wire, u2k(q_hod),
u2k(p_hod),
u2k(r_hod));
u2z(hod);
hod = xod;
}
u2_tx_sys_bit(u2_Wire, u2_yes);
pro = u2_ds_mine(u2_Wire, hod, pro);
u2_tx_sys_bit(u2_Wire, u2_no);
}
u2z(hod);
return pro;
}
#if 0
case c3__leap: {
u2z(hod);
fprintf(stderr, "leaping!!\r\n");
{
u2_noun hoe, tax;
tax = u2_wire_tax(u2_Wire);
u2_wire_tax(u2_Wire) = u2_nul;
u2_rl_leap(u2_Wire, c3__rock);
if ( 0 != (hoe = u2_cm_trap()) ) {
u2_noun cod;
u2_rl_fall(u2_Wire);
hoe = u2_rl_take(u2_Wire, hoe);
u2_rl_flog(u2_Wire);
u2_wire_tax(u2_Wire) = u2_ckb_weld(u2k(u2t(hoe)), tax);
cod = u2k(u2h(hoe));
fprintf(stderr, "error in leap: %s\r\n", u2_cr_string(cod));
return u2_cm_bail(cod);
}
else {
u2_noun pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
u2_cm_done();
u2_rl_fall(u2_Wire);
pro = u2_rl_take(u2_Wire, pro);
u2_rl_flog(u2_Wire);
u2_wire_tax(u2_Wire) = tax;
fprintf(stderr, "leapt!!\r\n");
u2z(bus); u2z(nex); return pro;
}
}
}
#endif
case c3__memo: {
u2z(hod);
{
pro = u2_rl_find_cell(u2_Wire, 0, bus, nex);
if ( pro != u2_none ) {
u2_tx_did_fin(u2_Wire, 1);
u2z(bus);
u2z(nex);
return pro;
} else {
u2_noun sav;
pro = pon ? _nock_mool(u2k(bus), u2k(nex), pon)
: _nock_cool(u2k(bus), u2k(nex));
if ( !pon || (u2_no != *pon) ) {
u2_tx_sys_bit(u2_Wire, u2_yes);
sav = u2_rl_save_cell(u2_Wire, 0, bus, nex, pro);
u2_tx_sys_bit(u2_Wire, u2_no);
u2_tx_did_pod(u2_Wire, 1);
u2_tx_did_fin(u2_Wire, 1);
}
else sav = pro;
u2z(bus); u2z(nex);
return sav;
}
}
}
case c3__ping: {
u2_tx_sys_bit(u2_Wire, u2_yes);
u2_tx_did_act(u2_Wire, hod);
u2_tx_sys_bit(u2_Wire, u2_no);
u2z(hod);
return pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
}
case c3__live: {
u2_bean qox;
u2_tx_sys_bit(u2_Wire, u2_yes);
qox = u2_tx_task_in(u2_Wire, hod);
u2_tx_sys_bit(u2_Wire, u2_no);
u2z(hod);
if ( u2_no == qox ) {
return pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
} else {
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
u2_tx_task_out(u2_Wire);
return pro;
}
}
case c3__sole: {
u2z(hod);
{
pro = pon ? _nock_mool(bus, nex, pon) : _nock_cool(bus, nex);
if ( u2_none == pro ) {
return u2_none;
}
else if ( !pon || (u2_no != *pon) ) {
u2_noun nuu;
u2_tx_sys_bit(u2_Wire, u2_yes);
nuu = u2_rl_uniq(u2_Wire, pro);
u2_tx_sys_bit(u2_Wire, u2_no);
u2_tx_did_fin(u2_Wire, 1);
if ( nuu == pro ) {
u2_tx_did_pod(u2_Wire, 1);
}
}
return pro;
}
}
}
}
