PHP ats2phppre_list_append Examples

Example #1

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

function ats2phppre_list_append($arg0, $arg1)
{
    /*
      // $tmpret54
      // $tmp55
      // $tmp56
      // $tmp57
    */
    __patsflab_list_append:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab11:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab14;
        }
        __atstmplab12:
        $tmpret54 = $arg1;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab13:
        __atstmplab14:
        $tmp55 = $arg0[0];
        $tmp56 = $arg0[1];
        $tmp57 = ats2phppre_list_append($tmp56, $arg1);
        $tmpret54 = array($tmp55, $tmp57);
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret54;
}

Example #2

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

function ats2phppre_list_append($arg0, $arg1)
{
    /*
      // $tmpret5
      // $tmp6
      // $tmp7
      // $tmp8
    */
    __patsflab_list_append:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab3:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab6;
        }
        __atstmplab4:
        $tmpret5 = $arg1;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab5:
        __atstmplab6:
        $tmp6 = $arg0[0];
        $tmp7 = $arg0[1];
        $tmp8 = ats2phppre_list_append($tmp7, $arg1);
        $tmpret5 = array($tmp6, $tmp8);
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret5;
}