Difference between revisions of "Array.pad()"
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.pad( | + | ==Array.pad(NewLength, PadString) == |
| − | + | Pad the array to be of length NewLength, and fill the extra elements added with PadString (default 0) if given. | |
| + | |||
| + | [1,2,3].pad(10,3) | ||
| + | [1, 2, 3, 3, 3, 3, 3, 3, 3, 3] | ||
| + | |||
| + | |||
| + | ["TEST","CAR"].pad(10,"TEST") | ||
| + | ["TEST", "CAR", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST"] | ||
Revision as of 16:54, 4 March 2017
Array.pad(NewLength, PadString)
Pad the array to be of length NewLength, and fill the extra elements added with PadString (default 0) if given.
[1,2,3].pad(10,3) [1, 2, 3, 3, 3, 3, 3, 3, 3, 3]
["TEST","CAR"].pad(10,"TEST")
["TEST", "CAR", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST"]