static u2_noun
_heal_by(u2_wire wir_r,
u2_noun van,
u2_noun sut,
u2_noun qog,
u2_noun ref)
{
u2_noun p_sut, q_sut;
if ( u2_no == u2_dust(sut) ) {
return u2_bl_error(wir_r, "heal-name");
}
else switch ( u2_h(sut) ) {
default: return u2_bl_error(wir_r, "heal-name");
case c3__core:
{
return u2_rx(wir_r, ref);
}
case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
{
if ( u2_yes == u2_sing(p_sut, u2_t(qog)) ) {
return j2_mby(Pt6, face)(wir_r, p_sut, ref);
}
else return u2_bl_error(wir_r, "heal-name");
}
case c3__fine:
case c3__hold: {
u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
u2_noun ret = _heal_by(wir_r, van, rep, qog, ref);
u2_rz(wir_r, rep);
return ret;
}
case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
{
u2_noun dis = _heal_by(wir_r, van, p_sut, qog, ref);
u2_noun dat = _heal_by(wir_r, van, q_sut, qog, ref);
u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat);
u2_rl_lose(wir_r, dis);
u2_rl_lose(wir_r, dat);
return ret;
}
}
}
static u3_noun
_heal_as(
u3_noun van,
u3_noun sut,
u3_noun qog,
u3_atom axe,
u3_noun ref)
{
if ( 1 == axe ) {
if ( u3_nul == qog ) {
return u3k(ref);
} else return _heal_by(van, sut, qog, ref);
}
else {
u3_atom now = u3qc_cap(axe);
u3_atom lat = u3qc_mas(axe);
u3_noun ret = _heal_to(van, sut, u3_nul, qog, ref, now, lat);
u3z(lat);
return ret;
}
}
static u2_noun
_heal_as(u2_wire wir_r,
u2_noun van,
u2_noun sut,
u2_noun qog,
u2_atom axe,
u2_noun ref)
{
if ( _1 == axe ) {
if ( u2_nul == qog ) {
return u2_rx(wir_r, ref);
} else return _heal_by(wir_r, van, sut, qog, ref);
}
else {
u2_atom now = j2_mbc(Pt3, cap)(wir_r, axe);
u2_atom lat = j2_mbc(Pt3, mas)(wir_r, axe);
u2_noun ret = _heal_to(wir_r, van, sut, u2_nul, qog, ref, now, lat);
u2_rz(wir_r, lat);
return ret;
}
}
static u3_noun
_heal_by(
u3_noun van,
u3_noun sut,
u3_noun qog,
u3_noun ref)
{
u3_noun p_sut, q_sut;
if ( c3n == u3du(sut) ) {
return u3m_error("heal-name");
}
else switch ( u3h(sut) ) {
default: return u3m_error("heal-name");
case c3__core:
{
return u3k(ref);
}
case c3__bull: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
if ( c3y == u3r_sing(u3h(p_sut), u3t(qog)) ) {
return u3k(ref);
}
else {
u3_noun sub = _heal_by(van, q_sut, qog, ref);
u3_noun ret;
ret = u3qfu_busk
(van, sub, u3h(p_sut), u3h(u3t(p_sut)));
u3z(sub);
return ret;
}
}
case c3__face: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
if ( c3y == u3r_sing(p_sut, u3t(qog)) ) {
return u3qf_face(p_sut, ref);
}
else return u3m_error("heal-name");
}
case c3__hold: {
u3_noun rep = u3qfu_repo(van, sut);
u3_noun ret = _heal_by(van, rep, qog, ref);
u3z(rep);
return ret;
}
case c3__fork: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun dis = _heal_by(van, p_sut, qog, ref);
u3_noun dat = _heal_by(van, q_sut, qog, ref);
u3_noun ret = u3qf_fork(dis, dat);
u3z(dis);
u3z(dat);
return ret;
}
}
}
