@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); }