@Deprecated
 @operator(
     value = {"copy_between" /* , "copy" */},
     can_be_const = true,
     category = {IOperatorCategory.STRING})
 @doc(deprecated = "Deprecated. Use copy_between(string, int, int) instead")
 public static String opCopy(final String target, final GamaPoint p) {
   final int beginIndex = (int) p.x;
   final int endIndex = (int) p.y;
   return Strings.opCopy(target, beginIndex, endIndex);
 }
 @Deprecated
 @operator(
     value = "toChar",
     can_be_const = true,
     category = {IOperatorCategory.STRING})
 @doc(
     deprecated = "Use 'char' instead",
     special_cases = {"convert ACSII integer value to character"},
     examples = {@example(value = "toChar (34)", equals = "'\"'")})
 public static String toChar(final Integer s) {
   return Strings.asChar(s);
 }