@DIGITS[n]: Kehrt zurück 1 wenn die Zeichenfolge nur aus Dezimalziffern besteht, andernfalls wird zurückgegeben 0. Das Dezimalzeichen, das Tausenderzeichen und die Vorzeichenzeichen (+ oder -) sind nicht Ziffern und ob sie in der Zeichenfolge vorhanden sind @DIGITS wird zurückkehren 0.

 

Beispiele:

 

echo %@digits[12345]

1

 

echo %@digits[-12345]

0

 

echo %@digits[1.2345]

0