Difference between revisions of "Array.injoin()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
Line 4: | Line 4: | ||
==Array.injoin(JoinWith)== | ==Array.injoin(JoinWith)== | ||
+ | A string with all array elements joined starting from second element.If separator is an empty string, all elements are joined without any characters in between them. | ||
+ | ['air','fire','water','land','sky'].injoin('#') | ||
+ | airfire#water#land#sky | ||
+ | |||
+ | |||
+ | 1..10.injoin('!!!!') | ||
+ | |||
+ | 12!!!!3!!!!4!!!!5!!!!6!!!!7!!!!8!!!!9!!!!10 | ||
+ | |||
+ | 30..40.injoin('') | ||
+ | |||
+ | 3031323334353637383940 | ||
==See Also== | ==See Also== | ||
[[Array.joinwith() | joinwith]] | [[Array.joinwith() | joinwith]] |
Revision as of 02:25, 8 May 2020
Array.injoin(JoinWith)
A string with all array elements joined starting from second element.If separator is an empty string, all elements are joined without any characters in between them. ['air','fire','water','land','sky'].injoin('#')
airfire#water#land#sky
1..10.injoin('!!!!')
12!!!!3!!!!4!!!!5!!!!6!!!!7!!!!8!!!!9!!!!10
30..40.injoin()
3031323334353637383940