<?php

/*
******
*
* HX-2014-08:
* for PHP code
* translated from ATS
*
******
*/

/*
******
* beg of [string_cats.php]
******
*/

/* ****** ****** */
//
function
ats2phppre_strval
  ($x) { return strval($x); }
//
/* ****** ****** */
//
function
ats2phppre_strlen
  ($x) { return strlen($x); }
function
ats2phppre_string_length
  ($x) { return strlen($x); }
//
/* ****** ****** */

function
ats2phppre_strcmp
  ($x1, $x2)
{
  return strcmp($x1, $x2);
}
function
ats2phppre_strncmp
  ($x1, $x2, $n)
{
  return strncmp($x1, $x2, $n);
}

/* ****** ****** */

function
ats2phppre_lt_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) < 0) ;
}
function
ats2phppre_lte_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) <= 0) ;
}

/* ****** ****** */

function
ats2phppre_gt_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) > 0) ;
}
function
ats2phppre_gte_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) >= 0) ;
}

/* ****** ****** */

function
ats2phppre_eq_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) === 0) ;
}
function
ats2phppre_neq_string_string
  ($x1, $x2)
{
  return (strcmp($x1, $x2) !== 0) ;
}

/* ****** ****** */
//
function
ats2phppre_compare_string_string
  ($x1, $x2)
{
  $sgn = strcmp($x1, $x2) ;
  return (($sgn < 0)? -1 : (($sgn > 0) ? 1 : 0));
}
//
/* ****** ****** */

function
ats2phppre_string_append
  ($x1, $x2) { return ($x1.$x2) ; }

/* ****** ****** */
//
function
ats2phppre_string_concat_2
  ($x1, $x2) { return ($x1.$x2) ; }
function
ats2phppre_string_concat_3
  ($x1, $x2, $x3)
  { return sprintf("%s%s%s", $x1, $x2, $x3) ; }
function
ats2phppre_string_concat_4
  ($x1, $x2, $x3, $x4)
  { return sprintf("%s%s%s%s", $x1, $x2, $x3, $x4) ; }
//
/* ****** ****** */

/* end of [string_cats.php] */

?>
