String.FormatWithLeadingZeros

String.FormatWithLeadingZeros ( pNumero, pNumeroDeCaracteres )

DEFINE
    /// Completa um número inteiro com zeros à esquerda.
    /// @param {INT64} pNumero - Número. O sinal é descartado.
    /// @param {INT64} pNumeroDeCaracteres - Tamanho final (mínimo 1).
    /// @returns Texto com zeros à esquerda.
    FUNCTION String.FormatWithLeadingZeros =
        ( pNumero : INT64 VAL, pNumeroDeCaracteres : INT64 VAL ) =>
        VAR vNumero = ABS ( pNumero )
        VAR vNumeroDeCaracteres = MAX ( 1, ABS ( pNumeroDeCaracteres ) )
        RETURN
            FORMAT ( vNumero, REPT ( "0", vNumeroDeCaracteres ) )

EVALUATE
{ String.FormatWithLeadingZeros ( 42, 5 ), String.FormatWithLeadingZeros ( -7, 3 ) }  // "00042" · "007"