home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD2.mdf / c / compcomp / awk / number.awk < prev    next >
Encoding:
AWK Script  |  1990-02-08  |  289 b   |  13 lines
  1. # determine whether the input is a number
  2. # print it if it is
  3. # AKW p40
  4.  
  5. BEGIN {
  6.     sign = "[+-]?"
  7.     decimal = "[0-9]+[.]?[0-9]*"
  8.     fraction = "[.][0-9]+"
  9.     exponent = "([eE]" sign "[0-9]+)?"
  10.     number = "^" sign "(" decimal "|" fraction ")" exponent "$"
  11. }
  12. $0 ~ number
  13.