PHP ats2phppre_list_map Examples

Example #1

File: libatscc2php_all.php Project: Charon-Shi/ats-lang.github.io

function ats2phppre_list_map($arg0, $arg1)
{
    /*
      // $tmpret98
      // $tmp99
      // $tmp100
      // $tmp101
      // $tmp102
    */
    __patsflab_list_map:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab23:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab26;
        }
        __atstmplab24:
        $tmpret98 = null;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab25:
        __atstmplab26:
        $tmp99 = $arg0[0];
        $tmp100 = $arg0[1];
        $tmp101 = $arg1[0]($arg1, $tmp99);
        $tmp102 = ats2phppre_list_map($tmp100, $arg1);
        $tmpret98 = array($tmp101, $tmp102);
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret98;
}

Example #2

File: libatscc2php_all.php Project: smurphy8/ATS-Postiats-contrib

function ats2phppre_list_map($arg0, $arg1)
{
    /*
      // $tmpret16
      // $tmp17
      // $tmp18
      // $tmp19
      // $tmp20
    */
    __patsflab_list_map:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab11:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab14;
        }
        __atstmplab12:
        $tmpret16 = null;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab13:
        __atstmplab14:
        $tmp17 = $arg0[0];
        $tmp18 = $arg0[1];
        $tmp19 = $arg1[0]($arg1, $tmp17);
        $tmp20 = ats2phppre_list_map($tmp18, $arg1);
        $tmpret16 = array($tmp19, $tmp20);
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret16;
}