PHP PHParref_length Beispiele

Beispiel #1

Datei: libatscc2php_all.php Projekt: Charon-Shi/ats-lang.github.io

function ats2phppre_arrszref_size($arg0)
{
    /*
      // $tmpret16
      // $tmp17
    */
    __patsflab_arrszref_size:
    $tmp17 = PHParref_length($arg0);
    $tmpret16 = $tmp17;
    return $tmpret16;
}

Beispiel #2

Datei: GameOf24_php_dats.php Projekt: smurphy8/ATS-Postiats-contrib

function GameOf24_php__cardset_size($arg0)
{
    /*
      // $tmpret121
    */
    __patsflab_cardset_size:
    $tmpret121 = PHParref_length($arg0);
    return $tmpret121;
}